-rw-r--r-- 23968 high-ctidh-20210523/test2048.exp
uintbig_iszero
fp_sqrt
dac
elligator
validate
xISOG
nike
trying alice bs=0 gs=0, bob bs=0 gs=0
trying alice bs=2 gs=1, bob bs=0 gs=0
trying alice bs=2 gs=2, bob bs=0 gs=0
trying alice bs=2 gs=3, bob bs=0 gs=0
trying alice bs=2 gs=4, bob bs=0 gs=0
trying alice bs=2 gs=5, bob bs=0 gs=0
trying alice bs=2 gs=6, bob bs=0 gs=0
trying alice bs=2 gs=7, bob bs=0 gs=0
trying alice bs=2 gs=8, bob bs=0 gs=0
trying alice bs=4 gs=1, bob bs=0 gs=0
trying alice bs=4 gs=2, bob bs=0 gs=0
trying alice bs=4 gs=3, bob bs=0 gs=0
trying alice bs=4 gs=4, bob bs=0 gs=0
trying alice bs=4 gs=5, bob bs=0 gs=0
trying alice bs=4 gs=6, bob bs=0 gs=0
trying alice bs=4 gs=7, bob bs=0 gs=0
trying alice bs=4 gs=8, bob bs=0 gs=0
trying alice bs=4 gs=9, bob bs=0 gs=0
trying alice bs=4 gs=10, bob bs=0 gs=0
trying alice bs=4 gs=11, bob bs=0 gs=0
trying alice bs=4 gs=12, bob bs=0 gs=0
trying alice bs=4 gs=13, bob bs=0 gs=0
trying alice bs=4 gs=14, bob bs=0 gs=0
trying alice bs=4 gs=15, bob bs=0 gs=0
trying alice bs=4 gs=16, bob bs=0 gs=0
trying alice bs=6 gs=2, bob bs=0 gs=0
trying alice bs=6 gs=3, bob bs=0 gs=0
trying alice bs=6 gs=4, bob bs=0 gs=0
trying alice bs=6 gs=5, bob bs=0 gs=0
trying alice bs=6 gs=6, bob bs=0 gs=0
trying alice bs=6 gs=7, bob bs=0 gs=0
trying alice bs=6 gs=8, bob bs=0 gs=0
trying alice bs=6 gs=9, bob bs=0 gs=0
trying alice bs=6 gs=10, bob bs=0 gs=0
trying alice bs=6 gs=11, bob bs=0 gs=0
trying alice bs=6 gs=12, bob bs=0 gs=0
trying alice bs=6 gs=13, bob bs=0 gs=0
trying alice bs=6 gs=14, bob bs=0 gs=0
trying alice bs=6 gs=15, bob bs=0 gs=0
trying alice bs=6 gs=16, bob bs=0 gs=0
trying alice bs=6 gs=17, bob bs=0 gs=0
trying alice bs=6 gs=18, bob bs=0 gs=0
trying alice bs=6 gs=19, bob bs=0 gs=0
trying alice bs=6 gs=20, bob bs=0 gs=0
trying alice bs=6 gs=21, bob bs=0 gs=0
trying alice bs=6 gs=22, bob bs=0 gs=0
trying alice bs=6 gs=23, bob bs=0 gs=0
trying alice bs=6 gs=24, bob bs=0 gs=0
trying alice bs=8 gs=2, bob bs=0 gs=0
trying alice bs=8 gs=3, bob bs=0 gs=0
trying alice bs=8 gs=4, bob bs=0 gs=0
trying alice bs=8 gs=5, bob bs=0 gs=0
trying alice bs=8 gs=6, bob bs=0 gs=0
trying alice bs=8 gs=7, bob bs=0 gs=0
trying alice bs=8 gs=8, bob bs=0 gs=0
trying alice bs=8 gs=9, bob bs=0 gs=0
trying alice bs=8 gs=10, bob bs=0 gs=0
trying alice bs=8 gs=11, bob bs=0 gs=0
trying alice bs=8 gs=12, bob bs=0 gs=0
trying alice bs=8 gs=13, bob bs=0 gs=0
trying alice bs=8 gs=14, bob bs=0 gs=0
trying alice bs=8 gs=15, bob bs=0 gs=0
trying alice bs=8 gs=16, bob bs=0 gs=0
trying alice bs=8 gs=17, bob bs=0 gs=0
trying alice bs=8 gs=18, bob bs=0 gs=0
trying alice bs=8 gs=19, bob bs=0 gs=0
trying alice bs=8 gs=20, bob bs=0 gs=0
trying alice bs=8 gs=21, bob bs=0 gs=0
trying alice bs=8 gs=22, bob bs=0 gs=0
trying alice bs=8 gs=23, bob bs=0 gs=0
trying alice bs=8 gs=24, bob bs=0 gs=0
trying alice bs=8 gs=25, bob bs=0 gs=0
trying alice bs=8 gs=26, bob bs=0 gs=0
trying alice bs=8 gs=27, bob bs=0 gs=0
trying alice bs=8 gs=28, bob bs=0 gs=0
trying alice bs=8 gs=29, bob bs=0 gs=0
trying alice bs=8 gs=30, bob bs=0 gs=0
trying alice bs=8 gs=31, bob bs=0 gs=0
trying alice bs=8 gs=32, bob bs=0 gs=0
trying alice bs=10 gs=3, bob bs=0 gs=0
trying alice bs=10 gs=4, bob bs=0 gs=0
trying alice bs=10 gs=5, bob bs=0 gs=0
trying alice bs=10 gs=6, bob bs=0 gs=0
trying alice bs=10 gs=7, bob bs=0 gs=0
trying alice bs=10 gs=8, bob bs=0 gs=0
trying alice bs=10 gs=9, bob bs=0 gs=0
trying alice bs=10 gs=10, bob bs=0 gs=0
trying alice bs=10 gs=11, bob bs=0 gs=0
trying alice bs=10 gs=12, bob bs=0 gs=0
trying alice bs=10 gs=13, bob bs=0 gs=0
trying alice bs=10 gs=14, bob bs=0 gs=0
trying alice bs=10 gs=15, bob bs=0 gs=0
trying alice bs=10 gs=16, bob bs=0 gs=0
trying alice bs=10 gs=17, bob bs=0 gs=0
trying alice bs=10 gs=18, bob bs=0 gs=0
trying alice bs=10 gs=19, bob bs=0 gs=0
trying alice bs=10 gs=20, bob bs=0 gs=0
trying alice bs=10 gs=21, bob bs=0 gs=0
trying alice bs=10 gs=22, bob bs=0 gs=0
trying alice bs=10 gs=23, bob bs=0 gs=0
trying alice bs=10 gs=24, bob bs=0 gs=0
trying alice bs=10 gs=25, bob bs=0 gs=0
trying alice bs=10 gs=26, bob bs=0 gs=0
trying alice bs=10 gs=27, bob bs=0 gs=0
trying alice bs=10 gs=28, bob bs=0 gs=0
trying alice bs=10 gs=29, bob bs=0 gs=0
trying alice bs=10 gs=30, bob bs=0 gs=0
trying alice bs=10 gs=31, bob bs=0 gs=0
trying alice bs=10 gs=32, bob bs=0 gs=0
trying alice bs=10 gs=33, bob bs=0 gs=0
trying alice bs=10 gs=34, bob bs=0 gs=0
trying alice bs=10 gs=35, bob bs=0 gs=0
trying alice bs=10 gs=36, bob bs=0 gs=0
trying alice bs=10 gs=37, bob bs=0 gs=0
trying alice bs=10 gs=38, bob bs=0 gs=0
trying alice bs=10 gs=39, bob bs=0 gs=0
trying alice bs=10 gs=40, bob bs=0 gs=0
trying alice bs=12 gs=3, bob bs=0 gs=0
trying alice bs=12 gs=4, bob bs=0 gs=0
trying alice bs=12 gs=5, bob bs=0 gs=0
trying alice bs=12 gs=6, bob bs=0 gs=0
trying alice bs=12 gs=7, bob bs=0 gs=0
trying alice bs=12 gs=8, bob bs=0 gs=0
trying alice bs=12 gs=9, bob bs=0 gs=0
trying alice bs=12 gs=10, bob bs=0 gs=0
trying alice bs=12 gs=11, bob bs=0 gs=0
trying alice bs=12 gs=12, bob bs=0 gs=0
trying alice bs=12 gs=13, bob bs=0 gs=0
trying alice bs=12 gs=14, bob bs=0 gs=0
trying alice bs=12 gs=15, bob bs=0 gs=0
trying alice bs=12 gs=16, bob bs=0 gs=0
trying alice bs=12 gs=17, bob bs=0 gs=0
trying alice bs=12 gs=18, bob bs=0 gs=0
trying alice bs=12 gs=19, bob bs=0 gs=0
trying alice bs=12 gs=20, bob bs=0 gs=0
trying alice bs=12 gs=21, bob bs=0 gs=0
trying alice bs=12 gs=22, bob bs=0 gs=0
trying alice bs=12 gs=23, bob bs=0 gs=0
trying alice bs=12 gs=24, bob bs=0 gs=0
trying alice bs=12 gs=25, bob bs=0 gs=0
trying alice bs=12 gs=26, bob bs=0 gs=0
trying alice bs=12 gs=27, bob bs=0 gs=0
trying alice bs=12 gs=28, bob bs=0 gs=0
trying alice bs=12 gs=29, bob bs=0 gs=0
trying alice bs=12 gs=30, bob bs=0 gs=0
trying alice bs=12 gs=31, bob bs=0 gs=0
trying alice bs=12 gs=32, bob bs=0 gs=0
trying alice bs=12 gs=33, bob bs=0 gs=0
trying alice bs=12 gs=34, bob bs=0 gs=0
trying alice bs=12 gs=35, bob bs=0 gs=0
trying alice bs=12 gs=36, bob bs=0 gs=0
trying alice bs=12 gs=37, bob bs=0 gs=0
trying alice bs=12 gs=38, bob bs=0 gs=0
trying alice bs=12 gs=39, bob bs=0 gs=0
trying alice bs=12 gs=40, bob bs=0 gs=0
trying alice bs=12 gs=41, bob bs=0 gs=0
trying alice bs=12 gs=42, bob bs=0 gs=0
trying alice bs=12 gs=43, bob bs=0 gs=0
trying alice bs=12 gs=44, bob bs=0 gs=0
trying alice bs=12 gs=45, bob bs=0 gs=0
trying alice bs=12 gs=46, bob bs=0 gs=0
trying alice bs=12 gs=47, bob bs=0 gs=0
trying alice bs=12 gs=48, bob bs=0 gs=0
trying alice bs=14 gs=4, bob bs=0 gs=0
trying alice bs=14 gs=5, bob bs=0 gs=0
trying alice bs=14 gs=6, bob bs=0 gs=0
trying alice bs=14 gs=7, bob bs=0 gs=0
trying alice bs=14 gs=8, bob bs=0 gs=0
trying alice bs=14 gs=9, bob bs=0 gs=0
trying alice bs=14 gs=10, bob bs=0 gs=0
trying alice bs=14 gs=11, bob bs=0 gs=0
trying alice bs=14 gs=12, bob bs=0 gs=0
trying alice bs=14 gs=13, bob bs=0 gs=0
trying alice bs=14 gs=14, bob bs=0 gs=0
trying alice bs=14 gs=15, bob bs=0 gs=0
trying alice bs=14 gs=16, bob bs=0 gs=0
trying alice bs=14 gs=17, bob bs=0 gs=0
trying alice bs=14 gs=18, bob bs=0 gs=0
trying alice bs=14 gs=19, bob bs=0 gs=0
trying alice bs=14 gs=20, bob bs=0 gs=0
trying alice bs=14 gs=21, bob bs=0 gs=0
trying alice bs=14 gs=22, bob bs=0 gs=0
trying alice bs=14 gs=23, bob bs=0 gs=0
trying alice bs=14 gs=24, bob bs=0 gs=0
trying alice bs=14 gs=25, bob bs=0 gs=0
trying alice bs=14 gs=26, bob bs=0 gs=0
trying alice bs=14 gs=27, bob bs=0 gs=0
trying alice bs=14 gs=28, bob bs=0 gs=0
trying alice bs=14 gs=29, bob bs=0 gs=0
trying alice bs=14 gs=30, bob bs=0 gs=0
trying alice bs=14 gs=31, bob bs=0 gs=0
trying alice bs=14 gs=32, bob bs=0 gs=0
trying alice bs=14 gs=33, bob bs=0 gs=0
trying alice bs=14 gs=34, bob bs=0 gs=0
trying alice bs=14 gs=35, bob bs=0 gs=0
trying alice bs=14 gs=36, bob bs=0 gs=0
trying alice bs=14 gs=37, bob bs=0 gs=0
trying alice bs=14 gs=38, bob bs=0 gs=0
trying alice bs=14 gs=39, bob bs=0 gs=0
trying alice bs=14 gs=40, bob bs=0 gs=0
trying alice bs=14 gs=41, bob bs=0 gs=0
trying alice bs=14 gs=42, bob bs=0 gs=0
trying alice bs=14 gs=43, bob bs=0 gs=0
trying alice bs=14 gs=44, bob bs=0 gs=0
trying alice bs=14 gs=45, bob bs=0 gs=0
trying alice bs=14 gs=46, bob bs=0 gs=0
trying alice bs=14 gs=47, bob bs=0 gs=0
trying alice bs=14 gs=48, bob bs=0 gs=0
trying alice bs=14 gs=49, bob bs=0 gs=0
trying alice bs=14 gs=50, bob bs=0 gs=0
trying alice bs=14 gs=51, bob bs=0 gs=0
trying alice bs=14 gs=52, bob bs=0 gs=0
trying alice bs=14 gs=53, bob bs=0 gs=0
trying alice bs=14 gs=54, bob bs=0 gs=0
trying alice bs=14 gs=55, bob bs=0 gs=0
trying alice bs=14 gs=56, bob bs=0 gs=0
trying alice bs=16 gs=4, bob bs=0 gs=0
trying alice bs=16 gs=5, bob bs=0 gs=0
trying alice bs=16 gs=6, bob bs=0 gs=0
trying alice bs=16 gs=7, bob bs=0 gs=0
trying alice bs=16 gs=8, bob bs=0 gs=0
trying alice bs=16 gs=9, bob bs=0 gs=0
trying alice bs=16 gs=10, bob bs=0 gs=0
trying alice bs=16 gs=11, bob bs=0 gs=0
trying alice bs=16 gs=12, bob bs=0 gs=0
trying alice bs=16 gs=13, bob bs=0 gs=0
trying alice bs=16 gs=14, bob bs=0 gs=0
trying alice bs=16 gs=15, bob bs=0 gs=0
trying alice bs=16 gs=16, bob bs=0 gs=0
trying alice bs=16 gs=17, bob bs=0 gs=0
trying alice bs=16 gs=18, bob bs=0 gs=0
trying alice bs=16 gs=19, bob bs=0 gs=0
trying alice bs=16 gs=20, bob bs=0 gs=0
trying alice bs=16 gs=21, bob bs=0 gs=0
trying alice bs=16 gs=22, bob bs=0 gs=0
trying alice bs=16 gs=23, bob bs=0 gs=0
trying alice bs=16 gs=24, bob bs=0 gs=0
trying alice bs=16 gs=25, bob bs=0 gs=0
trying alice bs=16 gs=26, bob bs=0 gs=0
trying alice bs=16 gs=27, bob bs=0 gs=0
trying alice bs=16 gs=28, bob bs=0 gs=0
trying alice bs=16 gs=29, bob bs=0 gs=0
trying alice bs=16 gs=30, bob bs=0 gs=0
trying alice bs=16 gs=31, bob bs=0 gs=0
trying alice bs=16 gs=32, bob bs=0 gs=0
trying alice bs=16 gs=33, bob bs=0 gs=0
trying alice bs=16 gs=34, bob bs=0 gs=0
trying alice bs=16 gs=35, bob bs=0 gs=0
trying alice bs=16 gs=36, bob bs=0 gs=0
trying alice bs=16 gs=37, bob bs=0 gs=0
trying alice bs=16 gs=38, bob bs=0 gs=0
trying alice bs=16 gs=39, bob bs=0 gs=0
trying alice bs=16 gs=40, bob bs=0 gs=0
trying alice bs=16 gs=41, bob bs=0 gs=0
trying alice bs=16 gs=42, bob bs=0 gs=0
trying alice bs=16 gs=43, bob bs=0 gs=0
trying alice bs=16 gs=44, bob bs=0 gs=0
trying alice bs=16 gs=45, bob bs=0 gs=0
trying alice bs=16 gs=46, bob bs=0 gs=0
trying alice bs=16 gs=47, bob bs=0 gs=0
trying alice bs=16 gs=48, bob bs=0 gs=0
trying alice bs=16 gs=49, bob bs=0 gs=0
trying alice bs=16 gs=50, bob bs=0 gs=0
trying alice bs=16 gs=51, bob bs=0 gs=0
trying alice bs=16 gs=52, bob bs=0 gs=0
trying alice bs=16 gs=53, bob bs=0 gs=0
trying alice bs=18 gs=5, bob bs=0 gs=0
trying alice bs=18 gs=6, bob bs=0 gs=0
trying alice bs=18 gs=7, bob bs=0 gs=0
trying alice bs=18 gs=8, bob bs=0 gs=0
trying alice bs=18 gs=9, bob bs=0 gs=0
trying alice bs=18 gs=10, bob bs=0 gs=0
trying alice bs=18 gs=11, bob bs=0 gs=0
trying alice bs=18 gs=12, bob bs=0 gs=0
trying alice bs=18 gs=13, bob bs=0 gs=0
trying alice bs=18 gs=14, bob bs=0 gs=0
trying alice bs=18 gs=15, bob bs=0 gs=0
trying alice bs=18 gs=16, bob bs=0 gs=0
trying alice bs=18 gs=17, bob bs=0 gs=0
trying alice bs=18 gs=18, bob bs=0 gs=0
trying alice bs=18 gs=19, bob bs=0 gs=0
trying alice bs=18 gs=20, bob bs=0 gs=0
trying alice bs=18 gs=21, bob bs=0 gs=0
trying alice bs=18 gs=22, bob bs=0 gs=0
trying alice bs=18 gs=23, bob bs=0 gs=0
trying alice bs=18 gs=24, bob bs=0 gs=0
trying alice bs=18 gs=25, bob bs=0 gs=0
trying alice bs=18 gs=26, bob bs=0 gs=0
trying alice bs=18 gs=27, bob bs=0 gs=0
trying alice bs=18 gs=28, bob bs=0 gs=0
trying alice bs=18 gs=29, bob bs=0 gs=0
trying alice bs=18 gs=30, bob bs=0 gs=0
trying alice bs=18 gs=31, bob bs=0 gs=0
trying alice bs=18 gs=32, bob bs=0 gs=0
trying alice bs=18 gs=33, bob bs=0 gs=0
trying alice bs=18 gs=34, bob bs=0 gs=0
trying alice bs=18 gs=35, bob bs=0 gs=0
trying alice bs=18 gs=36, bob bs=0 gs=0
trying alice bs=18 gs=37, bob bs=0 gs=0
trying alice bs=18 gs=38, bob bs=0 gs=0
trying alice bs=18 gs=39, bob bs=0 gs=0
trying alice bs=18 gs=40, bob bs=0 gs=0
trying alice bs=18 gs=41, bob bs=0 gs=0
trying alice bs=18 gs=42, bob bs=0 gs=0
trying alice bs=18 gs=43, bob bs=0 gs=0
trying alice bs=18 gs=44, bob bs=0 gs=0
trying alice bs=18 gs=45, bob bs=0 gs=0
trying alice bs=18 gs=46, bob bs=0 gs=0
trying alice bs=18 gs=47, bob bs=0 gs=0
trying alice bs=20 gs=5, bob bs=0 gs=0
trying alice bs=20 gs=6, bob bs=0 gs=0
trying alice bs=20 gs=7, bob bs=0 gs=0
trying alice bs=20 gs=8, bob bs=0 gs=0
trying alice bs=20 gs=9, bob bs=0 gs=0
trying alice bs=20 gs=10, bob bs=0 gs=0
trying alice bs=20 gs=11, bob bs=0 gs=0
trying alice bs=20 gs=12, bob bs=0 gs=0
trying alice bs=20 gs=13, bob bs=0 gs=0
trying alice bs=20 gs=14, bob bs=0 gs=0
trying alice bs=20 gs=15, bob bs=0 gs=0
trying alice bs=20 gs=16, bob bs=0 gs=0
trying alice bs=20 gs=17, bob bs=0 gs=0
trying alice bs=20 gs=18, bob bs=0 gs=0
trying alice bs=20 gs=19, bob bs=0 gs=0
trying alice bs=20 gs=20, bob bs=0 gs=0
trying alice bs=20 gs=21, bob bs=0 gs=0
trying alice bs=20 gs=22, bob bs=0 gs=0
trying alice bs=20 gs=23, bob bs=0 gs=0
trying alice bs=20 gs=24, bob bs=0 gs=0
trying alice bs=20 gs=25, bob bs=0 gs=0
trying alice bs=20 gs=26, bob bs=0 gs=0
trying alice bs=20 gs=27, bob bs=0 gs=0
trying alice bs=20 gs=28, bob bs=0 gs=0
trying alice bs=20 gs=29, bob bs=0 gs=0
trying alice bs=20 gs=30, bob bs=0 gs=0
trying alice bs=20 gs=31, bob bs=0 gs=0
trying alice bs=20 gs=32, bob bs=0 gs=0
trying alice bs=20 gs=33, bob bs=0 gs=0
trying alice bs=20 gs=34, bob bs=0 gs=0
trying alice bs=20 gs=35, bob bs=0 gs=0
trying alice bs=20 gs=36, bob bs=0 gs=0
trying alice bs=20 gs=37, bob bs=0 gs=0
trying alice bs=20 gs=38, bob bs=0 gs=0
trying alice bs=20 gs=39, bob bs=0 gs=0
trying alice bs=20 gs=40, bob bs=0 gs=0
trying alice bs=20 gs=41, bob bs=0 gs=0
trying alice bs=20 gs=42, bob bs=0 gs=0
trying alice bs=22 gs=6, bob bs=0 gs=0
trying alice bs=22 gs=7, bob bs=0 gs=0
trying alice bs=22 gs=8, bob bs=0 gs=0
trying alice bs=22 gs=9, bob bs=0 gs=0
trying alice bs=22 gs=10, bob bs=0 gs=0
trying alice bs=22 gs=11, bob bs=0 gs=0
trying alice bs=22 gs=12, bob bs=0 gs=0
trying alice bs=22 gs=13, bob bs=0 gs=0
trying alice bs=22 gs=14, bob bs=0 gs=0
trying alice bs=22 gs=15, bob bs=0 gs=0
trying alice bs=22 gs=16, bob bs=0 gs=0
trying alice bs=22 gs=17, bob bs=0 gs=0
trying alice bs=22 gs=18, bob bs=0 gs=0
trying alice bs=22 gs=19, bob bs=0 gs=0
trying alice bs=22 gs=20, bob bs=0 gs=0
trying alice bs=22 gs=21, bob bs=0 gs=0
trying alice bs=22 gs=22, bob bs=0 gs=0
trying alice bs=22 gs=23, bob bs=0 gs=0
trying alice bs=22 gs=24, bob bs=0 gs=0
trying alice bs=22 gs=25, bob bs=0 gs=0
trying alice bs=22 gs=26, bob bs=0 gs=0
trying alice bs=22 gs=27, bob bs=0 gs=0
trying alice bs=22 gs=28, bob bs=0 gs=0
trying alice bs=22 gs=29, bob bs=0 gs=0
trying alice bs=22 gs=30, bob bs=0 gs=0
trying alice bs=22 gs=31, bob bs=0 gs=0
trying alice bs=22 gs=32, bob bs=0 gs=0
trying alice bs=22 gs=33, bob bs=0 gs=0
trying alice bs=22 gs=34, bob bs=0 gs=0
trying alice bs=22 gs=35, bob bs=0 gs=0
trying alice bs=22 gs=36, bob bs=0 gs=0
trying alice bs=22 gs=37, bob bs=0 gs=0
trying alice bs=22 gs=38, bob bs=0 gs=0
trying alice bs=24 gs=6, bob bs=0 gs=0
trying alice bs=24 gs=7, bob bs=0 gs=0
trying alice bs=24 gs=8, bob bs=0 gs=0
trying alice bs=24 gs=9, bob bs=0 gs=0
trying alice bs=24 gs=10, bob bs=0 gs=0
trying alice bs=24 gs=11, bob bs=0 gs=0
trying alice bs=24 gs=12, bob bs=0 gs=0
trying alice bs=24 gs=13, bob bs=0 gs=0
trying alice bs=24 gs=14, bob bs=0 gs=0
trying alice bs=24 gs=15, bob bs=0 gs=0
trying alice bs=24 gs=16, bob bs=0 gs=0
trying alice bs=24 gs=17, bob bs=0 gs=0
trying alice bs=24 gs=18, bob bs=0 gs=0
trying alice bs=24 gs=19, bob bs=0 gs=0
trying alice bs=24 gs=20, bob bs=0 gs=0
trying alice bs=24 gs=21, bob bs=0 gs=0
trying alice bs=24 gs=22, bob bs=0 gs=0
trying alice bs=24 gs=23, bob bs=0 gs=0
trying alice bs=24 gs=24, bob bs=0 gs=0
trying alice bs=24 gs=25, bob bs=0 gs=0
trying alice bs=24 gs=26, bob bs=0 gs=0
trying alice bs=24 gs=27, bob bs=0 gs=0
trying alice bs=24 gs=28, bob bs=0 gs=0
trying alice bs=24 gs=29, bob bs=0 gs=0
trying alice bs=24 gs=30, bob bs=0 gs=0
trying alice bs=24 gs=31, bob bs=0 gs=0
trying alice bs=24 gs=32, bob bs=0 gs=0
trying alice bs=24 gs=33, bob bs=0 gs=0
trying alice bs=24 gs=34, bob bs=0 gs=0
trying alice bs=24 gs=35, bob bs=0 gs=0
trying alice bs=26 gs=7, bob bs=0 gs=0
trying alice bs=26 gs=8, bob bs=0 gs=0
trying alice bs=26 gs=9, bob bs=0 gs=0
trying alice bs=26 gs=10, bob bs=0 gs=0
trying alice bs=26 gs=11, bob bs=0 gs=0
trying alice bs=26 gs=12, bob bs=0 gs=0
trying alice bs=26 gs=13, bob bs=0 gs=0
trying alice bs=26 gs=14, bob bs=0 gs=0
trying alice bs=26 gs=15, bob bs=0 gs=0
trying alice bs=26 gs=16, bob bs=0 gs=0
trying alice bs=26 gs=17, bob bs=0 gs=0
trying alice bs=26 gs=18, bob bs=0 gs=0
trying alice bs=26 gs=19, bob bs=0 gs=0
trying alice bs=26 gs=20, bob bs=0 gs=0
trying alice bs=26 gs=21, bob bs=0 gs=0
trying alice bs=26 gs=22, bob bs=0 gs=0
trying alice bs=26 gs=23, bob bs=0 gs=0
trying alice bs=26 gs=24, bob bs=0 gs=0
trying alice bs=26 gs=25, bob bs=0 gs=0
trying alice bs=26 gs=26, bob bs=0 gs=0
trying alice bs=26 gs=27, bob bs=0 gs=0
trying alice bs=26 gs=28, bob bs=0 gs=0
trying alice bs=26 gs=29, bob bs=0 gs=0
trying alice bs=26 gs=30, bob bs=0 gs=0
trying alice bs=26 gs=31, bob bs=0 gs=0
trying alice bs=26 gs=32, bob bs=0 gs=0
trying alice bs=28 gs=7, bob bs=0 gs=0
trying alice bs=28 gs=8, bob bs=0 gs=0
trying alice bs=28 gs=9, bob bs=0 gs=0
trying alice bs=28 gs=10, bob bs=0 gs=0
trying alice bs=28 gs=11, bob bs=0 gs=0
trying alice bs=28 gs=12, bob bs=0 gs=0
trying alice bs=28 gs=13, bob bs=0 gs=0
trying alice bs=28 gs=14, bob bs=0 gs=0
trying alice bs=28 gs=15, bob bs=0 gs=0
trying alice bs=28 gs=16, bob bs=0 gs=0
trying alice bs=28 gs=17, bob bs=0 gs=0
trying alice bs=28 gs=18, bob bs=0 gs=0
trying alice bs=28 gs=19, bob bs=0 gs=0
trying alice bs=28 gs=20, bob bs=0 gs=0
trying alice bs=28 gs=21, bob bs=0 gs=0
trying alice bs=28 gs=22, bob bs=0 gs=0
trying alice bs=28 gs=23, bob bs=0 gs=0
trying alice bs=28 gs=24, bob bs=0 gs=0
trying alice bs=28 gs=25, bob bs=0 gs=0
trying alice bs=28 gs=26, bob bs=0 gs=0
trying alice bs=28 gs=27, bob bs=0 gs=0
trying alice bs=28 gs=28, bob bs=0 gs=0
trying alice bs=28 gs=29, bob bs=0 gs=0
trying alice bs=28 gs=30, bob bs=0 gs=0
trying alice bs=30 gs=8, bob bs=0 gs=0
trying alice bs=30 gs=9, bob bs=0 gs=0
trying alice bs=30 gs=10, bob bs=0 gs=0
trying alice bs=30 gs=11, bob bs=0 gs=0
trying alice bs=30 gs=12, bob bs=0 gs=0
trying alice bs=30 gs=13, bob bs=0 gs=0
trying alice bs=30 gs=14, bob bs=0 gs=0
trying alice bs=30 gs=15, bob bs=0 gs=0
trying alice bs=30 gs=16, bob bs=0 gs=0
trying alice bs=30 gs=17, bob bs=0 gs=0
trying alice bs=30 gs=18, bob bs=0 gs=0
trying alice bs=30 gs=19, bob bs=0 gs=0
trying alice bs=30 gs=20, bob bs=0 gs=0
trying alice bs=30 gs=21, bob bs=0 gs=0
trying alice bs=30 gs=22, bob bs=0 gs=0
trying alice bs=30 gs=23, bob bs=0 gs=0
trying alice bs=30 gs=24, bob bs=0 gs=0
trying alice bs=30 gs=25, bob bs=0 gs=0
trying alice bs=30 gs=26, bob bs=0 gs=0
trying alice bs=30 gs=27, bob bs=0 gs=0
trying alice bs=30 gs=28, bob bs=0 gs=0
trying alice bs=32 gs=8, bob bs=0 gs=0
trying alice bs=32 gs=9, bob bs=0 gs=0
trying alice bs=32 gs=10, bob bs=0 gs=0
trying alice bs=32 gs=11, bob bs=0 gs=0
trying alice bs=32 gs=12, bob bs=0 gs=0
trying alice bs=32 gs=13, bob bs=0 gs=0
trying alice bs=32 gs=14, bob bs=0 gs=0
trying alice bs=32 gs=15, bob bs=0 gs=0
trying alice bs=32 gs=16, bob bs=0 gs=0
trying alice bs=32 gs=17, bob bs=0 gs=0
trying alice bs=32 gs=18, bob bs=0 gs=0
trying alice bs=32 gs=19, bob bs=0 gs=0
trying alice bs=32 gs=20, bob bs=0 gs=0
trying alice bs=32 gs=21, bob bs=0 gs=0
trying alice bs=32 gs=22, bob bs=0 gs=0
trying alice bs=32 gs=23, bob bs=0 gs=0
trying alice bs=32 gs=24, bob bs=0 gs=0
trying alice bs=32 gs=25, bob bs=0 gs=0
trying alice bs=32 gs=26, bob bs=0 gs=0
trying alice bs=34 gs=9, bob bs=0 gs=0
trying alice bs=34 gs=10, bob bs=0 gs=0
trying alice bs=34 gs=11, bob bs=0 gs=0
trying alice bs=34 gs=12, bob bs=0 gs=0
trying alice bs=34 gs=13, bob bs=0 gs=0
trying alice bs=34 gs=14, bob bs=0 gs=0
trying alice bs=34 gs=15, bob bs=0 gs=0
trying alice bs=34 gs=16, bob bs=0 gs=0
trying alice bs=34 gs=17, bob bs=0 gs=0
trying alice bs=34 gs=18, bob bs=0 gs=0
trying alice bs=34 gs=19, bob bs=0 gs=0
trying alice bs=34 gs=20, bob bs=0 gs=0
trying alice bs=34 gs=21, bob bs=0 gs=0
trying alice bs=34 gs=22, bob bs=0 gs=0
trying alice bs=34 gs=23, bob bs=0 gs=0
trying alice bs=34 gs=24, bob bs=0 gs=0
trying alice bs=34 gs=25, bob bs=0 gs=0
trying alice bs=36 gs=9, bob bs=0 gs=0
trying alice bs=36 gs=10, bob bs=0 gs=0
trying alice bs=36 gs=11, bob bs=0 gs=0
trying alice bs=36 gs=12, bob bs=0 gs=0
trying alice bs=36 gs=13, bob bs=0 gs=0
trying alice bs=36 gs=14, bob bs=0 gs=0
trying alice bs=36 gs=15, bob bs=0 gs=0
trying alice bs=36 gs=16, bob bs=0 gs=0
trying alice bs=36 gs=17, bob bs=0 gs=0
trying alice bs=36 gs=18, bob bs=0 gs=0
trying alice bs=36 gs=19, bob bs=0 gs=0
trying alice bs=36 gs=20, bob bs=0 gs=0
trying alice bs=36 gs=21, bob bs=0 gs=0
trying alice bs=36 gs=22, bob bs=0 gs=0
trying alice bs=36 gs=23, bob bs=0 gs=0
trying alice bs=38 gs=10, bob bs=0 gs=0
trying alice bs=38 gs=11, bob bs=0 gs=0
trying alice bs=38 gs=12, bob bs=0 gs=0
trying alice bs=38 gs=13, bob bs=0 gs=0
trying alice bs=38 gs=14, bob bs=0 gs=0
trying alice bs=38 gs=15, bob bs=0 gs=0
trying alice bs=38 gs=16, bob bs=0 gs=0
trying alice bs=38 gs=17, bob bs=0 gs=0
trying alice bs=38 gs=18, bob bs=0 gs=0
trying alice bs=38 gs=19, bob bs=0 gs=0
trying alice bs=38 gs=20, bob bs=0 gs=0
trying alice bs=38 gs=21, bob bs=0 gs=0
trying alice bs=38 gs=22, bob bs=0 gs=0
trying alice bs=40 gs=10, bob bs=0 gs=0
trying alice bs=40 gs=11, bob bs=0 gs=0
trying alice bs=40 gs=12, bob bs=0 gs=0
trying alice bs=40 gs=13, bob bs=0 gs=0
trying alice bs=40 gs=14, bob bs=0 gs=0
trying alice bs=40 gs=15, bob bs=0 gs=0
trying alice bs=40 gs=16, bob bs=0 gs=0
trying alice bs=40 gs=17, bob bs=0 gs=0
trying alice bs=40 gs=18, bob bs=0 gs=0
trying alice bs=40 gs=19, bob bs=0 gs=0
trying alice bs=40 gs=20, bob bs=0 gs=0
trying alice bs=40 gs=21, bob bs=0 gs=0
trying alice bs=42 gs=11, bob bs=0 gs=0
trying alice bs=42 gs=12, bob bs=0 gs=0
trying alice bs=42 gs=13, bob bs=0 gs=0
trying alice bs=42 gs=14, bob bs=0 gs=0
trying alice bs=42 gs=15, bob bs=0 gs=0
trying alice bs=42 gs=16, bob bs=0 gs=0
trying alice bs=42 gs=17, bob bs=0 gs=0
trying alice bs=42 gs=18, bob bs=0 gs=0
trying alice bs=42 gs=19, bob bs=0 gs=0
trying alice bs=42 gs=20, bob bs=0 gs=0
trying alice bs=44 gs=11, bob bs=0 gs=0
trying alice bs=44 gs=12, bob bs=0 gs=0
trying alice bs=44 gs=13, bob bs=0 gs=0
trying alice bs=44 gs=14, bob bs=0 gs=0
trying alice bs=44 gs=15, bob bs=0 gs=0
trying alice bs=44 gs=16, bob bs=0 gs=0
trying alice bs=44 gs=17, bob bs=0 gs=0
trying alice bs=44 gs=18, bob bs=0 gs=0
trying alice bs=44 gs=19, bob bs=0 gs=0
trying alice bs=46 gs=12, bob bs=0 gs=0
trying alice bs=46 gs=13, bob bs=0 gs=0
trying alice bs=46 gs=14, bob bs=0 gs=0
trying alice bs=46 gs=15, bob bs=0 gs=0
trying alice bs=46 gs=16, bob bs=0 gs=0
trying alice bs=46 gs=17, bob bs=0 gs=0
trying alice bs=46 gs=18, bob bs=0 gs=0
trying alice bs=48 gs=12, bob bs=0 gs=0
trying alice bs=48 gs=13, bob bs=0 gs=0
trying alice bs=48 gs=14, bob bs=0 gs=0
trying alice bs=48 gs=15, bob bs=0 gs=0
trying alice bs=48 gs=16, bob bs=0 gs=0
trying alice bs=48 gs=17, bob bs=0 gs=0
trying alice bs=50 gs=13, bob bs=0 gs=0
trying alice bs=50 gs=14, bob bs=0 gs=0
trying alice bs=50 gs=15, bob bs=0 gs=0
trying alice bs=50 gs=16, bob bs=0 gs=0
trying alice bs=50 gs=17, bob bs=0 gs=0
trying alice bs=52 gs=13, bob bs=0 gs=0
trying alice bs=52 gs=14, bob bs=0 gs=0
trying alice bs=52 gs=15, bob bs=0 gs=0
trying alice bs=52 gs=16, bob bs=0 gs=0
trying alice bs=54 gs=14, bob bs=0 gs=0
trying alice bs=54 gs=15, bob bs=0 gs=0
trying alice bs=56 gs=14, bob bs=0 gs=0
trying alice bs=56 gs=15, bob bs=0 gs=0