Missing dependencies found. Installing now...Submodule 'lib/forge-std' (https://github.com/foundry-rs/forge-std) registered for path 'lib/forge-std'Submodule 'lib/openzeppelin-contracts' (https://github.com/OpenZeppelin/openzeppelin-contracts) registered for path 'lib/openzeppelin-contracts'Cloning into '/workspace/love/lib/forge-std'...remote: Enumerating objects: 3178, done. remote: Counting objects: 0% (1/455)
remote: Counting objects: 1% (5/455)
remote: Counting objects: 2% (10/455)
remote: Counting objects: 3% (14/455)
remote: Counting objects: 4% (19/455)
remote: Counting objects: 5% (23/455)
remote: Counting objects: 6% (28/455)
remote: Counting objects: 7% (32/455)
remote: Counting objects: 8% (37/455)
remote: Counting objects: 9% (41/455)
remote: Counting objects: 10% (46/455)
remote: Counting objects: 11% (51/455)
remote: Counting objects: 12% (55/455)
remote: Counting objects: 13% (60/455)
remote: Counting objects: 14% (64/455)
remote: Counting objects: 15% (69/455)
remote: Counting objects: 16% (73/455)
remote: Counting objects: 17% (78/455)
remote: Counting objects: 18% (82/455)
remote: Counting objects: 19% (87/455)
remote: Counting objects: 20% (91/455)
remote: Counting objects: 21% (96/455)
remote: Counting objects: 22% (101/455)
remote: Counting objects: 23% (105/455)
remote: Counting objects: 24% (110/455)
remote: Counting objects: 25% (114/455)
remote: Counting objects: 26% (119/455)
remote: Counting objects: 27% (123/455)
remote: Counting objects: 28% (128/455)
remote: Counting objects: 29% (132/455)
remote: Counting objects: 30% (137/455)
remote: Counting objects: 31% (142/455)
remote: Counting objects: 32% (146/455)
remote: Counting objects: 33% (151/455)
remote: Counting objects: 34% (155/455)
remote: Counting objects: 35% (160/455)
remote: Counting objects: 36% (164/455)
remote: Counting objects: 37% (169/455)
remote: Counting objects: 38% (173/455)
remote: Counting objects: 39% (178/455)
remote: Counting objects: 40% (182/455)
remote: Counting objects: 41% (187/455)
remote: Counting objects: 42% (192/455)
remote: Counting objects: 43% (196/455)
remote: Counting objects: 44% (201/455)
remote: Counting objects: 45% (205/455)
remote: Counting objects: 46% (210/455)
remote: Counting objects: 47% (214/455)
remote: Counting objects: 48% (219/455)
remote: Counting objects: 49% (223/455)
remote: Counting objects: 50% (228/455)
remote: Counting objects: 51% (233/455)
remote: Counting objects: 52% (237/455)
remote: Counting objects: 53% (242/455)
remote: Counting objects: 54% (246/455)
remote: Counting objects: 55% (251/455)
remote: Counting objects: 56% (255/455)
remote: Counting objects: 57% (260/455)
remote: Counting objects: 58% (264/455)
remote: Counting objects: 59% (269/455)
remote: Counting objects: 60% (273/455)
remote: Counting objects: 61% (278/455)
remote: Counting objects: 62% (283/455)
remote: Counting objects: 63% (287/455)
remote: Counting objects: 64% (292/455)
remote: Counting objects: 65% (296/455)
remote: Counting objects: 66% (301/455)
remote: Counting objects: 67% (305/455)
remote: Counting objects: 68% (310/455)
remote: Counting objects: 69% (314/455)
remote: Counting objects: 70% (319/455)
remote: Counting objects: 71% (324/455)
remote: Counting objects: 72% (328/455)
remote: Counting objects: 73% (333/455)
remote: Counting objects: 74% (337/455)
remote: Counting objects: 75% (342/455)
remote: Counting objects: 76% (346/455)
remote: Counting objects: 77% (351/455)
remote: Counting objects: 78% (355/455)
remote: Counting objects: 79% (360/455)
remote: Counting objects: 80% (364/455)
remote: Counting objects: 81% (369/455)
remote: Counting objects: 82% (374/455)
remote: Counting objects: 83% (378/455)
remote: Counting objects: 84% (383/455)
remote: Counting objects: 85% (387/455)
remote: Counting objects: 86% (392/455)
remote: Counting objects: 87% (396/455)
remote: Counting objects: 88% (401/455)
remote: Counting objects: 89% (405/455)
remote: Counting objects: 90% (410/455)
remote: Counting objects: 91% (415/455)
remote: Counting objects: 92% (419/455)
remote: Counting objects: 93% (424/455)
remote: Counting objects: 94% (428/455)
remote: Counting objects: 95% (433/455)
remote: Counting objects: 96% (437/455)
remote: Counting objects: 97% (442/455)
remote: Counting objects: 98% (446/455)
remote: Counting objects: 99% (451/455)
remote: Counting objects: 100% (455/455)
remote: Counting objects: 100% (455/455), done. remote: Compressing objects: 0% (1/214)
remote: Compressing objects: 1% (3/214)
remote: Compressing objects: 2% (5/214)
remote: Compressing objects: 3% (7/214)
remote: Compressing objects: 4% (9/214)
remote: Compressing objects: 5% (11/214)
remote: Compressing objects: 6% (13/214)
remote: Compressing objects: 7% (15/214)
remote: Compressing objects: 8% (18/214)
remote: Compressing objects: 9% (20/214)
remote: Compressing objects: 10% (22/214)
remote: Compressing objects: 11% (24/214)
remote: Compressing objects: 12% (26/214)
remote: Compressing objects: 13% (28/214)
remote: Compressing objects: 14% (30/214)
remote: Compressing objects: 15% (33/214)
remote: Compressing objects: 16% (35/214)
remote: Compressing objects: 17% (37/214)
remote: Compressing objects: 18% (39/214)
remote: Compressing objects: 19% (41/214)
remote: Compressing objects: 20% (43/214)
remote: Compressing objects: 21% (45/214)
remote: Compressing objects: 22% (48/214)
remote: Compressing objects: 23% (50/214)
remote: Compressing objects: 24% (52/214)
remote: Compressing objects: 25% (54/214)
remote: Compressing objects: 26% (56/214)
remote: Compressing objects: 27% (58/214)
remote: Compressing objects: 28% (60/214)
remote: Compressing objects: 29% (63/214)
remote: Compressing objects: 30% (65/214)
remote: Compressing objects: 31% (67/214)
remote: Compressing objects: 32% (69/214)
remote: Compressing objects: 33% (71/214)
remote: Compressing objects: 34% (73/214)
remote: Compressing objects: 35% (75/214)
remote: Compressing objects: 36% (78/214)
remote: Compressing objects: 37% (80/214)
remote: Compressing objects: 38% (82/214)
remote: Compressing objects: 39% (84/214)
remote: Compressing objects: 40% (86/214)
remote: Compressing objects: 41% (88/214)
remote: Compressing objects: 42% (90/214)
remote: Compressing objects: 43% (93/214)
remote: Compressing objects: 44% (95/214)
remote: Compressing objects: 45% (97/214)
remote: Compressing objects: 46% (99/214)
remote: Compressing objects: 47% (101/214)
remote: Compressing objects: 48% (103/214)
remote: Compressing objects: 49% (105/214)
remote: Compressing objects: 50% (107/214)
remote: Compressing objects: 51% (110/214)
remote: Compressing objects: 52% (112/214)
remote: Compressing objects: 53% (114/214)
remote: Compressing objects: 54% (116/214)
remote: Compressing objects: 55% (118/214)
remote: Compressing objects: 56% (120/214)
remote: Compressing objects: 57% (122/214)
remote: Compressing objects: 58% (125/214)
remote: Compressing objects: 59% (127/214)
remote: Compressing objects: 60% (129/214)
remote: Compressing objects: 61% (131/214)
remote: Compressing objects: 62% (133/214)
remote: Compressing objects: 63% (135/214)
remote: Compressing objects: 64% (137/214)
remote: Compressing objects: 65% (140/214)
remote: Compressing objects: 66% (142/214)
remote: Compressing objects: 67% (144/214)
remote: Compressing objects: 68% (146/214)
remote: Compressing objects: 69% (148/214)
remote: Compressing objects: 70% (150/214)
remote: Compressing objects: 71% (152/214)
remote: Compressing objects: 72% (155/214)
remote: Compressing objects: 73% (157/214)
remote: Compressing objects: 74% (159/214)
remote: Compressing objects: 75% (161/214)
remote: Compressing objects: 76% (163/214)
remote: Compressing objects: 77% (165/214)
remote: Compressing objects: 78% (167/214)
remote: Compressing objects: 79% (170/214)
remote: Compressing objects: 80% (172/214)
remote: Compressing objects: 81% (174/214)
remote: Compressing objects: 82% (176/214)
remote: Compressing objects: 83% (178/214)
remote: Compressing objects: 84% (180/214)
remote: Compressing objects: 85% (182/214)
remote: Compressing objects: 86% (185/214)
remote: Compressing objects: 87% (187/214)
remote: Compressing objects: 88% (189/214)
remote: Compressing objects: 89% (191/214)
remote: Compressing objects: 90% (193/214)
remote: Compressing objects: 91% (195/214)
remote: Compressing objects: 92% (197/214)
remote: Compressing objects: 93% (200/214)
remote: Compressing objects: 94% (202/214)
remote: Compressing objects: 95% (204/214)
remote: Compressing objects: 96% (206/214)
remote: Compressing objects: 97% (208/214)
remote: Compressing objects: 98% (210/214)
remote: Compressing objects: 99% (212/214)
remote: Compressing objects: 100% (214/214)
remote: Compressing objects: 100% (214/214), done. Receiving objects: 0% (1/3178)
Receiving objects: 1% (32/3178)
Receiving objects: 2% (64/3178)
Receiving objects: 3% (96/3178)
Receiving objects: 4% (128/3178)
Receiving objects: 5% (159/3178)
Receiving objects: 6% (191/3178)
Receiving objects: 7% (223/3178)
Receiving objects: 8% (255/3178)
Receiving objects: 9% (287/3178)
Receiving objects: 10% (318/3178)
Receiving objects: 11% (350/3178)
Receiving objects: 12% (382/3178)
Receiving objects: 13% (414/3178)
Receiving objects: 14% (445/3178)
Receiving objects: 15% (477/3178)
Receiving objects: 16% (509/3178)
Receiving objects: 17% (541/3178)
Receiving objects: 18% (573/3178)
Receiving objects: 19% (604/3178)
Receiving objects: 20% (636/3178)
Receiving objects: 21% (668/3178)
Receiving objects: 22% (700/3178)
Receiving objects: 23% (731/3178)
Receiving objects: 24% (763/3178)
Receiving objects: 25% (795/3178)
Receiving objects: 26% (827/3178)
Receiving objects: 27% (859/3178)
Receiving objects: 28% (890/3178)
Receiving objects: 29% (922/3178)
Receiving objects: 30% (954/3178)
Receiving objects: 31% (986/3178)
Receiving objects: 32% (1017/3178)
Receiving objects: 33% (1049/3178)
Receiving objects: 34% (1081/3178)
Receiving objects: 35% (1113/3178)
Receiving objects: 36% (1145/3178)
Receiving objects: 37% (1176/3178)
Receiving objects: 38% (1208/3178)
Receiving objects: 39% (1240/3178)
Receiving objects: 40% (1272/3178)
Receiving objects: 41% (1303/3178)
Receiving objects: 42% (1335/3178)
Receiving objects: 43% (1367/3178)
Receiving objects: 44% (1399/3178)
Receiving objects: 45% (1431/3178)
Receiving objects: 46% (1462/3178)
Receiving objects: 47% (1494/3178)
Receiving objects: 48% (1526/3178)
Receiving objects: 49% (1558/3178)
Receiving objects: 50% (1589/3178)
Receiving objects: 51% (1621/3178)
Receiving objects: 52% (1653/3178)
Receiving objects: 53% (1685/3178)
Receiving objects: 54% (1717/3178)
Receiving objects: 55% (1748/3178)
Receiving objects: 56% (1780/3178)
Receiving objects: 57% (1812/3178)
Receiving objects: 58% (1844/3178)
Receiving objects: 59% (1876/3178)
Receiving objects: 60% (1907/3178)
Receiving objects: 61% (1939/3178)
Receiving objects: 62% (1971/3178)
Receiving objects: 63% (2003/3178)
Receiving objects: 64% (2034/3178)
Receiving objects: 65% (2066/3178)
Receiving objects: 66% (2098/3178)
Receiving objects: 67% (2130/3178)
Receiving objects: 68% (2162/3178)
Receiving objects: 69% (2193/3178)
Receiving objects: 70% (2225/3178)
Receiving objects: 71% (2257/3178)
Receiving objects: 72% (2289/3178)
Receiving objects: 73% (2320/3178)
Receiving objects: 74% (2352/3178)
Receiving objects: 75% (2384/3178)
Receiving objects: 76% (2416/3178)
Receiving objects: 77% (2448/3178)
Receiving objects: 78% (2479/3178)
Receiving objects: 79% (2511/3178)
Receiving objects: 80% (2543/3178)
Receiving objects: 81% (2575/3178)
Receiving objects: 82% (2606/3178)
Receiving objects: 83% (2638/3178)
Receiving objects: 84% (2670/3178)
Receiving objects: 85% (2702/3178)
Receiving objects: 86% (2734/3178)
Receiving objects: 87% (2765/3178)
Receiving objects: 88% (2797/3178)
Receiving objects: 89% (2829/3178)
Receiving objects: 90% (2861/3178)
Receiving objects: 91% (2892/3178)
Receiving objects: 92% (2924/3178)
Receiving objects: 93% (2956/3178)
Receiving objects: 94% (2988/3178)
Receiving objects: 95% (3020/3178)
remote: Total 3178 (delta 388), reused 246 (delta 241), pack-reused 2723 (from 3) Receiving objects: 96% (3051/3178)
Receiving objects: 97% (3083/3178)
Receiving objects: 98% (3115/3178)
Receiving objects: 99% (3147/3178)
Receiving objects: 100% (3178/3178)
Receiving objects: 100% (3178/3178), 1.26 MiB | 22.27 MiB/s, done.Resolving deltas: 0% (0/2128)
Resolving deltas: 1% (22/2128)
Resolving deltas: 2% (43/2128)
Resolving deltas: 3% (64/2128)
Resolving deltas: 4% (86/2128)
Resolving deltas: 5% (107/2128)
Resolving deltas: 6% (128/2128)
Resolving deltas: 7% (149/2128)
Resolving deltas: 8% (171/2128)
Resolving deltas: 9% (192/2128)
Resolving deltas: 10% (213/2128)
Resolving deltas: 11% (235/2128)
Resolving deltas: 12% (256/2128)
Resolving deltas: 13% (277/2128)
Resolving deltas: 14% (298/2128)
Resolving deltas: 15% (320/2128)
Resolving deltas: 16% (341/2128)
Resolving deltas: 17% (362/2128)
Resolving deltas: 18% (384/2128)
Resolving deltas: 19% (405/2128)
Resolving deltas: 20% (426/2128)
Resolving deltas: 21% (447/2128)
Resolving deltas: 22% (469/2128)
Resolving deltas: 23% (490/2128)
Resolving deltas: 24% (511/2128)
Resolving deltas: 25% (532/2128)
Resolving deltas: 26% (554/2128)
Resolving deltas: 27% (575/2128)
Resolving deltas: 28% (596/2128)
Resolving deltas: 29% (618/2128)
Resolving deltas: 30% (639/2128)
Resolving deltas: 31% (660/2128)
Resolving deltas: 32% (681/2128)
Resolving deltas: 33% (703/2128)
Resolving deltas: 34% (724/2128)
Resolving deltas: 35% (745/2128)
Resolving deltas: 36% (767/2128)
Resolving deltas: 37% (788/2128)
Resolving deltas: 38% (809/2128)
Resolving deltas: 39% (830/2128)
Resolving deltas: 40% (852/2128)
Resolving deltas: 41% (873/2128)
Resolving deltas: 42% (894/2128)
Resolving deltas: 43% (916/2128)
Resolving deltas: 44% (937/2128)
Resolving deltas: 45% (958/2128)
Resolving deltas: 46% (979/2128)
Resolving deltas: 47% (1001/2128)
Resolving deltas: 48% (1022/2128)
Resolving deltas: 49% (1043/2128)
Resolving deltas: 50% (1064/2128)
Resolving deltas: 51% (1086/2128)
Resolving deltas: 52% (1107/2128)
Resolving deltas: 53% (1128/2128)
Resolving deltas: 54% (1150/2128)
Resolving deltas: 55% (1171/2128)
Resolving deltas: 56% (1192/2128)
Resolving deltas: 57% (1213/2128)
Resolving deltas: 58% (1235/2128)
Resolving deltas: 59% (1256/2128)
Resolving deltas: 60% (1277/2128)
Resolving deltas: 61% (1299/2128)
Resolving deltas: 62% (1320/2128)
Resolving deltas: 63% (1341/2128)
Resolving deltas: 64% (1362/2128)
Resolving deltas: 65% (1384/2128)
Resolving deltas: 66% (1405/2128)
Resolving deltas: 67% (1426/2128)
Resolving deltas: 68% (1448/2128)
Resolving deltas: 69% (1469/2128)
Resolving deltas: 70% (1490/2128)
Resolving deltas: 71% (1511/2128)
Resolving deltas: 72% (1533/2128)
Resolving deltas: 73% (1554/2128)
Resolving deltas: 74% (1575/2128)
Resolving deltas: 75% (1596/2128)
Resolving deltas: 76% (1618/2128)
Resolving deltas: 77% (1639/2128)
Resolving deltas: 78% (1660/2128)
Resolving deltas: 79% (1682/2128)
Resolving deltas: 80% (1703/2128)
Resolving deltas: 81% (1724/2128)
Resolving deltas: 82% (1745/2128)
Resolving deltas: 83% (1767/2128)
Resolving deltas: 84% (1788/2128)
Resolving deltas: 85% (1809/2128)
Resolving deltas: 86% (1831/2128)
Resolving deltas: 87% (1852/2128)
Resolving deltas: 88% (1873/2128)
Resolving deltas: 89% (1894/2128)
Resolving deltas: 90% (1916/2128)
Resolving deltas: 91% (1937/2128)
Resolving deltas: 92% (1958/2128)
Resolving deltas: 93% (1980/2128)
Resolving deltas: 94% (2001/2128)
Resolving deltas: 95% (2022/2128)
Resolving deltas: 96% (2043/2128)
Resolving deltas: 97% (2065/2128)
Resolving deltas: 98% (2086/2128)
Resolving deltas: 99% (2107/2128)
Resolving deltas: 100% (2128/2128)
Resolving deltas: 100% (2128/2128), done.Cloning into '/workspace/love/lib/openzeppelin-contracts'...remote: Enumerating objects: 58415, done. remote: Counting objects: 0% (1/766)
remote: Counting objects: 1% (8/766)
remote: Counting objects: 2% (16/766)
remote: Counting objects: 3% (23/766)
remote: Counting objects: 4% (31/766)
remote: Counting objects: 5% (39/766)
remote: Counting objects: 6% (46/766)
remote: Counting objects: 7% (54/766)
remote: Counting objects: 8% (62/766)
remote: Counting objects: 9% (69/766)
remote: Counting objects: 10% (77/766)
remote: Counting objects: 11% (85/766)
remote: Counting objects: 12% (92/766)
remote: Counting objects: 13% (100/766)
remote: Counting objects: 14% (108/766)
remote: Counting objects: 15% (115/766)
remote: Counting objects: 16% (123/766)
remote: Counting objects: 17% (131/766)
remote: Counting objects: 18% (138/766)
remote: Counting objects: 19% (146/766)
remote: Counting objects: 20% (154/766)
remote: Counting objects: 21% (161/766)
remote: Counting objects: 22% (169/766)
remote: Counting objects: 23% (177/766)
remote: Counting objects: 24% (184/766)
remote: Counting objects: 25% (192/766)
remote: Counting objects: 26% (200/766)
remote: Counting objects: 27% (207/766)
remote: Counting objects: 28% (215/766)
remote: Counting objects: 29% (223/766)
remote: Counting objects: 30% (230/766)
remote: Counting objects: 31% (238/766)
remote: Counting objects: 32% (246/766)
remote: Counting objects: 33% (253/766)
remote: Counting objects: 34% (261/766)
remote: Counting objects: 35% (269/766)
remote: Counting objects: 36% (276/766)
remote: Counting objects: 37% (284/766)
remote: Counting objects: 38% (292/766)
remote: Counting objects: 39% (299/766)
remote: Counting objects: 40% (307/766)
remote: Counting objects: 41% (315/766)
remote: Counting objects: 42% (322/766)
remote: Counting objects: 43% (330/766)
remote: Counting objects: 44% (338/766)
remote: Counting objects: 45% (345/766)
remote: Counting objects: 46% (353/766)
remote: Counting objects: 47% (361/766)
remote: Counting objects: 48% (368/766)
remote: Counting objects: 49% (376/766)
remote: Counting objects: 50% (383/766)
remote: Counting objects: 51% (391/766)
remote: Counting objects: 52% (399/766)
remote: Counting objects: 53% (406/766)
remote: Counting objects: 54% (414/766)
remote: Counting objects: 55% (422/766)
remote: Counting objects: 56% (429/766)
remote: Counting objects: 57% (437/766)
remote: Counting objects: 58% (445/766)
remote: Counting objects: 59% (452/766)
remote: Counting objects: 60% (460/766)
remote: Counting objects: 61% (468/766)
remote: Counting objects: 62% (475/766)
remote: Counting objects: 63% (483/766)
remote: Counting objects: 64% (491/766)
remote: Counting objects: 65% (498/766)
remote: Counting objects: 66% (506/766)
remote: Counting objects: 67% (514/766)
remote: Counting objects: 68% (521/766)
remote: Counting objects: 69% (529/766)
remote: Counting objects: 70% (537/766)
remote: Counting objects: 71% (544/766)
remote: Counting objects: 72% (552/766)
remote: Counting objects: 73% (560/766)
remote: Counting objects: 74% (567/766)
remote: Counting objects: 75% (575/766)
remote: Counting objects: 76% (583/766)
remote: Counting objects: 77% (590/766)
remote: Counting objects: 78% (598/766)
remote: Counting objects: 79% (606/766)
remote: Counting objects: 80% (613/766)
remote: Counting objects: 81% (621/766)
remote: Counting objects: 82% (629/766)
remote: Counting objects: 83% (636/766)
remote: Counting objects: 84% (644/766)
remote: Counting objects: 85% (652/766)
remote: Counting objects: 86% (659/766)
remote: Counting objects: 87% (667/766)
remote: Counting objects: 88% (675/766)
remote: Counting objects: 89% (682/766)
remote: Counting objects: 90% (690/766)
remote: Counting objects: 91% (698/766)
remote: Counting objects: 92% (705/766)
remote: Counting objects: 93% (713/766)
remote: Counting objects: 94% (721/766)
remote: Counting objects: 95% (728/766)
remote: Counting objects: 96% (736/766)
remote: Counting objects: 97% (744/766)
remote: Counting objects: 98% (751/766)
remote: Counting objects: 99% (759/766)
remote: Counting objects: 100% (766/766)
remote: Counting objects: 100% (766/766), done. remote: Compressing objects: 0% (1/534)
remote: Compressing objects: 1% (6/534)
remote: Compressing objects: 2% (11/534)
remote: Compressing objects: 3% (17/534)
remote: Compressing objects: 4% (22/534)
remote: Compressing objects: 5% (27/534)
remote: Compressing objects: 6% (33/534)
remote: Compressing objects: 7% (38/534)
remote: Compressing objects: 8% (43/534)
remote: Compressing objects: 9% (49/534)
remote: Compressing objects: 10% (54/534)
remote: Compressing objects: 11% (59/534)
remote: Compressing objects: 12% (65/534)
remote: Compressing objects: 13% (70/534)
remote: Compressing objects: 14% (75/534)
remote: Compressing objects: 15% (81/534)
remote: Compressing objects: 16% (86/534)
remote: Compressing objects: 17% (91/534)
remote: Compressing objects: 18% (97/534)
remote: Compressing objects: 19% (102/534)
remote: Compressing objects: 20% (107/534)
remote: Compressing objects: 21% (113/534)
remote: Compressing objects: 22% (118/534)
remote: Compressing objects: 23% (123/534)
remote: Compressing objects: 24% (129/534)
remote: Compressing objects: 25% (134/534)
remote: Compressing objects: 26% (139/534)
remote: Compressing objects: 27% (145/534)
remote: Compressing objects: 28% (150/534)
remote: Compressing objects: 29% (155/534)
remote: Compressing objects: 30% (161/534)
remote: Compressing objects: 31% (166/534)
remote: Compressing objects: 32% (171/534)
remote: Compressing objects: 33% (177/534)
remote: Compressing objects: 34% (182/534)
remote: Compressing objects: 35% (187/534)
remote: Compressing objects: 36% (193/534)
remote: Compressing objects: 37% (198/534)
remote: Compressing objects: 38% (203/534)
remote: Compressing objects: 39% (209/534)
remote: Compressing objects: 40% (214/534)
remote: Compressing objects: 41% (219/534)
remote: Compressing objects: 42% (225/534)
remote: Compressing objects: 43% (230/534)
remote: Compressing objects: 44% (235/534)
remote: Compressing objects: 45% (241/534)
remote: Compressing objects: 46% (246/534)
remote: Compressing objects: 47% (251/534)
remote: Compressing objects: 48% (257/534)
remote: Compressing objects: 49% (262/534)
remote: Compressing objects: 50% (267/534)
remote: Compressing objects: 51% (273/534)
remote: Compressing objects: 52% (278/534)
remote: Compressing objects: 53% (284/534)
remote: Compressing objects: 54% (289/534)
remote: Compressing objects: 55% (294/534)
remote: Compressing objects: 56% (300/534)
remote: Compressing objects: 57% (305/534)
remote: Compressing objects: 58% (310/534)
remote: Compressing objects: 59% (316/534)
remote: Compressing objects: 60% (321/534)
remote: Compressing objects: 61% (326/534)
remote: Compressing objects: 62% (332/534)
remote: Compressing objects: 63% (337/534)
remote: Compressing objects: 64% (342/534)
remote: Compressing objects: 65% (348/534)
remote: Compressing objects: 66% (353/534)
remote: Compressing objects: 67% (358/534)
remote: Compressing objects: 68% (364/534)
remote: Compressing objects: 69% (369/534)
remote: Compressing objects: 70% (374/534)
remote: Compressing objects: 71% (380/534)
remote: Compressing objects: 72% (385/534)
remote: Compressing objects: 73% (390/534)
remote: Compressing objects: 74% (396/534)
remote: Compressing objects: 75% (401/534)
remote: Compressing objects: 76% (406/534)
remote: Compressing objects: 77% (412/534)
remote: Compressing objects: 78% (417/534)
remote: Compressing objects: 79% (422/534)
remote: Compressing objects: 80% (428/534)
remote: Compressing objects: 81% (433/534)
remote: Compressing objects: 82% (438/534)
remote: Compressing objects: 83% (444/534)
remote: Compressing objects: 84% (449/534)
remote: Compressing objects: 85% (454/534)
remote: Compressing objects: 86% (460/534)
remote: Compressing objects: 87% (465/534)
remote: Compressing objects: 88% (470/534)
remote: Compressing objects: 89% (476/534)
remote: Compressing objects: 90% (481/534)
remote: Compressing objects: 91% (486/534)
remote: Compressing objects: 92% (492/534)
remote: Compressing objects: 93% (497/534)
remote: Compressing objects: 94% (502/534)
remote: Compressing objects: 95% (508/534)
remote: Compressing objects: 96% (513/534)
remote: Compressing objects: 97% (518/534)
remote: Compressing objects: 98% (524/534)
remote: Compressing objects: 99% (529/534)
remote: Compressing objects: 100% (534/534)
remote: Compressing objects: 100% (534/534), done. Receiving objects: 0% (1/58415)
Receiving objects: 1% (585/58415)
Receiving objects: 2% (1169/58415)
Receiving objects: 3% (1753/58415)
Receiving objects: 4% (2337/58415)
Receiving objects: 5% (2921/58415)
Receiving objects: 6% (3505/58415)
Receiving objects: 7% (4090/58415)
Receiving objects: 8% (4674/58415)
Receiving objects: 9% (5258/58415)
Receiving objects: 10% (5842/58415)
Receiving objects: 11% (6426/58415)
Receiving objects: 12% (7010/58415)
Receiving objects: 13% (7594/58415)
Receiving objects: 14% (8179/58415)
Receiving objects: 15% (8763/58415)
Receiving objects: 16% (9347/58415)
Receiving objects: 17% (9931/58415)
Receiving objects: 18% (10515/58415)
Receiving objects: 19% (11099/58415)
Receiving objects: 20% (11683/58415)
Receiving objects: 21% (12268/58415)
Receiving objects: 22% (12852/58415)
Receiving objects: 23% (13436/58415)
Receiving objects: 24% (14020/58415)
Receiving objects: 25% (14604/58415)
Receiving objects: 26% (15188/58415)
Receiving objects: 27% (15773/58415), 15.59 MiB | 31.17 MiB/s
Receiving objects: 28% (16357/58415), 15.59 MiB | 31.17 MiB/s
Receiving objects: 29% (16941/58415), 15.59 MiB | 31.17 MiB/s
Receiving objects: 30% (17525/58415), 15.59 MiB | 31.17 MiB/s
Receiving objects: 31% (18109/58415), 15.59 MiB | 31.17 MiB/s
Receiving objects: 32% (18693/58415), 15.59 MiB | 31.17 MiB/s
Receiving objects: 33% (19277/58415), 15.59 MiB | 31.17 MiB/s
Receiving objects: 34% (19862/58415), 15.59 MiB | 31.17 MiB/s
Receiving objects: 35% (20446/58415), 15.59 MiB | 31.17 MiB/s
Receiving objects: 36% (21030/58415), 15.59 MiB | 31.17 MiB/s
Receiving objects: 37% (21614/58415), 15.59 MiB | 31.17 MiB/s
Receiving objects: 38% (22198/58415), 15.59 MiB | 31.17 MiB/s
Receiving objects: 39% (22782/58415), 15.59 MiB | 31.17 MiB/s
Receiving objects: 40% (23366/58415), 15.59 MiB | 31.17 MiB/s
Receiving objects: 41% (23951/58415), 15.59 MiB | 31.17 MiB/s
Receiving objects: 42% (24535/58415), 15.59 MiB | 31.17 MiB/s
Receiving objects: 43% (25119/58415), 15.59 MiB | 31.17 MiB/s
Receiving objects: 44% (25703/58415), 15.59 MiB | 31.17 MiB/s
Receiving objects: 45% (26287/58415), 15.59 MiB | 31.17 MiB/s
Receiving objects: 46% (26871/58415), 15.59 MiB | 31.17 MiB/s
Receiving objects: 47% (27456/58415), 15.59 MiB | 31.17 MiB/s
Receiving objects: 48% (28040/58415), 15.59 MiB | 31.17 MiB/s
Receiving objects: 49% (28624/58415), 15.59 MiB | 31.17 MiB/s
Receiving objects: 50% (29208/58415), 15.59 MiB | 31.17 MiB/s
Receiving objects: 51% (29792/58415), 15.59 MiB | 31.17 MiB/s
Receiving objects: 52% (30376/58415), 15.59 MiB | 31.17 MiB/s
Receiving objects: 53% (30960/58415), 15.59 MiB | 31.17 MiB/s
Receiving objects: 54% (31545/58415), 15.59 MiB | 31.17 MiB/s
Receiving objects: 55% (32129/58415), 15.59 MiB | 31.17 MiB/s
Receiving objects: 56% (32713/58415), 15.59 MiB | 31.17 MiB/s
Receiving objects: 57% (33297/58415), 15.59 MiB | 31.17 MiB/s
Receiving objects: 58% (33881/58415), 15.59 MiB | 31.17 MiB/s
Receiving objects: 58% (34122/58415), 31.69 MiB | 31.56 MiB/s
Receiving objects: 59% (34465/58415), 31.69 MiB | 31.56 MiB/s
Receiving objects: 60% (35049/58415), 31.69 MiB | 31.56 MiB/s
Receiving objects: 61% (35634/58415), 31.69 MiB | 31.56 MiB/s
Receiving objects: 62% (36218/58415), 31.69 MiB | 31.56 MiB/s
Receiving objects: 63% (36802/58415), 31.69 MiB | 31.56 MiB/s
Receiving objects: 64% (37386/58415), 31.69 MiB | 31.56 MiB/s
Receiving objects: 65% (37970/58415), 31.69 MiB | 31.56 MiB/s
Receiving objects: 66% (38554/58415), 31.69 MiB | 31.56 MiB/s
Receiving objects: 67% (39139/58415), 31.69 MiB | 31.56 MiB/s
Receiving objects: 68% (39723/58415), 31.69 MiB | 31.56 MiB/s
Receiving objects: 69% (40307/58415), 31.69 MiB | 31.56 MiB/s
Receiving objects: 70% (40891/58415), 31.69 MiB | 31.56 MiB/s
Receiving objects: 71% (41475/58415), 31.69 MiB | 31.56 MiB/s
Receiving objects: 72% (42059/58415), 31.69 MiB | 31.56 MiB/s
Receiving objects: 73% (42643/58415), 31.69 MiB | 31.56 MiB/s
Receiving objects: 74% (43228/58415), 31.69 MiB | 31.56 MiB/s
Receiving objects: 75% (43812/58415), 31.69 MiB | 31.56 MiB/s
Receiving objects: 76% (44396/58415), 31.69 MiB | 31.56 MiB/s
Receiving objects: 77% (44980/58415), 31.69 MiB | 31.56 MiB/s
Receiving objects: 78% (45564/58415), 31.69 MiB | 31.56 MiB/s
Receiving objects: 79% (46148/58415), 31.69 MiB | 31.56 MiB/s
Receiving objects: 80% (46732/58415), 31.69 MiB | 31.56 MiB/s
Receiving objects: 81% (47317/58415), 31.69 MiB | 31.56 MiB/s
Receiving objects: 82% (47901/58415), 31.69 MiB | 31.56 MiB/s
Receiving objects: 83% (48485/58415), 48.89 MiB | 31.96 MiB/s
Receiving objects: 84% (49069/58415), 48.89 MiB | 31.96 MiB/s
Receiving objects: 85% (49653/58415), 48.89 MiB | 31.96 MiB/s
Receiving objects: 86% (50237/58415), 48.89 MiB | 31.96 MiB/s
Receiving objects: 87% (50822/58415), 48.89 MiB | 31.96 MiB/s
Receiving objects: 88% (51406/58415), 48.89 MiB | 31.96 MiB/s
Receiving objects: 89% (51990/58415), 48.89 MiB | 31.96 MiB/s
Receiving objects: 90% (52574/58415), 48.89 MiB | 31.96 MiB/s
Receiving objects: 91% (53158/58415), 48.89 MiB | 31.96 MiB/s
Receiving objects: 92% (53742/58415), 48.89 MiB | 31.96 MiB/s
Receiving objects: 93% (54326/58415), 48.89 MiB | 31.96 MiB/s
Receiving objects: 94% (54911/58415), 48.89 MiB | 31.96 MiB/s
Receiving objects: 95% (55495/58415), 48.89 MiB | 31.96 MiB/s
Receiving objects: 96% (56079/58415), 48.89 MiB | 31.96 MiB/s
Receiving objects: 97% (56663/58415), 48.89 MiB | 31.96 MiB/s
Receiving objects: 98% (57247/58415), 48.89 MiB | 31.96 MiB/s
Receiving objects: 99% (57831/58415), 48.89 MiB | 31.96 MiB/s
remote: Total 58415 (delta 449), reused 234 (delta 232), pack-reused 57649 (from 3) Receiving objects: 100% (58415/58415), 48.89 MiB | 31.96 MiB/s
Receiving objects: 100% (58415/58415), 52.47 MiB | 32.84 MiB/s, done.Resolving deltas: 0% (0/37292)
Resolving deltas: 1% (373/37292)
Resolving deltas: 2% (746/37292)
Resolving deltas: 3% (1119/37292)
Resolving deltas: 4% (1492/37292)
Resolving deltas: 5% (1865/37292)
Resolving deltas: 6% (2238/37292)
Resolving deltas: 7% (2611/37292)
Resolving deltas: 8% (2984/37292)
Resolving deltas: 9% (3357/37292)
Resolving deltas: 10% (3730/37292)
Resolving deltas: 11% (4103/37292)
Resolving deltas: 12% (4476/37292)
Resolving deltas: 13% (4848/37292)
Resolving deltas: 14% (5221/37292)
Resolving deltas: 15% (5594/37292)
Resolving deltas: 16% (5967/37292)
Resolving deltas: 17% (6340/37292)
Resolving deltas: 18% (6713/37292)
Resolving deltas: 19% (7086/37292)
Resolving deltas: 20% (7459/37292)
Resolving deltas: 21% (7832/37292)
Resolving deltas: 22% (8205/37292)
Resolving deltas: 23% (8578/37292)
Resolving deltas: 24% (8951/37292)
Resolving deltas: 25% (9323/37292)
Resolving deltas: 26% (9696/37292)
Resolving deltas: 27% (10069/37292)
Resolving deltas: 28% (10442/37292)
Resolving deltas: 29% (10815/37292)
Resolving deltas: 30% (11188/37292)
Resolving deltas: 31% (11561/37292)
Resolving deltas: 32% (11934/37292)
Resolving deltas: 33% (12307/37292)
Resolving deltas: 34% (12680/37292)
Resolving deltas: 35% (13053/37292)
Resolving deltas: 36% (13426/37292)
Resolving deltas: 37% (13799/37292)
Resolving deltas: 38% (14171/37292)
Resolving deltas: 39% (14544/37292)
Resolving deltas: 40% (14917/37292)
Resolving deltas: 41% (15290/37292)
Resolving deltas: 42% (15663/37292)
Resolving deltas: 43% (16036/37292)
Resolving deltas: 44% (16409/37292)
Resolving deltas: 45% (16782/37292)
Resolving deltas: 46% (17155/37292)
Resolving deltas: 47% (17528/37292)
Resolving deltas: 48% (17901/37292)
Resolving deltas: 49% (18274/37292)
Resolving deltas: 50% (18646/37292)
Resolving deltas: 51% (19019/37292)
Resolving deltas: 52% (19392/37292)
Resolving deltas: 53% (19765/37292)
Resolving deltas: 54% (20138/37292)
Resolving deltas: 55% (20511/37292)
Resolving deltas: 56% (20884/37292)
Resolving deltas: 57% (21257/37292)
Resolving deltas: 58% (21630/37292)
Resolving deltas: 59% (22003/37292)
Resolving deltas: 60% (22376/37292)
Resolving deltas: 61% (22749/37292)
Resolving deltas: 62% (23122/37292)
Resolving deltas: 63% (23494/37292)
Resolving deltas: 64% (23867/37292)
Resolving deltas: 65% (24240/37292)
Resolving deltas: 66% (24613/37292)
Resolving deltas: 67% (24986/37292)
Resolving deltas: 68% (25359/37292)
Resolving deltas: 69% (25732/37292)
Resolving deltas: 70% (26105/37292)
Resolving deltas: 71% (26478/37292)
Resolving deltas: 72% (26851/37292)
Resolving deltas: 73% (27224/37292)
Resolving deltas: 74% (27597/37292)
Resolving deltas: 75% (27969/37292)
Resolving deltas: 76% (28342/37292)
Resolving deltas: 77% (28715/37292)
Resolving deltas: 78% (29088/37292)
Resolving deltas: 79% (29461/37292)
Resolving deltas: 80% (29835/37292)
Resolving deltas: 81% (30207/37292)
Resolving deltas: 82% (30580/37292)
Resolving deltas: 83% (30953/37292)
Resolving deltas: 84% (31326/37292)
Resolving deltas: 85% (31699/37292)
Resolving deltas: 86% (32072/37292)
Resolving deltas: 87% (32445/37292)
Resolving deltas: 88% (32817/37292)
Resolving deltas: 89% (33190/37292)
Resolving deltas: 90% (33563/37292)
Resolving deltas: 91% (33936/37292)
Resolving deltas: 92% (34309/37292)
Resolving deltas: 93% (34682/37292)
Resolving deltas: 94% (35055/37292)
Resolving deltas: 95% (35428/37292)
Resolving deltas: 96% (35801/37292)
Resolving deltas: 97% (36174/37292)
Resolving deltas: 98% (36547/37292)
Resolving deltas: 99% (36920/37292)
Resolving deltas: 100% (37292/37292)
Resolving deltas: 100% (37292/37292), done.Submodule 'lib/erc4626-tests' (https://github.com/a16z/erc4626-tests.git) registered for path 'lib/openzeppelin-contracts/lib/erc4626-tests'Submodule 'lib/forge-std' (https://github.com/foundry-rs/forge-std) registered for path 'lib/openzeppelin-contracts/lib/forge-std'Submodule 'lib/halmos-cheatcodes' (https://github.com/a16z/halmos-cheatcodes) registered for path 'lib/openzeppelin-contracts/lib/halmos-cheatcodes'Cloning into '/workspace/love/lib/openzeppelin-contracts/lib/erc4626-tests'...remote: Enumerating objects: 32, done. remote: Counting objects: 3% (1/26)
remote: Counting objects: 7% (2/26)
remote: Counting objects: 11% (3/26)
remote: Counting objects: 15% (4/26)
remote: Counting objects: 19% (5/26)
remote: Counting objects: 23% (6/26)
remote: Counting objects: 26% (7/26)
remote: Counting objects: 30% (8/26)
remote: Counting objects: 34% (9/26)
remote: Counting objects: 38% (10/26)
remote: Counting objects: 42% (11/26)
remote: Counting objects: 46% (12/26)
remote: Counting objects: 50% (13/26)
remote: Counting objects: 53% (14/26)
remote: Counting objects: 57% (15/26)
remote: Counting objects: 61% (16/26)
remote: Counting objects: 65% (17/26)
remote: Counting objects: 69% (18/26)
remote: Counting objects: 73% (19/26)
remote: Counting objects: 76% (20/26)
remote: Counting objects: 80% (21/26)
remote: Counting objects: 84% (22/26)
remote: Counting objects: 88% (23/26)
remote: Counting objects: 92% (24/26)
remote: Counting objects: 96% (25/26)
remote: Counting objects: 100% (26/26)
remote: Counting objects: 100% (26/26), done. remote: Compressing objects: 5% (1/20)
remote: Compressing objects: 10% (2/20)
remote: Compressing objects: 15% (3/20)
remote: Compressing objects: 20% (4/20)
remote: Compressing objects: 25% (5/20)
remote: Compressing objects: 30% (6/20)
remote: Compressing objects: 35% (7/20)
remote: Compressing objects: 40% (8/20)
remote: Compressing objects: 45% (9/20)
remote: Compressing objects: 50% (10/20)
remote: Compressing objects: 55% (11/20)
remote: Compressing objects: 60% (12/20)
remote: Compressing objects: 65% (13/20)
remote: Compressing objects: 70% (14/20)
remote: Compressing objects: 75% (15/20)
remote: Compressing objects: 80% (16/20)
remote: Compressing objects: 85% (17/20)
remote: Compressing objects: 90% (18/20)
remote: Compressing objects: 95% (19/20)
remote: Compressing objects: 100% (20/20)
remote: Compressing objects: 100% (20/20), done. Receiving objects: 3% (1/32)
Receiving objects: 6% (2/32)
Receiving objects: 9% (3/32)
Receiving objects: 12% (4/32)
Receiving objects: 15% (5/32)
Receiving objects: 18% (6/32)
Receiving objects: 21% (7/32)
Receiving objects: 25% (8/32)
Receiving objects: 28% (9/32)
Receiving objects: 31% (10/32)
Receiving objects: 34% (11/32)
Receiving objects: 37% (12/32)
Receiving objects: 40% (13/32)
Receiving objects: 43% (14/32)
Receiving objects: 46% (15/32)
Receiving objects: 50% (16/32)
Receiving objects: 53% (17/32)
Receiving objects: 56% (18/32)
Receiving objects: 59% (19/32)
remote: Total 32 (delta 15), reused 9 (delta 4), pack-reused 6 (from 1) Receiving objects: 62% (20/32)
Receiving objects: 65% (21/32)
Receiving objects: 68% (22/32)
Receiving objects: 71% (23/32)
Receiving objects: 75% (24/32)
Receiving objects: 78% (25/32)
Receiving objects: 81% (26/32)
Receiving objects: 84% (27/32)
Receiving objects: 87% (28/32)
Receiving objects: 90% (29/32)
Receiving objects: 93% (30/32)
Receiving objects: 96% (31/32)
Receiving objects: 100% (32/32)
Receiving objects: 100% (32/32), 29.84 KiB | 29.84 MiB/s, done.Resolving deltas: 0% (0/15)
Resolving deltas: 6% (1/15)
Resolving deltas: 13% (2/15)
Resolving deltas: 20% (3/15)
Resolving deltas: 26% (4/15)
Resolving deltas: 33% (5/15)
Resolving deltas: 40% (6/15)
Resolving deltas: 46% (7/15)
Resolving deltas: 53% (8/15)
Resolving deltas: 60% (9/15)
Resolving deltas: 66% (10/15)
Resolving deltas: 73% (11/15)
Resolving deltas: 80% (12/15)
Resolving deltas: 86% (13/15)
Resolving deltas: 93% (14/15)
Resolving deltas: 100% (15/15)
Resolving deltas: 100% (15/15), done.Cloning into '/workspace/love/lib/openzeppelin-contracts/lib/forge-std'...remote: Enumerating objects: 3178, done. remote: Counting objects: 0% (1/455)
remote: Counting objects: 1% (5/455)
remote: Counting objects: 2% (10/455)
remote: Counting objects: 3% (14/455)
remote: Counting objects: 4% (19/455)
remote: Counting objects: 5% (23/455)
remote: Counting objects: 6% (28/455)
remote: Counting objects: 7% (32/455)
remote: Counting objects: 8% (37/455)
remote: Counting objects: 9% (41/455)
remote: Counting objects: 10% (46/455)
remote: Counting objects: 11% (51/455)
remote: Counting objects: 12% (55/455)
remote: Counting objects: 13% (60/455)
remote: Counting objects: 14% (64/455)
remote: Counting objects: 15% (69/455)
remote: Counting objects: 16% (73/455)
remote: Counting objects: 17% (78/455)
remote: Counting objects: 18% (82/455)
remote: Counting objects: 19% (87/455)
remote: Counting objects: 20% (91/455)
remote: Counting objects: 21% (96/455)
remote: Counting objects: 22% (101/455)
remote: Counting objects: 23% (105/455)
remote: Counting objects: 24% (110/455)
remote: Counting objects: 25% (114/455)
remote: Counting objects: 26% (119/455)
remote: Counting objects: 27% (123/455)
remote: Counting objects: 28% (128/455)
remote: Counting objects: 29% (132/455)
remote: Counting objects: 30% (137/455)
remote: Counting objects: 31% (142/455)
remote: Counting objects: 32% (146/455)
remote: Counting objects: 33% (151/455)
remote: Counting objects: 34% (155/455)
remote: Counting objects: 35% (160/455)
remote: Counting objects: 36% (164/455)
remote: Counting objects: 37% (169/455)
remote: Counting objects: 38% (173/455)
remote: Counting objects: 39% (178/455)
remote: Counting objects: 40% (182/455)
remote: Counting objects: 41% (187/455)
remote: Counting objects: 42% (192/455)
remote: Counting objects: 43% (196/455)
remote: Counting objects: 44% (201/455)
remote: Counting objects: 45% (205/455)
remote: Counting objects: 46% (210/455)
remote: Counting objects: 47% (214/455)
remote: Counting objects: 48% (219/455)
remote: Counting objects: 49% (223/455)
remote: Counting objects: 50% (228/455)
remote: Counting objects: 51% (233/455)
remote: Counting objects: 52% (237/455)
remote: Counting objects: 53% (242/455)
remote: Counting objects: 54% (246/455)
remote: Counting objects: 55% (251/455)
remote: Counting objects: 56% (255/455)
remote: Counting objects: 57% (260/455)
remote: Counting objects: 58% (264/455)
remote: Counting objects: 59% (269/455)
remote: Counting objects: 60% (273/455)
remote: Counting objects: 61% (278/455)
remote: Counting objects: 62% (283/455)
remote: Counting objects: 63% (287/455)
remote: Counting objects: 64% (292/455)
remote: Counting objects: 65% (296/455)
remote: Counting objects: 66% (301/455)
remote: Counting objects: 67% (305/455)
remote: Counting objects: 68% (310/455)
remote: Counting objects: 69% (314/455)
remote: Counting objects: 70% (319/455)
remote: Counting objects: 71% (324/455)
remote: Counting objects: 72% (328/455)
remote: Counting objects: 73% (333/455)
remote: Counting objects: 74% (337/455)
remote: Counting objects: 75% (342/455)
remote: Counting objects: 76% (346/455)
remote: Counting objects: 77% (351/455)
remote: Counting objects: 78% (355/455)
remote: Counting objects: 79% (360/455)
remote: Counting objects: 80% (364/455)
remote: Counting objects: 81% (369/455)
remote: Counting objects: 82% (374/455)
remote: Counting objects: 83% (378/455)
remote: Counting objects: 84% (383/455)
remote: Counting objects: 85% (387/455)
remote: Counting objects: 86% (392/455)
remote: Counting objects: 87% (396/455)
remote: Counting objects: 88% (401/455)
remote: Counting objects: 89% (405/455)
remote: Counting objects: 90% (410/455)
remote: Counting objects: 91% (415/455)
remote: Counting objects: 92% (419/455)
remote: Counting objects: 93% (424/455)
remote: Counting objects: 94% (428/455)
remote: Counting objects: 95% (433/455)
remote: Counting objects: 96% (437/455)
remote: Counting objects: 97% (442/455)
remote: Counting objects: 98% (446/455)
remote: Counting objects: 99% (451/455)
remote: Counting objects: 100% (455/455)
remote: Counting objects: 100% (455/455), done. remote: Compressing objects: 0% (1/214)
remote: Compressing objects: 1% (3/214)
remote: Compressing objects: 2% (5/214)
remote: Compressing objects: 3% (7/214)
remote: Compressing objects: 4% (9/214)
remote: Compressing objects: 5% (11/214)
remote: Compressing objects: 6% (13/214)
remote: Compressing objects: 7% (15/214)
remote: Compressing objects: 8% (18/214)
remote: Compressing objects: 9% (20/214)
remote: Compressing objects: 10% (22/214)
remote: Compressing objects: 11% (24/214)
remote: Compressing objects: 12% (26/214)
remote: Compressing objects: 13% (28/214)
remote: Compressing objects: 14% (30/214)
remote: Compressing objects: 15% (33/214)
remote: Compressing objects: 16% (35/214)
remote: Compressing objects: 17% (37/214)
remote: Compressing objects: 18% (39/214)
remote: Compressing objects: 19% (41/214)
remote: Compressing objects: 20% (43/214)
remote: Compressing objects: 21% (45/214)
remote: Compressing objects: 22% (48/214)
remote: Compressing objects: 23% (50/214)
remote: Compressing objects: 24% (52/214)
remote: Compressing objects: 25% (54/214)
remote: Compressing objects: 26% (56/214)
remote: Compressing objects: 27% (58/214)
remote: Compressing objects: 28% (60/214)
remote: Compressing objects: 29% (63/214)
remote: Compressing objects: 30% (65/214)
remote: Compressing objects: 31% (67/214)
remote: Compressing objects: 32% (69/214)
remote: Compressing objects: 33% (71/214)
remote: Compressing objects: 34% (73/214)
remote: Compressing objects: 35% (75/214)
remote: Compressing objects: 36% (78/214)
remote: Compressing objects: 37% (80/214)
remote: Compressing objects: 38% (82/214)
remote: Compressing objects: 39% (84/214)
remote: Compressing objects: 40% (86/214)
remote: Compressing objects: 41% (88/214)
remote: Compressing objects: 42% (90/214)
remote: Compressing objects: 43% (93/214)
remote: Compressing objects: 44% (95/214)
remote: Compressing objects: 45% (97/214)
remote: Compressing objects: 46% (99/214)
remote: Compressing objects: 47% (101/214)
remote: Compressing objects: 48% (103/214)
remote: Compressing objects: 49% (105/214)
remote: Compressing objects: 50% (107/214)
remote: Compressing objects: 51% (110/214)
remote: Compressing objects: 52% (112/214)
remote: Compressing objects: 53% (114/214)
remote: Compressing objects: 54% (116/214)
remote: Compressing objects: 55% (118/214)
remote: Compressing objects: 56% (120/214)
remote: Compressing objects: 57% (122/214)
remote: Compressing objects: 58% (125/214)
remote: Compressing objects: 59% (127/214)
remote: Compressing objects: 60% (129/214)
remote: Compressing objects: 61% (131/214)
remote: Compressing objects: 62% (133/214)
remote: Compressing objects: 63% (135/214)
remote: Compressing objects: 64% (137/214)
remote: Compressing objects: 65% (140/214)
remote: Compressing objects: 66% (142/214)
remote: Compressing objects: 67% (144/214)
remote: Compressing objects: 68% (146/214)
remote: Compressing objects: 69% (148/214)
remote: Compressing objects: 70% (150/214)
remote: Compressing objects: 71% (152/214)
remote: Compressing objects: 72% (155/214)
remote: Compressing objects: 73% (157/214)
remote: Compressing objects: 74% (159/214)
remote: Compressing objects: 75% (161/214)
remote: Compressing objects: 76% (163/214)
remote: Compressing objects: 77% (165/214)
remote: Compressing objects: 78% (167/214)
remote: Compressing objects: 79% (170/214)
remote: Compressing objects: 80% (172/214)
remote: Compressing objects: 81% (174/214)
remote: Compressing objects: 82% (176/214)
remote: Compressing objects: 83% (178/214)
remote: Compressing objects: 84% (180/214)
remote: Compressing objects: 85% (182/214)
remote: Compressing objects: 86% (185/214)
remote: Compressing objects: 87% (187/214)
remote: Compressing objects: 88% (189/214)
remote: Compressing objects: 89% (191/214)
remote: Compressing objects: 90% (193/214)
remote: Compressing objects: 91% (195/214)
remote: Compressing objects: 92% (197/214)
remote: Compressing objects: 93% (200/214)
remote: Compressing objects: 94% (202/214)
remote: Compressing objects: 95% (204/214)
remote: Compressing objects: 96% (206/214)
remote: Compressing objects: 97% (208/214)
remote: Compressing objects: 98% (210/214)
remote: Compressing objects: 99% (212/214)
remote: Compressing objects: 100% (214/214)
remote: Compressing objects: 100% (214/214), done. Receiving objects: 0% (1/3178)
Receiving objects: 1% (32/3178)
Receiving objects: 2% (64/3178)
Receiving objects: 3% (96/3178)
Receiving objects: 4% (128/3178)
Receiving objects: 5% (159/3178)
Receiving objects: 6% (191/3178)
Receiving objects: 7% (223/3178)
Receiving objects: 8% (255/3178)
Receiving objects: 9% (287/3178)
Receiving objects: 10% (318/3178)
Receiving objects: 11% (350/3178)
Receiving objects: 12% (382/3178)
Receiving objects: 13% (414/3178)
Receiving objects: 14% (445/3178)
Receiving objects: 15% (477/3178)
Receiving objects: 16% (509/3178)
Receiving objects: 17% (541/3178)
Receiving objects: 18% (573/3178)
Receiving objects: 19% (604/3178)
Receiving objects: 20% (636/3178)
Receiving objects: 21% (668/3178)
Receiving objects: 22% (700/3178)
Receiving objects: 23% (731/3178)
Receiving objects: 24% (763/3178)
Receiving objects: 25% (795/3178)
Receiving objects: 26% (827/3178)
Receiving objects: 27% (859/3178)
Receiving objects: 28% (890/3178)
Receiving objects: 29% (922/3178)
Receiving objects: 30% (954/3178)
Receiving objects: 31% (986/3178)
Receiving objects: 32% (1017/3178)
Receiving objects: 33% (1049/3178)
Receiving objects: 34% (1081/3178)
Receiving objects: 35% (1113/3178)
Receiving objects: 36% (1145/3178)
Receiving objects: 37% (1176/3178)
Receiving objects: 38% (1208/3178)
Receiving objects: 39% (1240/3178)
Receiving objects: 40% (1272/3178)
Receiving objects: 41% (1303/3178)
Receiving objects: 42% (1335/3178)
Receiving objects: 43% (1367/3178)
Receiving objects: 44% (1399/3178)
Receiving objects: 45% (1431/3178)
Receiving objects: 46% (1462/3178)
Receiving objects: 47% (1494/3178)
Receiving objects: 48% (1526/3178)
Receiving objects: 49% (1558/3178)
Receiving objects: 50% (1589/3178)
Receiving objects: 51% (1621/3178)
Receiving objects: 52% (1653/3178)
Receiving objects: 53% (1685/3178)
Receiving objects: 54% (1717/3178)
Receiving objects: 55% (1748/3178)
Receiving objects: 56% (1780/3178)
Receiving objects: 57% (1812/3178)
Receiving objects: 58% (1844/3178)
Receiving objects: 59% (1876/3178)
Receiving objects: 60% (1907/3178)
Receiving objects: 61% (1939/3178)
Receiving objects: 62% (1971/3178)
Receiving objects: 63% (2003/3178)
Receiving objects: 64% (2034/3178)
Receiving objects: 65% (2066/3178)
Receiving objects: 66% (2098/3178)
Receiving objects: 67% (2130/3178)
Receiving objects: 68% (2162/3178)
Receiving objects: 69% (2193/3178)
Receiving objects: 70% (2225/3178)
Receiving objects: 71% (2257/3178)
Receiving objects: 72% (2289/3178)
Receiving objects: 73% (2320/3178)
Receiving objects: 74% (2352/3178)
Receiving objects: 75% (2384/3178)
Receiving objects: 76% (2416/3178)
Receiving objects: 77% (2448/3178)
Receiving objects: 78% (2479/3178)
Receiving objects: 79% (2511/3178)
Receiving objects: 80% (2543/3178)
Receiving objects: 81% (2575/3178)
Receiving objects: 82% (2606/3178)
Receiving objects: 83% (2638/3178)
Receiving objects: 84% (2670/3178)
Receiving objects: 85% (2702/3178)
Receiving objects: 86% (2734/3178)
Receiving objects: 87% (2765/3178)
Receiving objects: 88% (2797/3178)
Receiving objects: 89% (2829/3178)
Receiving objects: 90% (2861/3178)
Receiving objects: 91% (2892/3178)
Receiving objects: 92% (2924/3178)
Receiving objects: 93% (2956/3178)
Receiving objects: 94% (2988/3178)
Receiving objects: 95% (3020/3178)
remote: Total 3178 (delta 387), reused 246 (delta 241), pack-reused 2723 (from 3) Receiving objects: 96% (3051/3178)
Receiving objects: 97% (3083/3178)
Receiving objects: 98% (3115/3178)
Receiving objects: 99% (3147/3178)
Receiving objects: 100% (3178/3178)
Receiving objects: 100% (3178/3178), 1.26 MiB | 18.99 MiB/s, done.Resolving deltas: 0% (0/2127)
Resolving deltas: 1% (22/2127)
Resolving deltas: 2% (43/2127)
Resolving deltas: 3% (64/2127)
Resolving deltas: 4% (86/2127)
Resolving deltas: 5% (107/2127)
Resolving deltas: 6% (128/2127)
Resolving deltas: 7% (149/2127)
Resolving deltas: 8% (171/2127)
Resolving deltas: 9% (192/2127)
Resolving deltas: 10% (213/2127)
Resolving deltas: 11% (234/2127)
Resolving deltas: 12% (256/2127)
Resolving deltas: 13% (277/2127)
Resolving deltas: 14% (298/2127)
Resolving deltas: 15% (320/2127)
Resolving deltas: 16% (341/2127)
Resolving deltas: 17% (362/2127)
Resolving deltas: 18% (383/2127)
Resolving deltas: 19% (405/2127)
Resolving deltas: 20% (426/2127)
Resolving deltas: 21% (447/2127)
Resolving deltas: 22% (468/2127)
Resolving deltas: 23% (490/2127)
Resolving deltas: 24% (511/2127)
Resolving deltas: 25% (532/2127)
Resolving deltas: 26% (554/2127)
Resolving deltas: 27% (575/2127)
Resolving deltas: 28% (596/2127)
Resolving deltas: 29% (617/2127)
Resolving deltas: 30% (639/2127)
Resolving deltas: 31% (660/2127)
Resolving deltas: 32% (681/2127)
Resolving deltas: 33% (702/2127)
Resolving deltas: 34% (724/2127)
Resolving deltas: 35% (745/2127)
Resolving deltas: 36% (766/2127)
Resolving deltas: 37% (787/2127)
Resolving deltas: 38% (809/2127)
Resolving deltas: 39% (830/2127)
Resolving deltas: 40% (851/2127)
Resolving deltas: 41% (873/2127)
Resolving deltas: 42% (894/2127)
Resolving deltas: 43% (915/2127)
Resolving deltas: 44% (936/2127)
Resolving deltas: 45% (958/2127)
Resolving deltas: 46% (979/2127)
Resolving deltas: 47% (1000/2127)
Resolving deltas: 48% (1021/2127)
Resolving deltas: 49% (1043/2127)
Resolving deltas: 50% (1064/2127)
Resolving deltas: 51% (1085/2127)
Resolving deltas: 52% (1107/2127)
Resolving deltas: 53% (1128/2127)
Resolving deltas: 54% (1149/2127)
Resolving deltas: 55% (1170/2127)
Resolving deltas: 56% (1192/2127)
Resolving deltas: 57% (1213/2127)
Resolving deltas: 58% (1234/2127)
Resolving deltas: 59% (1255/2127)
Resolving deltas: 60% (1277/2127)
Resolving deltas: 61% (1298/2127)
Resolving deltas: 62% (1319/2127)
Resolving deltas: 63% (1341/2127)
Resolving deltas: 64% (1362/2127)
Resolving deltas: 65% (1383/2127)
Resolving deltas: 66% (1404/2127)
Resolving deltas: 67% (1426/2127)
Resolving deltas: 68% (1447/2127)
Resolving deltas: 69% (1468/2127)
Resolving deltas: 70% (1489/2127)
Resolving deltas: 71% (1511/2127)
Resolving deltas: 72% (1532/2127)
Resolving deltas: 73% (1553/2127)
Resolving deltas: 74% (1574/2127)
Resolving deltas: 75% (1596/2127)
Resolving deltas: 76% (1617/2127)
Resolving deltas: 77% (1638/2127)
Resolving deltas: 78% (1660/2127)
Resolving deltas: 79% (1681/2127)
Resolving deltas: 80% (1702/2127)
Resolving deltas: 81% (1723/2127)
Resolving deltas: 82% (1745/2127)
Resolving deltas: 83% (1766/2127)
Resolving deltas: 84% (1787/2127)
Resolving deltas: 85% (1808/2127)
Resolving deltas: 86% (1830/2127)
Resolving deltas: 87% (1851/2127)
Resolving deltas: 88% (1872/2127)
Resolving deltas: 89% (1894/2127)
Resolving deltas: 90% (1915/2127)
Resolving deltas: 91% (1936/2127)
Resolving deltas: 92% (1957/2127)
Resolving deltas: 93% (1979/2127)
Resolving deltas: 94% (2000/2127)
Resolving deltas: 95% (2021/2127)
Resolving deltas: 96% (2042/2127)
Resolving deltas: 97% (2064/2127)
Resolving deltas: 98% (2085/2127)
Resolving deltas: 99% (2106/2127)
Resolving deltas: 100% (2127/2127)
Resolving deltas: 100% (2127/2127), done.Cloning into '/workspace/love/lib/openzeppelin-contracts/lib/halmos-cheatcodes'...remote: Enumerating objects: 47, done. remote: Counting objects: 2% (1/47)
remote: Counting objects: 4% (2/47)
remote: Counting objects: 6% (3/47)
remote: Counting objects: 8% (4/47)
remote: Counting objects: 10% (5/47)
remote: Counting objects: 12% (6/47)
remote: Counting objects: 14% (7/47)
remote: Counting objects: 17% (8/47)
remote: Counting objects: 19% (9/47)
remote: Counting objects: 21% (10/47)
remote: Counting objects: 23% (11/47)
remote: Counting objects: 25% (12/47)
remote: Counting objects: 27% (13/47)
remote: Counting objects: 29% (14/47)
remote: Counting objects: 31% (15/47)
remote: Counting objects: 34% (16/47)
remote: Counting objects: 36% (17/47)
remote: Counting objects: 38% (18/47)
remote: Counting objects: 40% (19/47)
remote: Counting objects: 42% (20/47)
remote: Counting objects: 44% (21/47)
remote: Counting objects: 46% (22/47)
remote: Counting objects: 48% (23/47)
remote: Counting objects: 51% (24/47)
remote: Counting objects: 53% (25/47)
remote: Counting objects: 55% (26/47)
remote: Counting objects: 57% (27/47)
remote: Counting objects: 59% (28/47)
remote: Counting objects: 61% (29/47)
remote: Counting objects: 63% (30/47)
remote: Counting objects: 65% (31/47)
remote: Counting objects: 68% (32/47)
remote: Counting objects: 70% (33/47)
remote: Counting objects: 72% (34/47)
remote: Counting objects: 74% (35/47)
remote: Counting objects: 76% (36/47)
remote: Counting objects: 78% (37/47)
remote: Counting objects: 80% (38/47)
remote: Counting objects: 82% (39/47)
remote: Counting objects: 85% (40/47)
remote: Counting objects: 87% (41/47)
remote: Counting objects: 89% (42/47)
remote: Counting objects: 91% (43/47)
remote: Counting objects: 93% (44/47)
remote: Counting objects: 95% (45/47)
remote: Counting objects: 97% (46/47)
remote: Counting objects: 100% (47/47)
remote: Counting objects: 100% (47/47), done. remote: Compressing objects: 2% (1/37)
remote: Compressing objects: 5% (2/37)
remote: Compressing objects: 8% (3/37)
remote: Compressing objects: 10% (4/37)
remote: Compressing objects: 13% (5/37)
remote: Compressing objects: 16% (6/37)
remote: Compressing objects: 18% (7/37)
remote: Compressing objects: 21% (8/37)
remote: Compressing objects: 24% (9/37)
remote: Compressing objects: 27% (10/37)
remote: Compressing objects: 29% (11/37)
remote: Compressing objects: 32% (12/37)
remote: Compressing objects: 35% (13/37)
remote: Compressing objects: 37% (14/37)
remote: Compressing objects: 40% (15/37)
remote: Compressing objects: 43% (16/37)
remote: Compressing objects: 45% (17/37)
remote: Compressing objects: 48% (18/37)
remote: Compressing objects: 51% (19/37)
remote: Compressing objects: 54% (20/37)
remote: Compressing objects: 56% (21/37)
remote: Compressing objects: 59% (22/37)
remote: Compressing objects: 62% (23/37)
remote: Compressing objects: 64% (24/37)
remote: Compressing objects: 67% (25/37)
remote: Compressing objects: 70% (26/37)
remote: Compressing objects: 72% (27/37)
remote: Compressing objects: 75% (28/37)
remote: Compressing objects: 78% (29/37)
remote: Compressing objects: 81% (30/37)
remote: Compressing objects: 83% (31/37)
remote: Compressing objects: 86% (32/37)
remote: Compressing objects: 89% (33/37)
remote: Compressing objects: 91% (34/37)
remote: Compressing objects: 94% (35/37)
remote: Compressing objects: 97% (36/37)
remote: Compressing objects: 100% (37/37)
remote: Compressing objects: 100% (37/37), done. Receiving objects: 2% (1/47)
Receiving objects: 4% (2/47)
Receiving objects: 6% (3/47)
Receiving objects: 8% (4/47)
Receiving objects: 10% (5/47)
Receiving objects: 12% (6/47)
Receiving objects: 14% (7/47)
Receiving objects: 17% (8/47)
Receiving objects: 19% (9/47)
Receiving objects: 21% (10/47)
Receiving objects: 23% (11/47)
Receiving objects: 25% (12/47)
Receiving objects: 27% (13/47)
Receiving objects: 29% (14/47)
Receiving objects: 31% (15/47)
Receiving objects: 34% (16/47)
Receiving objects: 36% (17/47)
Receiving objects: 38% (18/47)
Receiving objects: 40% (19/47)
Receiving objects: 42% (20/47)
Receiving objects: 44% (21/47)
Receiving objects: 46% (22/47)
Receiving objects: 48% (23/47)
Receiving objects: 51% (24/47)
Receiving objects: 53% (25/47)
Receiving objects: 55% (26/47)
Receiving objects: 57% (27/47)
Receiving objects: 59% (28/47)
Receiving objects: 61% (29/47)
Receiving objects: 63% (30/47)
Receiving objects: 65% (31/47)
Receiving objects: 68% (32/47)
Receiving objects: 70% (33/47)
Receiving objects: 72% (34/47)
Receiving objects: 74% (35/47)
Receiving objects: 76% (36/47)
Receiving objects: 78% (37/47)
Receiving objects: 80% (38/47)
Receiving objects: 82% (39/47)
Receiving objects: 85% (40/47)
Receiving objects: 87% (41/47)
remote: Total 47 (delta 19), reused 25 (delta 10), pack-reused 0 (from 0) Receiving objects: 89% (42/47)
Receiving objects: 91% (43/47)
Receiving objects: 93% (44/47)
Receiving objects: 95% (45/47)
Receiving objects: 97% (46/47)
Receiving objects: 100% (47/47)
Receiving objects: 100% (47/47), 24.40 KiB | 24.40 MiB/s, done.Resolving deltas: 0% (0/19)
Resolving deltas: 5% (1/19)
Resolving deltas: 10% (2/19)
Resolving deltas: 15% (3/19)
Resolving deltas: 21% (4/19)
Resolving deltas: 26% (5/19)
Resolving deltas: 31% (6/19)
Resolving deltas: 36% (7/19)
Resolving deltas: 42% (8/19)
Resolving deltas: 47% (9/19)
Resolving deltas: 52% (10/19)
Resolving deltas: 57% (11/19)
Resolving deltas: 63% (12/19)
Resolving deltas: 68% (13/19)
Resolving deltas: 73% (14/19)
Resolving deltas: 78% (15/19)
Resolving deltas: 84% (16/19)
Resolving deltas: 89% (17/19)
Resolving deltas: 94% (18/19)
Resolving deltas: 100% (19/19)
Resolving deltas: 100% (19/19), done.Updating dependencies in /workspace/love/libCompiling 36 files with Solc 0.8.30Solc 0.8.30 finished in 619.38msCompiler run successful!╭----------+------------------+-------------------+--------------------+---------------------╮| Contract | Runtime Size (B) | Initcode Size (B) | Runtime Margin (B) | Initcode Margin (B) |+============================================================================================+| Love | 2,761 | 3,334 | 21,815 | 45,818 ||----------+------------------+-------------------+--------------------+---------------------|| MockWETH | 2,089 | 2,559 | 22,487 | 46,593 |╰----------+------------------+-------------------+--------------------+---------------------╯