-rw-r--r-- 6976 high-ctidh-20210523/test1024.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=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=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=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=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=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=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=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=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=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=28 gs=7, bob bs=0 gs=0
trying alice bs=28 gs=8, bob bs=0 gs=0
trying alice bs=30 gs=8, bob bs=0 gs=0