(105 -> playerspec["CaptainKarl2" "129.10.117.226" 2003]) (104 -> playerspec["PRX" "129.10.116.120" 2009]) round[1 playertrans[ 104 offer[707 secret (2 127 ) 0.999999] offer[706 secret (4 127 ) 0.999999] offer[705 secret (6 127 ) 0.999999] offer[704 secret (8 127 ) 0.999999] ] playertrans[ 105 offer[711 secret (38 ) 1.0] offer[710 secret (18 ) 1.0] offer[709 secret (98 ) 1.0] offer[708 secret (116 ) 1.0] reoffer[707 0.989899] ] ] round[2 playertrans[ 104 offer[715 secret (10 127 ) 0.999999] offer[714 secret (12 127 ) 0.999999] offer[713 secret (14 127 ) 0.999999] offer[712 secret (16 127 ) 0.999999] accept[710] accept[711] accept[708] accept[709] accept[707] ] [acceptor paid 0.989899 for challenge 707. acceptor: 104 offerer: 105 ] [acceptor paid 1.0 for challenge 709. acceptor: 104 offerer: 105 ] [acceptor paid 1.0 for challenge 708. acceptor: 104 offerer: 105 ] [acceptor paid 1.0 for challenge 711. acceptor: 104 offerer: 105 ] [acceptor paid 1.0 for challenge 710. acceptor: 104 offerer: 105 ] playertrans[ 105 offer[719 secret (100 ) 1.0] offer[718 secret (96 ) 1.0] offer[717 secret (22 ) 1.0] offer[716 secret (80 ) 1.0] reoffer[714 0.989899] provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21 (2 {1} v7 v8 v9 ) (2 {1} v4 v5 v6 ) (2 {1} v17 v18 v19 ) (2 {1} v19 v20 v21 ) (2 {1} v1 v2 v3 ) (2 {1} v6 v7 v8 ) (2 {1} v14 v15 v16 ) (2 {1} v16 v17 v18 ) (2 {1} v15 v16 v17 ) (2 {1} v3 v4 v5 ) [ ] 707] provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21 (98 {1} v15 v16 v17 ) (98 {1} v4 v5 v6 ) (98 {1} v12 v13 v14 ) (98 {1} v0 v1 v2 ) (98 {1} v21 v0 v1 ) (98 {1} v10 v11 v12 ) (98 {1} v16 v17 v18 ) (98 {1} v13 v14 v15 ) (98 {1} v16 v17 v18 ) (98 {1} v19 v20 v21 ) [ ] 709] provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21 (116 {1} v20 v21 v0 ) (116 {1} v6 v7 v8 ) (116 {1} v12 v13 v14 ) (116 {1} v7 v8 v9 ) (116 {1} v16 v17 v18 ) (116 {1} v9 v10 v11 ) (116 {1} v14 v15 v16 ) (116 {1} v15 v16 v17 ) (116 {1} v0 v1 v2 ) (116 {1} v16 v17 v18 ) [ ] 708] provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21 (38 {1} v1 v2 v3 ) (38 {1} v17 v18 v19 ) (38 {1} v0 v1 v2 ) (38 {1} v19 v20 v21 ) (38 {1} v6 v7 v8 ) (38 {1} v9 v10 v11 ) (38 {1} v8 v9 v10 ) (38 {1} v2 v3 v4 ) (38 {1} v14 v15 v16 ) (38 {1} v16 v17 v18 ) [ ] 711] provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21 (18 {1} v7 v8 v9 ) (18 {1} v15 v16 v17 ) (18 {1} v15 v16 v17 ) (18 {1} v21 v0 v1 ) (18 {1} v14 v15 v16 ) (18 {1} v1 v2 v3 ) (18 {1} v15 v16 v17 ) (18 {1} v5 v6 v7 ) (18 {1} v1 v2 v3 ) (18 {1} v1 v2 v3 ) [ ] 710] ] ] round[3 playertrans[ 104 offer[723 secret (2 127 ) 0.999999] offer[722 secret (18 127 ) 0.999999] offer[721 secret (20 127 ) 0.999999] offer[720 secret (22 127 ) 0.999999] accept[718] accept[719] accept[716] accept[717] accept[714] solve[[ (v0 -> false) (v1 -> true) (v10 -> false) (v11 -> true) (v12 -> false) (v13 -> true) (v14 -> true) (v15 -> false) (v16 -> true) (v17 -> false) (v18 -> false) (v19 -> true) (v2 -> false) (v20 -> false) (v21 -> false) (v3 -> false) (v4 -> false) (v5 -> false) (v6 -> true) (v7 -> true) (v8 -> false) (v9 -> false) ] 707] solve[[ (v0 -> false) (v1 -> true) (v10 -> true) (v11 -> false) (v12 -> true) (v13 -> false) (v14 -> true) (v15 -> true) (v16 -> true) (v17 -> false) (v18 -> true) (v19 -> false) (v2 -> true) (v20 -> true) (v21 -> true) (v3 -> true) (v4 -> true) (v5 -> false) (v6 -> true) (v7 -> true) (v8 -> true) (v9 -> false) ] 709] solve[[ (v0 -> true) (v1 -> false) (v10 -> true) (v11 -> false) (v12 -> false) (v13 -> true) (v14 -> false) (v15 -> true) (v16 -> false) (v17 -> true) (v18 -> false) (v19 -> true) (v2 -> true) (v20 -> false) (v21 -> true) (v3 -> false) (v4 -> true) (v5 -> true) (v6 -> false) (v7 -> false) (v8 -> true) (v9 -> false) ] 708] solve[[ (v0 -> true) (v1 -> false) (v10 -> true) (v11 -> false) (v12 -> false) (v13 -> true) (v14 -> true) (v15 -> false) (v16 -> false) (v17 -> true) (v18 -> false) (v19 -> true) (v2 -> true) (v20 -> false) (v21 -> false) (v3 -> false) (v4 -> false) (v5 -> true) (v6 -> false) (v7 -> false) (v8 -> true) (v9 -> false) ] 711] solve[[ (v0 -> false) (v1 -> true) (v10 -> false) (v11 -> false) (v12 -> true) (v13 -> true) (v14 -> false) (v15 -> true) (v16 -> false) (v17 -> false) (v18 -> true) (v19 -> false) (v2 -> false) (v20 -> false) (v21 -> false) (v3 -> false) (v4 -> true) (v5 -> false) (v6 -> false) (v7 -> true) (v8 -> false) (v9 -> false) ] 710] ] [secret revealed 710 : (v0 -> false) (v1 -> true) (v10 -> false) (v11 -> true) (v12 -> false) (v13 -> false) (v14 -> false) (v15 -> false) (v16 -> false) (v17 -> false) (v18 -> true) (v19 -> false) (v2 -> false) (v20 -> true) (v21 -> true) (v3 -> false) (v4 -> true) (v5 -> false) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> true) ] [acceptor received 2.8 for solving 0.9 of challenge 710. acceptor: 104 offerer: 105 ] [secret revealed 711 : (v0 -> false) (v1 -> false) (v10 -> true) (v11 -> false) (v12 -> false) (v13 -> true) (v14 -> true) (v15 -> true) (v16 -> true) (v17 -> false) (v18 -> false) (v19 -> true) (v2 -> true) (v20 -> false) (v21 -> true) (v3 -> false) (v4 -> false) (v5 -> false) (v6 -> true) (v7 -> true) (v8 -> false) (v9 -> false) ] [acceptor received 2.8 for solving 0.9 of challenge 711. acceptor: 104 offerer: 105 ] [secret revealed 708 : (v0 -> true) (v1 -> true) (v10 -> true) (v11 -> true) (v12 -> true) (v13 -> true) (v14 -> false) (v15 -> false) (v16 -> true) (v17 -> true) (v18 -> false) (v19 -> true) (v2 -> true) (v20 -> true) (v21 -> true) (v3 -> true) (v4 -> true) (v5 -> true) (v6 -> true) (v7 -> true) (v8 -> true) (v9 -> true) ] [acceptor received 3.0 for solving 1.0 of challenge 708. acceptor: 104 offerer: 105 ] [secret revealed 709 : (v0 -> false) (v1 -> true) (v10 -> false) (v11 -> false) (v12 -> false) (v13 -> false) (v14 -> false) (v15 -> true) (v16 -> false) (v17 -> false) (v18 -> false) (v19 -> false) (v2 -> false) (v20 -> false) (v21 -> false) (v3 -> false) (v4 -> false) (v5 -> true) (v6 -> true) (v7 -> false) (v8 -> true) (v9 -> true) ] [acceptor received 2.8 for solving 0.9 of challenge 709. acceptor: 104 offerer: 105 ] [secret revealed 707 : (v0 -> false) (v1 -> false) (v10 -> false) (v11 -> false) (v12 -> false) (v13 -> false) (v14 -> false) (v15 -> false) (v16 -> false) (v17 -> false) (v18 -> false) (v19 -> false) (v2 -> false) (v20 -> false) (v21 -> false) (v3 -> true) (v4 -> false) (v5 -> false) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> false) ] [acceptor received 1.7898990000000001 for solving 0.4 of challenge 707. acceptor: 104 offerer: 105 ] [acceptor paid 0.989899 for challenge 714. acceptor: 104 offerer: 105 ] [acceptor paid 1.0 for challenge 717. acceptor: 104 offerer: 105 ] [acceptor paid 1.0 for challenge 716. acceptor: 104 offerer: 105 ] [acceptor paid 1.0 for challenge 719. acceptor: 104 offerer: 105 ] [acceptor paid 1.0 for challenge 718. acceptor: 104 offerer: 105 ] playertrans[ 105 offer[727 secret (92 ) 1.0] offer[726 secret (106 ) 1.0] offer[725 secret (50 ) 1.0] offer[724 secret (72 ) 1.0] reoffer[712 0.989899] provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21 (12 {1} v7 v8 v9 ) (12 {1} v16 v17 v18 ) (12 {1} v5 v6 v7 ) (12 {1} v14 v15 v16 ) (12 {1} v4 v5 v6 ) (12 {1} v2 v3 v4 ) (12 {1} v9 v10 v11 ) (12 {1} v19 v20 v21 ) (12 {1} v2 v3 v4 ) (12 {1} v12 v13 v14 ) [ ] 714] provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21 (22 {1} v5 v6 v7 ) (22 {1} v2 v3 v4 ) (22 {1} v15 v16 v17 ) (22 {1} v14 v15 v16 ) (22 {1} v17 v18 v19 ) (22 {1} v9 v10 v11 ) (22 {1} v1 v2 v3 ) (22 {1} v21 v0 v1 ) (22 {1} v17 v18 v19 ) (22 {1} v12 v13 v14 ) [ ] 717] provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21 (80 {1} v21 v0 v1 ) (80 {1} v10 v11 v12 ) (80 {1} v18 v19 v20 ) (80 {1} v1 v2 v3 ) (80 {1} v3 v4 v5 ) (80 {1} v6 v7 v8 ) (80 {1} v13 v14 v15 ) (80 {1} v11 v12 v13 ) (80 {1} v3 v4 v5 ) (80 {1} v10 v11 v12 ) [ ] 716] provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21 (100 {1} v13 v14 v15 ) (100 {1} v20 v21 v0 ) (100 {1} v13 v14 v15 ) (100 {1} v18 v19 v20 ) (100 {1} v5 v6 v7 ) (100 {1} v16 v17 v18 ) (100 {1} v21 v0 v1 ) (100 {1} v14 v15 v16 ) (100 {1} v4 v5 v6 ) (100 {1} v16 v17 v18 ) [ ] 719] provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21 (96 {1} v21 v0 v1 ) (96 {1} v20 v21 v0 ) (96 {1} v0 v1 v2 ) (96 {1} v17 v18 v19 ) (96 {1} v8 v9 v10 ) (96 {1} v7 v8 v9 ) (96 {1} v5 v6 v7 ) (96 {1} v10 v11 v12 ) (96 {1} v3 v4 v5 ) (96 {1} v3 v4 v5 ) [ ] 718] ] ] round[4 playertrans[ 104 offer[731 secret (12 127 ) 0.999999] offer[730 secret (24 127 ) 0.999999] offer[729 secret (26 127 ) 0.999999] offer[728 secret (28 127 ) 0.999999] accept[727] accept[726] accept[725] accept[724] accept[712] solve[[ (v0 -> true) (v1 -> true) (v10 -> true) (v11 -> false) (v12 -> false) (v13 -> true) (v14 -> false) (v15 -> true) (v16 -> false) (v17 -> true) (v18 -> false) (v19 -> false) (v2 -> true) (v20 -> false) (v21 -> true) (v3 -> true) (v4 -> false) (v5 -> true) (v6 -> false) (v7 -> false) (v8 -> true) (v9 -> false) ] 714] solve[[ (v0 -> false) (v1 -> true) (v10 -> true) (v11 -> false) (v12 -> false) (v13 -> true) (v14 -> false) (v15 -> false) (v16 -> true) (v17 -> false) (v18 -> false) (v19 -> true) (v2 -> false) (v20 -> true) (v21 -> false) (v3 -> false) (v4 -> true) (v5 -> true) (v6 -> false) (v7 -> false) (v8 -> true) (v9 -> false) ] 717] solve[[ (v0 -> true) (v1 -> true) (v10 -> false) (v11 -> false) (v12 -> true) (v13 -> false) (v14 -> true) (v15 -> true) (v16 -> false) (v17 -> true) (v18 -> false) (v19 -> true) (v2 -> false) (v20 -> true) (v21 -> false) (v3 -> false) (v4 -> true) (v5 -> true) (v6 -> false) (v7 -> true) (v8 -> true) (v9 -> true) ] 716] solve[[ (v0 -> true) (v1 -> true) (v10 -> true) (v11 -> true) (v12 -> false) (v13 -> false) (v14 -> true) (v15 -> false) (v16 -> true) (v17 -> false) (v18 -> true) (v19 -> false) (v2 -> false) (v20 -> true) (v21 -> false) (v3 -> true) (v4 -> false) (v5 -> true) (v6 -> false) (v7 -> true) (v8 -> false) (v9 -> false) ] 719] solve[[ (v0 -> false) (v1 -> true) (v10 -> true) (v11 -> false) (v12 -> false) (v13 -> false) (v14 -> true) (v15 -> true) (v16 -> true) (v17 -> true) (v18 -> true) (v19 -> true) (v2 -> true) (v20 -> false) (v21 -> true) (v3 -> false) (v4 -> true) (v5 -> true) (v6 -> false) (v7 -> true) (v8 -> false) (v9 -> true) ] 718] ] [secret revealed 718 : (v0 -> false) (v1 -> true) (v10 -> false) (v11 -> false) (v12 -> false) (v13 -> false) (v14 -> true) (v15 -> false) (v16 -> false) (v17 -> false) (v18 -> true) (v19 -> true) (v2 -> true) (v20 -> false) (v21 -> true) (v3 -> false) (v4 -> false) (v5 -> false) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> true) ] [acceptor received 2.4 for solving 0.7 of challenge 718. acceptor: 104 offerer: 105 ] [secret revealed 719 : (v0 -> true) (v1 -> true) (v10 -> true) (v11 -> true) (v12 -> true) (v13 -> true) (v14 -> true) (v15 -> true) (v16 -> true) (v17 -> true) (v18 -> true) (v19 -> true) (v2 -> true) (v20 -> true) (v21 -> true) (v3 -> true) (v4 -> true) (v5 -> true) (v6 -> true) (v7 -> true) (v8 -> true) (v9 -> true) ] [acceptor received 3.0 for solving 1.0 of challenge 719. acceptor: 104 offerer: 105 ] [secret revealed 716 : (v0 -> false) (v1 -> false) (v10 -> false) (v11 -> false) (v12 -> false) (v13 -> false) (v14 -> true) (v15 -> false) (v16 -> true) (v17 -> false) (v18 -> true) (v19 -> true) (v2 -> true) (v20 -> false) (v21 -> false) (v3 -> false) (v4 -> false) (v5 -> false) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> true) ] [acceptor received 2.6 for solving 0.8 of challenge 716. acceptor: 104 offerer: 105 ] [secret revealed 717 : (v0 -> true) (v1 -> false) (v10 -> false) (v11 -> false) (v12 -> true) (v13 -> true) (v14 -> true) (v15 -> false) (v16 -> false) (v17 -> true) (v18 -> false) (v19 -> true) (v2 -> true) (v20 -> true) (v21 -> false) (v3 -> false) (v4 -> false) (v5 -> true) (v6 -> true) (v7 -> true) (v8 -> true) (v9 -> true) ] [acceptor received 3.0 for solving 1.0 of challenge 717. acceptor: 104 offerer: 105 ] [secret revealed 714 : (v0 -> false) (v1 -> false) (v10 -> true) (v11 -> true) (v12 -> true) (v13 -> true) (v14 -> true) (v15 -> true) (v16 -> true) (v17 -> true) (v18 -> true) (v19 -> true) (v2 -> true) (v20 -> true) (v21 -> true) (v3 -> true) (v4 -> true) (v5 -> true) (v6 -> true) (v7 -> true) (v8 -> true) (v9 -> true) ] [acceptor received 2.589899 for solving 0.8 of challenge 714. acceptor: 104 offerer: 105 ] [acceptor paid 0.989899 for challenge 712. acceptor: 104 offerer: 105 ] [acceptor paid 1.0 for challenge 724. acceptor: 104 offerer: 105 ] [acceptor paid 1.0 for challenge 725. acceptor: 104 offerer: 105 ] [acceptor paid 1.0 for challenge 726. acceptor: 104 offerer: 105 ] [acceptor paid 1.0 for challenge 727. acceptor: 104 offerer: 105 ] playertrans[ 105 offer[735 secret (92 ) 1.0] offer[734 secret (34 ) 1.0] offer[733 secret (56 ) 1.0] offer[732 secret (2 ) 1.0] reoffer[715 0.989899] provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21 (16 {1} v21 v0 v1 ) (16 {1} v9 v10 v11 ) (16 {1} v17 v18 v19 ) (16 {1} v10 v11 v12 ) (16 {1} v11 v12 v13 ) (16 {1} v15 v16 v17 ) (16 {1} v10 v11 v12 ) (16 {1} v19 v20 v21 ) (16 {1} v2 v3 v4 ) (16 {1} v8 v9 v10 ) [ ] 712] provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21 (72 {1} v8 v9 v10 ) (72 {1} v16 v17 v18 ) (72 {1} v9 v10 v11 ) (72 {1} v13 v14 v15 ) (72 {1} v8 v9 v10 ) (72 {1} v1 v2 v3 ) (72 {1} v14 v15 v16 ) (72 {1} v2 v3 v4 ) (72 {1} v7 v8 v9 ) (72 {1} v3 v4 v5 ) [ ] 724] provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21 (50 {1} v11 v12 v13 ) (50 {1} v19 v20 v21 ) (50 {1} v14 v15 v16 ) (50 {1} v2 v3 v4 ) (50 {1} v13 v14 v15 ) (50 {1} v21 v0 v1 ) (50 {1} v6 v7 v8 ) (50 {1} v1 v2 v3 ) (50 {1} v6 v7 v8 ) (50 {1} v6 v7 v8 ) [ ] 725] provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21 (106 {1} v17 v18 v19 ) (106 {1} v2 v3 v4 ) (106 {1} v14 v15 v16 ) (106 {1} v14 v15 v16 ) (106 {1} v4 v5 v6 ) (106 {1} v8 v9 v10 ) (106 {1} v2 v3 v4 ) (106 {1} v18 v19 v20 ) (106 {1} v9 v10 v11 ) (106 {1} v6 v7 v8 ) [ ] 726] provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21 (92 {1} v8 v9 v10 ) (92 {1} v19 v20 v21 ) (92 {1} v1 v2 v3 ) (92 {1} v10 v11 v12 ) (92 {1} v11 v12 v13 ) (92 {1} v13 v14 v15 ) (92 {1} v17 v18 v19 ) (92 {1} v18 v19 v20 ) (92 {1} v21 v0 v1 ) (92 {1} v5 v6 v7 ) [ ] 727] ] ] round[5 playertrans[ 104 offer[739 secret (16 127 ) 0.999999] offer[738 secret (30 127 ) 0.999999] offer[737 secret (32 127 ) 0.999999] offer[736 secret (34 127 ) 0.999999] accept[735] accept[734] accept[733] accept[732] accept[715] solve[[ (v0 -> false) (v1 -> false) (v10 -> false) (v11 -> false) (v12 -> true) (v13 -> false) (v14 -> false) (v15 -> false) (v16 -> false) (v17 -> true) (v18 -> false) (v19 -> false) (v2 -> false) (v20 -> false) (v21 -> true) (v3 -> true) (v4 -> true) (v5 -> true) (v6 -> true) (v7 -> true) (v8 -> false) (v9 -> false) ] 712] solve[[ (v0 -> true) (v1 -> false) (v10 -> true) (v11 -> true) (v12 -> false) (v13 -> false) (v14 -> true) (v15 -> true) (v16 -> false) (v17 -> true) (v18 -> true) (v19 -> true) (v2 -> false) (v20 -> true) (v21 -> true) (v3 -> true) (v4 -> true) (v5 -> false) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> true) ] 724] solve[[ (v0 -> false) (v1 -> false) (v10 -> true) (v11 -> true) (v12 -> false) (v13 -> true) (v14 -> false) (v15 -> false) (v16 -> true) (v17 -> false) (v18 -> true) (v19 -> true) (v2 -> true) (v20 -> false) (v21 -> true) (v3 -> false) (v4 -> false) (v5 -> true) (v6 -> true) (v7 -> false) (v8 -> false) (v9 -> false) ] 725] solve[[ (v0 -> true) (v1 -> true) (v10 -> true) (v11 -> false) (v12 -> false) (v13 -> false) (v14 -> false) (v15 -> true) (v16 -> true) (v17 -> true) (v18 -> true) (v19 -> false) (v2 -> false) (v20 -> false) (v21 -> true) (v3 -> true) (v4 -> true) (v5 -> false) (v6 -> true) (v7 -> false) (v8 -> false) (v9 -> true) ] 726] solve[[ (v0 -> true) (v1 -> false) (v10 -> false) (v11 -> false) (v12 -> true) (v13 -> true) (v14 -> true) (v15 -> false) (v16 -> true) (v17 -> false) (v18 -> false) (v19 -> true) (v2 -> true) (v20 -> true) (v21 -> false) (v3 -> true) (v4 -> true) (v5 -> true) (v6 -> false) (v7 -> false) (v8 -> true) (v9 -> true) ] 727] ] [secret revealed 727 : (v0 -> true) (v1 -> true) (v10 -> true) (v11 -> false) (v12 -> false) (v13 -> false) (v14 -> true) (v15 -> true) (v16 -> true) (v17 -> true) (v18 -> true) (v19 -> true) (v2 -> true) (v20 -> true) (v21 -> false) (v3 -> true) (v4 -> true) (v5 -> false) (v6 -> true) (v7 -> false) (v8 -> true) (v9 -> false) ] [acceptor received 2.8 for solving 0.9 of challenge 727. acceptor: 104 offerer: 105 ] [secret revealed 726 : (v0 -> false) (v1 -> false) (v10 -> false) (v11 -> false) (v12 -> false) (v13 -> false) (v14 -> true) (v15 -> true) (v16 -> false) (v17 -> false) (v18 -> false) (v19 -> true) (v2 -> false) (v20 -> false) (v21 -> true) (v3 -> true) (v4 -> true) (v5 -> false) (v6 -> false) (v7 -> true) (v8 -> false) (v9 -> false) ] [acceptor received 3.0 for solving 1.0 of challenge 726. acceptor: 104 offerer: 105 ] [secret revealed 725 : (v0 -> false) (v1 -> true) (v10 -> false) (v11 -> false) (v12 -> true) (v13 -> true) (v14 -> true) (v15 -> true) (v16 -> false) (v17 -> false) (v18 -> false) (v19 -> true) (v2 -> false) (v20 -> false) (v21 -> false) (v3 -> true) (v4 -> false) (v5 -> false) (v6 -> false) (v7 -> true) (v8 -> false) (v9 -> true) ] [acceptor received 2.8 for solving 0.9 of challenge 725. acceptor: 104 offerer: 105 ] [secret revealed 724 : (v0 -> true) (v1 -> true) (v10 -> true) (v11 -> true) (v12 -> true) (v13 -> true) (v14 -> true) (v15 -> false) (v16 -> true) (v17 -> true) (v18 -> true) (v19 -> false) (v2 -> true) (v20 -> true) (v21 -> true) (v3 -> true) (v4 -> true) (v5 -> true) (v6 -> false) (v7 -> false) (v8 -> true) (v9 -> true) ] [acceptor received 2.4 for solving 0.7 of challenge 724. acceptor: 104 offerer: 105 ] [secret revealed 712 : (v0 -> false) (v1 -> false) (v10 -> false) (v11 -> false) (v12 -> false) (v13 -> false) (v14 -> false) (v15 -> true) (v16 -> false) (v17 -> false) (v18 -> true) (v19 -> true) (v2 -> false) (v20 -> false) (v21 -> false) (v3 -> false) (v4 -> true) (v5 -> false) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> false) ] [acceptor received 1.7898990000000001 for solving 0.4 of challenge 712. acceptor: 104 offerer: 105 ] [acceptor paid 0.989899 for challenge 715. acceptor: 104 offerer: 105 ] [acceptor paid 1.0 for challenge 732. acceptor: 104 offerer: 105 ] [acceptor paid 1.0 for challenge 733. acceptor: 104 offerer: 105 ] [acceptor paid 1.0 for challenge 734. acceptor: 104 offerer: 105 ] [acceptor paid 1.0 for challenge 735. acceptor: 104 offerer: 105 ] playertrans[ 105 offer[743 secret (24 ) 1.0] offer[742 secret (6 ) 1.0] offer[741 secret (90 ) 1.0] offer[740 secret (38 ) 1.0] reoffer[730 0.989899] provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21 (10 {1} v9 v10 v11 ) (10 {1} v11 v12 v13 ) (10 {1} v3 v4 v5 ) (10 {1} v4 v5 v6 ) (10 {1} v12 v13 v14 ) (10 {1} v4 v5 v6 ) (10 {1} v18 v19 v20 ) (10 {1} v21 v0 v1 ) (10 {1} v18 v19 v20 ) (10 {1} v3 v4 v5 ) [ ] 715] provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21 (2 {1} v14 v15 v16 ) (2 {1} v4 v5 v6 ) (2 {1} v12 v13 v14 ) (2 {1} v17 v18 v19 ) (2 {1} v12 v13 v14 ) (2 {1} v7 v8 v9 ) (2 {1} v11 v12 v13 ) (2 {1} v5 v6 v7 ) (2 {1} v19 v20 v21 ) (2 {1} v1 v2 v3 ) [ ] 732] provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21 (56 {1} v15 v16 v17 ) (56 {1} v14 v15 v16 ) (56 {1} v21 v0 v1 ) (56 {1} v0 v1 v2 ) (56 {1} v19 v20 v21 ) (56 {1} v6 v7 v8 ) (56 {1} v1 v2 v3 ) (56 {1} v18 v19 v20 ) (56 {1} v21 v0 v1 ) (56 {1} v17 v18 v19 ) [ ] 733] provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21 (34 {1} v3 v4 v5 ) (34 {1} v8 v9 v10 ) (34 {1} v12 v13 v14 ) (34 {1} v2 v3 v4 ) (34 {1} v8 v9 v10 ) (34 {1} v11 v12 v13 ) (34 {1} v19 v20 v21 ) (34 {1} v6 v7 v8 ) (34 {1} v17 v18 v19 ) (34 {1} v4 v5 v6 ) [ ] 734] provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21 (92 {1} v8 v9 v10 ) (92 {1} v13 v14 v15 ) (92 {1} v5 v6 v7 ) (92 {1} v15 v16 v17 ) (92 {1} v1 v2 v3 ) (92 {1} v10 v11 v12 ) (92 {1} v0 v1 v2 ) (92 {1} v8 v9 v10 ) (92 {1} v0 v1 v2 ) (92 {1} v5 v6 v7 ) [ ] 735] ] ] round[6 playertrans[ 104 offer[747 secret (10 127 ) 0.999999] offer[746 secret (36 127 ) 0.999999] offer[745 secret (38 127 ) 0.999999] offer[744 secret (40 127 ) 0.999999] accept[740] accept[741] accept[742] accept[743] accept[730] solve[[ (v0 -> false) (v1 -> false) (v10 -> true) (v11 -> true) (v12 -> false) (v13 -> false) (v14 -> true) (v15 -> false) (v16 -> false) (v17 -> false) (v18 -> true) (v19 -> true) (v2 -> false) (v20 -> false) (v21 -> true) (v3 -> true) (v4 -> true) (v5 -> false) (v6 -> false) (v7 -> false) (v8 -> true) (v9 -> false) ] 715] solve[[ (v0 -> true) (v1 -> true) (v10 -> true) (v11 -> false) (v12 -> true) (v13 -> false) (v14 -> false) (v15 -> true) (v16 -> false) (v17 -> true) (v18 -> true) (v19 -> false) (v2 -> false) (v20 -> true) (v21 -> true) (v3 -> false) (v4 -> true) (v5 -> false) (v6 -> false) (v7 -> true) (v8 -> false) (v9 -> false) ] 732] solve[[ (v0 -> false) (v1 -> true) (v10 -> true) (v11 -> true) (v12 -> false) (v13 -> false) (v14 -> true) (v15 -> true) (v16 -> false) (v17 -> true) (v18 -> true) (v19 -> true) (v2 -> true) (v20 -> false) (v21 -> true) (v3 -> false) (v4 -> false) (v5 -> true) (v6 -> false) (v7 -> false) (v8 -> true) (v9 -> false) ] 733] solve[[ (v0 -> false) (v1 -> true) (v10 -> true) (v11 -> false) (v12 -> true) (v13 -> false) (v14 -> false) (v15 -> true) (v16 -> true) (v17 -> true) (v18 -> false) (v19 -> true) (v2 -> true) (v20 -> true) (v21 -> false) (v3 -> false) (v4 -> true) (v5 -> false) (v6 -> true) (v7 -> false) (v8 -> true) (v9 -> false) ] 734] solve[[ (v0 -> false) (v1 -> false) (v10 -> false) (v11 -> false) (v12 -> true) (v13 -> true) (v14 -> true) (v15 -> false) (v16 -> true) (v17 -> true) (v18 -> true) (v19 -> false) (v2 -> true) (v20 -> true) (v21 -> false) (v3 -> true) (v4 -> true) (v5 -> false) (v6 -> false) (v7 -> true) (v8 -> true) (v9 -> true) ] 735] ] [secret revealed 735 : (v0 -> true) (v1 -> true) (v10 -> true) (v11 -> true) (v12 -> true) (v13 -> true) (v14 -> true) (v15 -> true) (v16 -> true) (v17 -> false) (v18 -> true) (v19 -> true) (v2 -> true) (v20 -> true) (v21 -> false) (v3 -> false) (v4 -> false) (v5 -> true) (v6 -> true) (v7 -> false) (v8 -> true) (v9 -> true) ] [acceptor received 3.0 for solving 1.0 of challenge 735. acceptor: 104 offerer: 105 ] [secret revealed 734 : (v0 -> true) (v1 -> false) (v10 -> false) (v11 -> false) (v12 -> false) (v13 -> false) (v14 -> true) (v15 -> false) (v16 -> false) (v17 -> false) (v18 -> false) (v19 -> true) (v2 -> false) (v20 -> false) (v21 -> true) (v3 -> false) (v4 -> false) (v5 -> false) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> false) ] [acceptor received 2.4 for solving 0.7 of challenge 734. acceptor: 104 offerer: 105 ] [secret revealed 733 : (v0 -> false) (v1 -> false) (v10 -> true) (v11 -> false) (v12 -> true) (v13 -> true) (v14 -> true) (v15 -> false) (v16 -> false) (v17 -> false) (v18 -> true) (v19 -> true) (v2 -> false) (v20 -> false) (v21 -> false) (v3 -> false) (v4 -> false) (v5 -> false) (v6 -> true) (v7 -> false) (v8 -> false) (v9 -> true) ] [acceptor received 2.6 for solving 0.8 of challenge 733. acceptor: 104 offerer: 105 ] [secret revealed 732 : (v0 -> false) (v1 -> false) (v10 -> false) (v11 -> false) (v12 -> false) (v13 -> false) (v14 -> true) (v15 -> false) (v16 -> true) (v17 -> false) (v18 -> false) (v19 -> true) (v2 -> false) (v20 -> false) (v21 -> false) (v3 -> false) (v4 -> false) (v5 -> false) (v6 -> false) (v7 -> true) (v8 -> false) (v9 -> true) ] [acceptor received 2.0 for solving 0.5 of challenge 732. acceptor: 104 offerer: 105 ] [secret revealed 715 : (v0 -> true) (v1 -> false) (v10 -> false) (v11 -> false) (v12 -> false) (v13 -> true) (v14 -> false) (v15 -> true) (v16 -> false) (v17 -> false) (v18 -> false) (v19 -> false) (v2 -> false) (v20 -> false) (v21 -> false) (v3 -> true) (v4 -> true) (v5 -> true) (v6 -> false) (v7 -> true) (v8 -> false) (v9 -> false) ] [acceptor received 2.589899 for solving 0.8 of challenge 715. acceptor: 104 offerer: 105 ] [acceptor paid 0.989899 for challenge 730. acceptor: 104 offerer: 105 ] [acceptor paid 1.0 for challenge 743. acceptor: 104 offerer: 105 ] [acceptor paid 1.0 for challenge 742. acceptor: 104 offerer: 105 ] [acceptor paid 1.0 for challenge 741. acceptor: 104 offerer: 105 ] [acceptor paid 1.0 for challenge 740. acceptor: 104 offerer: 105 ] playertrans[ 105 offer[751 secret (50 ) 1.0] offer[750 secret (42 ) 1.0] offer[749 secret (48 ) 1.0] offer[748 secret (90 ) 1.0] reoffer[706 0.989899] provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21 (24 {1} v21 v0 v1 ) (24 {1} v4 v5 v6 ) (24 {1} v1 v2 v3 ) (24 {1} v5 v6 v7 ) (24 {1} v7 v8 v9 ) (24 {1} v15 v16 v17 ) (24 {1} v6 v7 v8 ) (24 {1} v5 v6 v7 ) (24 {1} v10 v11 v12 ) (24 {1} v18 v19 v20 ) [ ] 730] provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21 (24 {1} v12 v13 v14 ) (24 {1} v2 v3 v4 ) (24 {1} v20 v21 v0 ) (24 {1} v5 v6 v7 ) (24 {1} v19 v20 v21 ) (24 {1} v6 v7 v8 ) (24 {1} v21 v0 v1 ) (24 {1} v0 v1 v2 ) (24 {1} v19 v20 v21 ) (24 {1} v1 v2 v3 ) [ ] 743] provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21 (6 {1} v16 v17 v18 ) (6 {1} v20 v21 v0 ) (6 {1} v16 v17 v18 ) (6 {1} v14 v15 v16 ) (6 {1} v20 v21 v0 ) (6 {1} v20 v21 v0 ) (6 {1} v16 v17 v18 ) (6 {1} v15 v16 v17 ) (6 {1} v20 v21 v0 ) (6 {1} v14 v15 v16 ) [ ] 742] provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21 (90 {1} v5 v6 v7 ) (90 {1} v11 v12 v13 ) (90 {1} v20 v21 v0 ) (90 {1} v10 v11 v12 ) (90 {1} v10 v11 v12 ) (90 {1} v17 v18 v19 ) (90 {1} v11 v12 v13 ) (90 {1} v0 v1 v2 ) (90 {1} v13 v14 v15 ) (90 {1} v2 v3 v4 ) [ ] 741] provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21 (38 {1} v15 v16 v17 ) (38 {1} v14 v15 v16 ) (38 {1} v17 v18 v19 ) (38 {1} v1 v2 v3 ) (38 {1} v4 v5 v6 ) (38 {1} v10 v11 v12 ) (38 {1} v9 v10 v11 ) (38 {1} v10 v11 v12 ) (38 {1} v2 v3 v4 ) (38 {1} v20 v21 v0 ) [ ] 740] ] ] round[7 playertrans[ 104 offer[755 secret (24 127 ) 0.999999] offer[754 secret (42 127 ) 0.999999] offer[753 secret (44 127 ) 0.999999] offer[752 secret (46 127 ) 0.999999] accept[706] accept[748] accept[749] accept[750] accept[751] solve[[ (v0 -> false) (v1 -> true) (v10 -> false) (v11 -> false) (v12 -> true) (v13 -> true) (v14 -> false) (v15 -> true) (v16 -> true) (v17 -> false) (v18 -> false) (v19 -> false) (v2 -> true) (v20 -> true) (v21 -> false) (v3 -> true) (v4 -> false) (v5 -> true) (v6 -> true) (v7 -> false) (v8 -> false) (v9 -> true) ] 730] solve[[ (v0 -> false) (v1 -> true) (v10 -> false) (v11 -> false) (v12 -> true) (v13 -> true) (v14 -> false) (v15 -> false) (v16 -> false) (v17 -> false) (v18 -> false) (v19 -> true) (v2 -> true) (v20 -> true) (v21 -> false) (v3 -> false) (v4 -> false) (v5 -> true) (v6 -> true) (v7 -> false) (v8 -> false) (v9 -> true) ] 743] solve[[ (v0 -> false) (v1 -> true) (v10 -> false) (v11 -> true) (v12 -> true) (v13 -> false) (v14 -> true) (v15 -> false) (v16 -> false) (v17 -> true) (v18 -> false) (v19 -> true) (v2 -> false) (v20 -> false) (v21 -> true) (v3 -> true) (v4 -> true) (v5 -> false) (v6 -> true) (v7 -> true) (v8 -> true) (v9 -> false) ] 742] solve[[ (v0 -> false) (v1 -> false) (v10 -> false) (v11 -> true) (v12 -> true) (v13 -> false) (v14 -> true) (v15 -> true) (v16 -> false) (v17 -> true) (v18 -> false) (v19 -> false) (v2 -> true) (v20 -> true) (v21 -> false) (v3 -> true) (v4 -> false) (v5 -> false) (v6 -> true) (v7 -> true) (v8 -> true) (v9 -> false) ] 741] solve[[ (v0 -> false) (v1 -> false) (v10 -> true) (v11 -> false) (v12 -> true) (v13 -> true) (v14 -> false) (v15 -> true) (v16 -> false) (v17 -> false) (v18 -> true) (v19 -> false) (v2 -> true) (v20 -> false) (v21 -> true) (v3 -> false) (v4 -> false) (v5 -> false) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> false) ] 740] ] [secret revealed 740 : (v0 -> false) (v1 -> true) (v10 -> false) (v11 -> true) (v12 -> true) (v13 -> true) (v14 -> true) (v15 -> true) (v16 -> true) (v17 -> false) (v18 -> true) (v19 -> true) (v2 -> true) (v20 -> true) (v21 -> true) (v3 -> true) (v4 -> true) (v5 -> true) (v6 -> true) (v7 -> true) (v8 -> false) (v9 -> false) ] [acceptor received 2.8 for solving 0.9 of challenge 740. acceptor: 104 offerer: 105 ] [secret revealed 741 : (v0 -> false) (v1 -> false) (v10 -> true) (v11 -> false) (v12 -> false) (v13 -> false) (v14 -> false) (v15 -> false) (v16 -> false) (v17 -> true) (v18 -> false) (v19 -> true) (v2 -> false) (v20 -> false) (v21 -> false) (v3 -> false) (v4 -> false) (v5 -> true) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> false) ] [acceptor received 3.0 for solving 1.0 of challenge 741. acceptor: 104 offerer: 105 ] [secret revealed 742 : (v0 -> true) (v1 -> true) (v10 -> true) (v11 -> true) (v12 -> true) (v13 -> true) (v14 -> true) (v15 -> false) (v16 -> true) (v17 -> false) (v18 -> false) (v19 -> true) (v2 -> false) (v20 -> false) (v21 -> true) (v3 -> true) (v4 -> true) (v5 -> true) (v6 -> false) (v7 -> true) (v8 -> true) (v9 -> false) ] [acceptor received 2.8 for solving 0.9 of challenge 742. acceptor: 104 offerer: 105 ] [secret revealed 743 : (v0 -> true) (v1 -> false) (v10 -> true) (v11 -> true) (v12 -> false) (v13 -> false) (v14 -> true) (v15 -> true) (v16 -> true) (v17 -> true) (v18 -> true) (v19 -> false) (v2 -> true) (v20 -> true) (v21 -> true) (v3 -> false) (v4 -> false) (v5 -> true) (v6 -> false) (v7 -> true) (v8 -> true) (v9 -> true) ] [acceptor received 2.2 for solving 0.6 of challenge 743. acceptor: 104 offerer: 105 ] [secret revealed 730 : (v0 -> false) (v1 -> false) (v10 -> false) (v11 -> false) (v12 -> false) (v13 -> true) (v14 -> true) (v15 -> false) (v16 -> false) (v17 -> false) (v18 -> true) (v19 -> true) (v2 -> false) (v20 -> true) (v21 -> true) (v3 -> false) (v4 -> true) (v5 -> false) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> false) ] [acceptor received 2.3898989999999998 for solving 0.7 of challenge 730. acceptor: 104 offerer: 105 ] [acceptor paid 1.0 for challenge 751. acceptor: 104 offerer: 105 ] [acceptor paid 1.0 for challenge 750. acceptor: 104 offerer: 105 ] [acceptor paid 1.0 for challenge 749. acceptor: 104 offerer: 105 ] [acceptor paid 1.0 for challenge 748. acceptor: 104 offerer: 105 ] [acceptor paid 0.989899 for challenge 706. acceptor: 104 offerer: 105 ] playertrans[ 105 offer[759 secret (48 ) 1.0] offer[758 secret (76 ) 1.0] offer[757 secret (56 ) 1.0] offer[756 secret (22 ) 1.0] reoffer[747 0.989899] provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21 (50 {1} v7 v8 v9 ) (50 {1} v17 v18 v19 ) (50 {1} v6 v7 v8 ) (50 {1} v2 v3 v4 ) (50 {1} v3 v4 v5 ) (50 {1} v15 v16 v17 ) (50 {1} v19 v20 v21 ) (50 {1} v5 v6 v7 ) (50 {1} v3 v4 v5 ) (50 {1} v15 v16 v17 ) [ ] 751] provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21 (42 {1} v7 v8 v9 ) (42 {1} v8 v9 v10 ) (42 {1} v15 v16 v17 ) (42 {1} v15 v16 v17 ) (42 {1} v18 v19 v20 ) (42 {1} v15 v16 v17 ) (42 {1} v16 v17 v18 ) (42 {1} v2 v3 v4 ) (42 {1} v15 v16 v17 ) (42 {1} v18 v19 v20 ) [ ] 750] provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21 (48 {1} v11 v12 v13 ) (48 {1} v21 v0 v1 ) (48 {1} v6 v7 v8 ) (48 {1} v4 v5 v6 ) (48 {1} v7 v8 v9 ) (48 {1} v1 v2 v3 ) (48 {1} v12 v13 v14 ) (48 {1} v8 v9 v10 ) (48 {1} v16 v17 v18 ) (48 {1} v3 v4 v5 ) [ ] 749] provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21 (90 {1} v9 v10 v11 ) (90 {1} v17 v18 v19 ) (90 {1} v5 v6 v7 ) (90 {1} v14 v15 v16 ) (90 {1} v18 v19 v20 ) (90 {1} v1 v2 v3 ) (90 {1} v20 v21 v0 ) (90 {1} v3 v4 v5 ) (90 {1} v17 v18 v19 ) (90 {1} v0 v1 v2 ) [ ] 748] provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21 (4 {1} v17 v18 v19 ) (4 {1} v7 v8 v9 ) (4 {1} v13 v14 v15 ) (4 {1} v5 v6 v7 ) (4 {1} v17 v18 v19 ) (4 {1} v10 v11 v12 ) (4 {1} v17 v18 v19 ) (4 {1} v18 v19 v20 ) (4 {1} v21 v0 v1 ) (4 {1} v20 v21 v0 ) [ ] 706] ] ] round[8 playertrans[ 104 offer[763 secret (4 127 ) 0.999999] offer[762 secret (48 127 ) 0.999999] offer[761 secret (50 127 ) 0.999999] offer[760 secret (52 127 ) 0.999999] accept[757] accept[756] accept[759] accept[758] accept[747] solve[[ (v0 -> true) (v1 -> true) (v10 -> true) (v11 -> true) (v12 -> true) (v13 -> true) (v14 -> false) (v15 -> false) (v16 -> false) (v17 -> true) (v18 -> false) (v19 -> false) (v2 -> true) (v20 -> false) (v21 -> true) (v3 -> false) (v4 -> false) (v5 -> true) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> true) ] 751] solve[[ (v0 -> true) (v1 -> true) (v10 -> false) (v11 -> false) (v12 -> true) (v13 -> false) (v14 -> true) (v15 -> true) (v16 -> true) (v17 -> false) (v18 -> true) (v19 -> false) (v2 -> true) (v20 -> true) (v21 -> false) (v3 -> false) (v4 -> true) (v5 -> false) (v6 -> true) (v7 -> true) (v8 -> true) (v9 -> false) ] 750] solve[[ (v0 -> false) (v1 -> true) (v10 -> true) (v11 -> false) (v12 -> true) (v13 -> false) (v14 -> true) (v15 -> true) (v16 -> true) (v17 -> false) (v18 -> true) (v19 -> false) (v2 -> true) (v20 -> false) (v21 -> true) (v3 -> true) (v4 -> false) (v5 -> true) (v6 -> false) (v7 -> false) (v8 -> true) (v9 -> false) ] 749] solve[[ (v0 -> true) (v1 -> false) (v10 -> false) (v11 -> true) (v12 -> false) (v13 -> true) (v14 -> false) (v15 -> false) (v16 -> true) (v17 -> false) (v18 -> true) (v19 -> true) (v2 -> false) (v20 -> false) (v21 -> false) (v3 -> true) (v4 -> false) (v5 -> false) (v6 -> false) (v7 -> true) (v8 -> true) (v9 -> false) ] 748] solve[[ (v0 -> false) (v1 -> true) (v10 -> false) (v11 -> true) (v12 -> false) (v13 -> false) (v14 -> true) (v15 -> true) (v16 -> false) (v17 -> false) (v18 -> true) (v19 -> false) (v2 -> true) (v20 -> false) (v21 -> true) (v3 -> false) (v4 -> true) (v5 -> true) (v6 -> true) (v7 -> false) (v8 -> true) (v9 -> false) ] 706] ] [secret revealed 706 : (v0 -> true) (v1 -> true) (v10 -> true) (v11 -> true) (v12 -> true) (v13 -> true) (v14 -> true) (v15 -> true) (v16 -> true) (v17 -> true) (v18 -> true) (v19 -> true) (v2 -> true) (v20 -> true) (v21 -> true) (v3 -> true) (v4 -> true) (v5 -> true) (v6 -> true) (v7 -> true) (v8 -> true) (v9 -> true) ] [acceptor received 2.189899 for solving 0.6 of challenge 706. acceptor: 104 offerer: 105 ] [secret revealed 748 : (v0 -> false) (v1 -> false) (v10 -> true) (v11 -> true) (v12 -> true) (v13 -> true) (v14 -> true) (v15 -> false) (v16 -> false) (v17 -> true) (v18 -> false) (v19 -> true) (v2 -> true) (v20 -> false) (v21 -> true) (v3 -> false) (v4 -> true) (v5 -> false) (v6 -> true) (v7 -> false) (v8 -> false) (v9 -> true) ] [acceptor received 3.0 for solving 1.0 of challenge 748. acceptor: 104 offerer: 105 ] [secret revealed 749 : (v0 -> true) (v1 -> true) (v10 -> false) (v11 -> true) (v12 -> true) (v13 -> true) (v14 -> true) (v15 -> true) (v16 -> true) (v17 -> true) (v18 -> true) (v19 -> true) (v2 -> true) (v20 -> true) (v21 -> true) (v3 -> true) (v4 -> true) (v5 -> true) (v6 -> true) (v7 -> true) (v8 -> true) (v9 -> true) ] [acceptor received 2.2 for solving 0.6 of challenge 749. acceptor: 104 offerer: 105 ] [secret revealed 750 : (v0 -> false) (v1 -> false) (v10 -> false) (v11 -> false) (v12 -> false) (v13 -> false) (v14 -> false) (v15 -> false) (v16 -> false) (v17 -> true) (v18 -> false) (v19 -> false) (v2 -> true) (v20 -> false) (v21 -> true) (v3 -> false) (v4 -> false) (v5 -> false) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> true) ] [acceptor received 3.0 for solving 1.0 of challenge 750. acceptor: 104 offerer: 105 ] [secret revealed 751 : (v0 -> true) (v1 -> true) (v10 -> true) (v11 -> true) (v12 -> true) (v13 -> true) (v14 -> true) (v15 -> true) (v16 -> true) (v17 -> true) (v18 -> true) (v19 -> true) (v2 -> true) (v20 -> true) (v21 -> true) (v3 -> true) (v4 -> true) (v5 -> true) (v6 -> true) (v7 -> true) (v8 -> true) (v9 -> true) ] [acceptor received 2.8 for solving 0.9 of challenge 751. acceptor: 104 offerer: 105 ] [acceptor paid 0.989899 for challenge 747. acceptor: 104 offerer: 105 ] [acceptor paid 1.0 for challenge 758. acceptor: 104 offerer: 105 ] [acceptor paid 1.0 for challenge 759. acceptor: 104 offerer: 105 ] [acceptor paid 1.0 for challenge 756. acceptor: 104 offerer: 105 ] [acceptor paid 1.0 for challenge 757. acceptor: 104 offerer: 105 ] playertrans[ 105 offer[767 secret (34 ) 1.0] offer[766 secret (92 ) 1.0] offer[765 secret (16 ) 1.0] offer[764 secret (24 ) 1.0] reoffer[704 0.989899] provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21 (10 {1} v5 v6 v7 ) (10 {1} v19 v20 v21 ) (10 {1} v20 v21 v0 ) (10 {1} v16 v17 v18 ) (10 {1} v20 v21 v0 ) (10 {1} v16 v17 v18 ) (10 {1} v10 v11 v12 ) (10 {1} v17 v18 v19 ) (10 {1} v19 v20 v21 ) (10 {1} v19 v20 v21 ) [ ] 747] provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21 (76 {1} v20 v21 v0 ) (76 {1} v10 v11 v12 ) (76 {1} v0 v1 v2 ) (76 {1} v16 v17 v18 ) (76 {1} v16 v17 v18 ) (76 {1} v1 v2 v3 ) (76 {1} v20 v21 v0 ) (76 {1} v2 v3 v4 ) (76 {1} v1 v2 v3 ) (76 {1} v13 v14 v15 ) [ ] 758] provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21 (48 {1} v16 v17 v18 ) (48 {1} v12 v13 v14 ) (48 {1} v17 v18 v19 ) (48 {1} v8 v9 v10 ) (48 {1} v20 v21 v0 ) (48 {1} v9 v10 v11 ) (48 {1} v21 v0 v1 ) (48 {1} v14 v15 v16 ) (48 {1} v13 v14 v15 ) (48 {1} v21 v0 v1 ) [ ] 759] provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21 (22 {1} v11 v12 v13 ) (22 {1} v0 v1 v2 ) (22 {1} v1 v2 v3 ) (22 {1} v21 v0 v1 ) (22 {1} v10 v11 v12 ) (22 {1} v4 v5 v6 ) (22 {1} v19 v20 v21 ) (22 {1} v1 v2 v3 ) (22 {1} v21 v0 v1 ) (22 {1} v10 v11 v12 ) [ ] 756] provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21 (56 {1} v11 v12 v13 ) (56 {1} v21 v0 v1 ) (56 {1} v12 v13 v14 ) (56 {1} v12 v13 v14 ) (56 {1} v16 v17 v18 ) (56 {1} v17 v18 v19 ) (56 {1} v2 v3 v4 ) (56 {1} v1 v2 v3 ) (56 {1} v4 v5 v6 ) (56 {1} v2 v3 v4 ) [ ] 757] ] ] round[9 playertrans[ 104 offer[771 secret (10 127 ) 0.999999] offer[770 secret (54 127 ) 0.999999] offer[769 secret (56 127 ) 0.999999] offer[768 secret (58 127 ) 0.999999] accept[704] accept[765] accept[764] accept[767] accept[766] solve[[ (v0 -> false) (v1 -> false) (v10 -> true) (v11 -> false) (v12 -> false) (v13 -> false) (v14 -> false) (v15 -> false) (v16 -> true) (v17 -> true) (v18 -> false) (v19 -> true) (v2 -> false) (v20 -> true) (v21 -> false) (v3 -> false) (v4 -> true) (v5 -> true) (v6 -> false) (v7 -> false) (v8 -> true) (v9 -> false) ] 747] solve[[ (v0 -> false) (v1 -> false) (v10 -> false) (v11 -> true) (v12 -> false) (v13 -> false) (v14 -> true) (v15 -> true) (v16 -> false) (v17 -> true) (v18 -> true) (v19 -> false) (v2 -> true) (v20 -> true) (v21 -> true) (v3 -> true) (v4 -> false) (v5 -> false) (v6 -> true) (v7 -> false) (v8 -> true) (v9 -> true) ] 758] solve[[ (v0 -> false) (v1 -> true) (v10 -> false) (v11 -> true) (v12 -> false) (v13 -> false) (v14 -> true) (v15 -> false) (v16 -> true) (v17 -> false) (v18 -> false) (v19 -> true) (v2 -> false) (v20 -> false) (v21 -> true) (v3 -> false) (v4 -> false) (v5 -> true) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> false) ] 759] solve[[ (v0 -> false) (v1 -> false) (v10 -> false) (v11 -> true) (v12 -> false) (v13 -> false) (v14 -> false) (v15 -> true) (v16 -> false) (v17 -> true) (v18 -> true) (v19 -> false) (v2 -> true) (v20 -> false) (v21 -> true) (v3 -> false) (v4 -> false) (v5 -> true) (v6 -> false) (v7 -> true) (v8 -> true) (v9 -> false) ] 756] solve[[ (v0 -> false) (v1 -> true) (v10 -> true) (v11 -> true) (v12 -> true) (v13 -> false) (v14 -> true) (v15 -> false) (v16 -> true) (v17 -> true) (v18 -> false) (v19 -> true) (v2 -> false) (v20 -> true) (v21 -> false) (v3 -> false) (v4 -> true) (v5 -> true) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> false) ] 757] ] [secret revealed 757 : (v0 -> false) (v1 -> true) (v10 -> true) (v11 -> true) (v12 -> true) (v13 -> true) (v14 -> false) (v15 -> true) (v16 -> true) (v17 -> true) (v18 -> true) (v19 -> false) (v2 -> true) (v20 -> true) (v21 -> true) (v3 -> true) (v4 -> false) (v5 -> true) (v6 -> false) (v7 -> true) (v8 -> true) (v9 -> true) ] [acceptor received 2.8 for solving 0.9 of challenge 757. acceptor: 104 offerer: 105 ] [secret revealed 756 : (v0 -> false) (v1 -> false) (v10 -> false) (v11 -> false) (v12 -> false) (v13 -> false) (v14 -> true) (v15 -> false) (v16 -> true) (v17 -> false) (v18 -> false) (v19 -> false) (v2 -> false) (v20 -> true) (v21 -> false) (v3 -> false) (v4 -> true) (v5 -> false) (v6 -> false) (v7 -> true) (v8 -> false) (v9 -> false) ] [acceptor received 3.0 for solving 1.0 of challenge 756. acceptor: 104 offerer: 105 ] [secret revealed 759 : (v0 -> false) (v1 -> true) (v10 -> true) (v11 -> false) (v12 -> false) (v13 -> true) (v14 -> false) (v15 -> true) (v16 -> false) (v17 -> true) (v18 -> true) (v19 -> false) (v2 -> false) (v20 -> true) (v21 -> true) (v3 -> false) (v4 -> false) (v5 -> true) (v6 -> false) (v7 -> true) (v8 -> false) (v9 -> true) ] [acceptor received 2.2 for solving 0.6 of challenge 759. acceptor: 104 offerer: 105 ] [secret revealed 758 : (v0 -> false) (v1 -> false) (v10 -> true) (v11 -> false) (v12 -> false) (v13 -> false) (v14 -> false) (v15 -> false) (v16 -> false) (v17 -> false) (v18 -> false) (v19 -> false) (v2 -> false) (v20 -> true) (v21 -> true) (v3 -> false) (v4 -> false) (v5 -> true) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> false) ] [acceptor received 2.8 for solving 0.9 of challenge 758. acceptor: 104 offerer: 105 ] [secret revealed 747 : (v0 -> true) (v1 -> false) (v10 -> true) (v11 -> true) (v12 -> true) (v13 -> true) (v14 -> true) (v15 -> true) (v16 -> true) (v17 -> true) (v18 -> true) (v19 -> true) (v2 -> false) (v20 -> false) (v21 -> true) (v3 -> true) (v4 -> false) (v5 -> false) (v6 -> true) (v7 -> true) (v8 -> true) (v9 -> false) ] [acceptor received 2.789899 for solving 0.9 of challenge 747. acceptor: 104 offerer: 105 ] [acceptor paid 1.0 for challenge 766. acceptor: 104 offerer: 105 ] [acceptor paid 1.0 for challenge 767. acceptor: 104 offerer: 105 ] [acceptor paid 1.0 for challenge 764. acceptor: 104 offerer: 105 ] [acceptor paid 1.0 for challenge 765. acceptor: 104 offerer: 105 ] [acceptor paid 0.989899 for challenge 704. acceptor: 104 offerer: 105 ] playertrans[ 105 offer[775 secret (98 ) 1.0] offer[774 secret (112 ) 1.0] offer[773 secret (32 ) 1.0] offer[772 secret (24 ) 1.0] reoffer[770 0.989899] provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21 (92 {1} v5 v6 v7 ) (92 {1} v17 v18 v19 ) (92 {1} v14 v15 v16 ) (92 {1} v12 v13 v14 ) (92 {1} v15 v16 v17 ) (92 {1} v9 v10 v11 ) (92 {1} v9 v10 v11 ) (92 {1} v6 v7 v8 ) (92 {1} v7 v8 v9 ) (92 {1} v7 v8 v9 ) [ ] 766] provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21 (34 {1} v18 v19 v20 ) (34 {1} v14 v15 v16 ) (34 {1} v15 v16 v17 ) (34 {1} v21 v0 v1 ) (34 {1} v19 v20 v21 ) (34 {1} v5 v6 v7 ) (34 {1} v14 v15 v16 ) (34 {1} v4 v5 v6 ) (34 {1} v2 v3 v4 ) (34 {1} v13 v14 v15 ) [ ] 767] provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21 (24 {1} v7 v8 v9 ) (24 {1} v15 v16 v17 ) (24 {1} v17 v18 v19 ) (24 {1} v7 v8 v9 ) (24 {1} v9 v10 v11 ) (24 {1} v2 v3 v4 ) (24 {1} v1 v2 v3 ) (24 {1} v16 v17 v18 ) (24 {1} v4 v5 v6 ) (24 {1} v2 v3 v4 ) [ ] 764] provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21 (16 {1} v12 v13 v14 ) (16 {1} v15 v16 v17 ) (16 {1} v16 v17 v18 ) (16 {1} v3 v4 v5 ) (16 {1} v2 v3 v4 ) (16 {1} v7 v8 v9 ) (16 {1} v11 v12 v13 ) (16 {1} v6 v7 v8 ) (16 {1} v12 v13 v14 ) (16 {1} v12 v13 v14 ) [ ] 765] provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21 (8 {1} v21 v0 v1 ) (8 {1} v16 v17 v18 ) (8 {1} v21 v0 v1 ) (8 {1} v2 v3 v4 ) (8 {1} v1 v2 v3 ) (8 {1} v12 v13 v14 ) (8 {1} v2 v3 v4 ) (8 {1} v18 v19 v20 ) (8 {1} v9 v10 v11 ) (8 {1} v2 v3 v4 ) [ ] 704] ] ] round[10 playertrans[ 104 offer[779 secret (8 127 ) 0.999999] offer[778 secret (60 127 ) 0.999999] offer[777 secret (62 127 ) 0.999999] offer[776 secret (64 127 ) 0.999999] accept[770] accept[773] accept[772] accept[775] accept[774] solve[[ (v0 -> false) (v1 -> true) (v10 -> true) (v11 -> false) (v12 -> false) (v13 -> true) (v14 -> false) (v15 -> false) (v16 -> true) (v17 -> false) (v18 -> true) (v19 -> false) (v2 -> false) (v20 -> false) (v21 -> false) (v3 -> false) (v4 -> true) (v5 -> false) (v6 -> false) (v7 -> true) (v8 -> true) (v9 -> false) ] 766] solve[[ (v0 -> false) (v1 -> false) (v10 -> false) (v11 -> true) (v12 -> true) (v13 -> false) (v14 -> true) (v15 -> false) (v16 -> true) (v17 -> false) (v18 -> true) (v19 -> true) (v2 -> true) (v20 -> false) (v21 -> true) (v3 -> false) (v4 -> true) (v5 -> false) (v6 -> false) (v7 -> false) (v8 -> true) (v9 -> false) ] 767] solve[[ (v0 -> false) (v1 -> true) (v10 -> true) (v11 -> false) (v12 -> true) (v13 -> true) (v14 -> true) (v15 -> true) (v16 -> false) (v17 -> false) (v18 -> false) (v19 -> true) (v2 -> true) (v20 -> false) (v21 -> false) (v3 -> true) (v4 -> false) (v5 -> false) (v6 -> true) (v7 -> false) (v8 -> false) (v9 -> true) ] 764] solve[[ (v0 -> true) (v1 -> false) (v10 -> false) (v11 -> true) (v12 -> false) (v13 -> false) (v14 -> true) (v15 -> false) (v16 -> false) (v17 -> true) (v18 -> true) (v19 -> true) (v2 -> false) (v20 -> false) (v21 -> true) (v3 -> false) (v4 -> true) (v5 -> false) (v6 -> false) (v7 -> false) (v8 -> true) (v9 -> true) ] 765] solve[[ (v0 -> true) (v1 -> false) (v10 -> false) (v11 -> false) (v12 -> false) (v13 -> false) (v14 -> true) (v15 -> false) (v16 -> false) (v17 -> false) (v18 -> true) (v19 -> true) (v2 -> true) (v20 -> false) (v21 -> true) (v3 -> true) (v4 -> false) (v5 -> false) (v6 -> true) (v7 -> true) (v8 -> true) (v9 -> false) ] 704] ] [secret revealed 704 : (v0 -> false) (v1 -> true) (v10 -> true) (v11 -> false) (v12 -> true) (v13 -> true) (v14 -> true) (v15 -> false) (v16 -> false) (v17 -> false) (v18 -> false) (v19 -> false) (v2 -> false) (v20 -> true) (v21 -> true) (v3 -> false) (v4 -> true) (v5 -> false) (v6 -> true) (v7 -> false) (v8 -> false) (v9 -> true) ] [acceptor received 2.189899 for solving 0.6 of challenge 704. acceptor: 104 offerer: 105 ] [secret revealed 765 : (v0 -> false) (v1 -> false) (v10 -> false) (v11 -> false) (v12 -> false) (v13 -> false) (v14 -> false) (v15 -> false) (v16 -> false) (v17 -> false) (v18 -> false) (v19 -> false) (v2 -> false) (v20 -> false) (v21 -> false) (v3 -> false) (v4 -> false) (v5 -> false) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> false) ] [acceptor received 2.2 for solving 0.6 of challenge 765. acceptor: 104 offerer: 105 ] [secret revealed 764 : (v0 -> true) (v1 -> false) (v10 -> false) (v11 -> true) (v12 -> false) (v13 -> true) (v14 -> true) (v15 -> true) (v16 -> true) (v17 -> true) (v18 -> true) (v19 -> true) (v2 -> true) (v20 -> false) (v21 -> true) (v3 -> true) (v4 -> true) (v5 -> true) (v6 -> true) (v7 -> false) (v8 -> true) (v9 -> false) ] [acceptor received 2.4 for solving 0.7 of challenge 764. acceptor: 104 offerer: 105 ] [secret revealed 767 : (v0 -> true) (v1 -> false) (v10 -> false) (v11 -> false) (v12 -> false) (v13 -> false) (v14 -> false) (v15 -> false) (v16 -> false) (v17 -> false) (v18 -> false) (v19 -> false) (v2 -> false) (v20 -> false) (v21 -> false) (v3 -> false) (v4 -> false) (v5 -> false) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> false) ] [acceptor received 2.2 for solving 0.6 of challenge 767. acceptor: 104 offerer: 105 ] [secret revealed 766 : (v0 -> true) (v1 -> true) (v10 -> false) (v11 -> false) (v12 -> false) (v13 -> true) (v14 -> true) (v15 -> true) (v16 -> true) (v17 -> true) (v18 -> true) (v19 -> true) (v2 -> true) (v20 -> false) (v21 -> true) (v3 -> true) (v4 -> false) (v5 -> true) (v6 -> true) (v7 -> true) (v8 -> true) (v9 -> true) ] [acceptor received 3.0 for solving 1.0 of challenge 766. acceptor: 104 offerer: 105 ] [acceptor paid 1.0 for challenge 774. acceptor: 104 offerer: 105 ] [acceptor paid 1.0 for challenge 775. acceptor: 104 offerer: 105 ] [acceptor paid 1.0 for challenge 772. acceptor: 104 offerer: 105 ] [acceptor paid 1.0 for challenge 773. acceptor: 104 offerer: 105 ] [acceptor paid 0.989899 for challenge 770. acceptor: 104 offerer: 105 ] playertrans[ 105 offer[783 secret (32 ) 1.0] offer[782 secret (36 ) 1.0] offer[781 secret (78 ) 1.0] offer[780 secret (58 ) 1.0] reoffer[779 0.989899] provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21 (112 {1} v17 v18 v19 ) (112 {1} v13 v14 v15 ) (112 {1} v15 v16 v17 ) (112 {1} v2 v3 v4 ) (112 {1} v1 v2 v3 ) (112 {1} v14 v15 v16 ) (112 {1} v0 v1 v2 ) (112 {1} v2 v3 v4 ) (112 {1} v15 v16 v17 ) (112 {1} v18 v19 v20 ) [ ] 774] provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21 (98 {1} v20 v21 v0 ) (98 {1} v15 v16 v17 ) (98 {1} v0 v1 v2 ) (98 {1} v21 v0 v1 ) (98 {1} v13 v14 v15 ) (98 {1} v21 v0 v1 ) (98 {1} v0 v1 v2 ) (98 {1} v1 v2 v3 ) (98 {1} v6 v7 v8 ) (98 {1} v4 v5 v6 ) [ ] 775] provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21 (24 {1} v6 v7 v8 ) (24 {1} v14 v15 v16 ) (24 {1} v12 v13 v14 ) (24 {1} v14 v15 v16 ) (24 {1} v16 v17 v18 ) (24 {1} v13 v14 v15 ) (24 {1} v0 v1 v2 ) (24 {1} v2 v3 v4 ) (24 {1} v20 v21 v0 ) (24 {1} v2 v3 v4 ) [ ] 772] provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21 (32 {1} v17 v18 v19 ) (32 {1} v0 v1 v2 ) (32 {1} v19 v20 v21 ) (32 {1} v1 v2 v3 ) (32 {1} v20 v21 v0 ) (32 {1} v1 v2 v3 ) (32 {1} v1 v2 v3 ) (32 {1} v1 v2 v3 ) (32 {1} v12 v13 v14 ) (32 {1} v17 v18 v19 ) [ ] 773] provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21 (54 {1} v12 v13 v14 ) (54 {1} v9 v10 v11 ) (54 {1} v15 v16 v17 ) (54 {1} v3 v4 v5 ) (54 {1} v1 v2 v3 ) (54 {1} v5 v6 v7 ) (54 {1} v4 v5 v6 ) (54 {1} v8 v9 v10 ) (54 {1} v18 v19 v20 ) (54 {1} v7 v8 v9 ) [ ] 770] ] ] round[11 playertrans[ 104 offer[787 secret (54 127 ) 0.999999] offer[786 secret (66 127 ) 0.999999] offer[785 secret (68 127 ) 0.999999] offer[784 secret (70 127 ) 0.999999] accept[779] accept[781] accept[780] accept[783] accept[782] solve[[ (v0 -> false) (v1 -> false) (v10 -> false) (v11 -> true) (v12 -> false) (v13 -> true) (v14 -> false) (v15 -> false) (v16 -> true) (v17 -> true) (v18 -> false) (v19 -> true) (v2 -> true) (v20 -> true) (v21 -> false) (v3 -> false) (v4 -> true) (v5 -> false) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> true) ] 774] solve[[ (v0 -> true) (v1 -> true) (v10 -> true) (v11 -> true) (v12 -> false) (v13 -> false) (v14 -> true) (v15 -> true) (v16 -> false) (v17 -> true) (v18 -> true) (v19 -> false) (v2 -> false) (v20 -> true) (v21 -> false) (v3 -> true) (v4 -> false) (v5 -> true) (v6 -> true) (v7 -> false) (v8 -> true) (v9 -> false) ] 775] solve[[ (v0 -> false) (v1 -> false) (v10 -> true) (v11 -> false) (v12 -> false) (v13 -> true) (v14 -> false) (v15 -> false) (v16 -> true) (v17 -> true) (v18 -> false) (v19 -> false) (v2 -> true) (v20 -> true) (v21 -> true) (v3 -> true) (v4 -> false) (v5 -> true) (v6 -> true) (v7 -> true) (v8 -> false) (v9 -> false) ] 772] solve[[ (v0 -> false) (v1 -> true) (v10 -> true) (v11 -> false) (v12 -> false) (v13 -> true) (v14 -> true) (v15 -> true) (v16 -> true) (v17 -> true) (v18 -> false) (v19 -> true) (v2 -> false) (v20 -> false) (v21 -> true) (v3 -> true) (v4 -> false) (v5 -> false) (v6 -> true) (v7 -> true) (v8 -> true) (v9 -> true) ] 773] solve[[ (v0 -> true) (v1 -> false) (v10 -> true) (v11 -> false) (v12 -> true) (v13 -> false) (v14 -> true) (v15 -> false) (v16 -> true) (v17 -> false) (v18 -> false) (v19 -> false) (v2 -> true) (v20 -> true) (v21 -> true) (v3 -> false) (v4 -> true) (v5 -> false) (v6 -> false) (v7 -> true) (v8 -> false) (v9 -> false) ] 770] ] [secret revealed 770 : (v0 -> true) (v1 -> true) (v10 -> true) (v11 -> true) (v12 -> true) (v13 -> true) (v14 -> true) (v15 -> true) (v16 -> true) (v17 -> true) (v18 -> true) (v19 -> true) (v2 -> true) (v20 -> true) (v21 -> true) (v3 -> true) (v4 -> false) (v5 -> true) (v6 -> true) (v7 -> true) (v8 -> true) (v9 -> true) ] [acceptor received 2.989899 for solving 1.0 of challenge 770. acceptor: 104 offerer: 105 ] [secret revealed 773 : (v0 -> false) (v1 -> false) (v10 -> false) (v11 -> false) (v12 -> false) (v13 -> false) (v14 -> false) (v15 -> false) (v16 -> false) (v17 -> false) (v18 -> false) (v19 -> false) (v2 -> false) (v20 -> false) (v21 -> false) (v3 -> false) (v4 -> false) (v5 -> false) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> false) ] [acceptor received 2.4 for solving 0.7 of challenge 773. acceptor: 104 offerer: 105 ] [secret revealed 772 : (v0 -> true) (v1 -> true) (v10 -> true) (v11 -> false) (v12 -> true) (v13 -> true) (v14 -> true) (v15 -> false) (v16 -> false) (v17 -> false) (v18 -> true) (v19 -> true) (v2 -> true) (v20 -> false) (v21 -> true) (v3 -> false) (v4 -> true) (v5 -> true) (v6 -> true) (v7 -> false) (v8 -> true) (v9 -> true) ] [acceptor received 2.6 for solving 0.8 of challenge 772. acceptor: 104 offerer: 105 ] [secret revealed 775 : (v0 -> false) (v1 -> false) (v10 -> false) (v11 -> true) (v12 -> false) (v13 -> true) (v14 -> false) (v15 -> false) (v16 -> false) (v17 -> false) (v18 -> false) (v19 -> true) (v2 -> false) (v20 -> false) (v21 -> false) (v3 -> false) (v4 -> false) (v5 -> true) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> true) ] [acceptor received 2.6 for solving 0.8 of challenge 775. acceptor: 104 offerer: 105 ] [secret revealed 774 : (v0 -> true) (v1 -> true) (v10 -> true) (v11 -> false) (v12 -> true) (v13 -> false) (v14 -> false) (v15 -> false) (v16 -> true) (v17 -> true) (v18 -> true) (v19 -> true) (v2 -> true) (v20 -> false) (v21 -> false) (v3 -> true) (v4 -> false) (v5 -> false) (v6 -> true) (v7 -> true) (v8 -> true) (v9 -> true) ] [acceptor received 2.6 for solving 0.8 of challenge 774. acceptor: 104 offerer: 105 ] [acceptor paid 1.0 for challenge 782. acceptor: 104 offerer: 105 ] [acceptor paid 1.0 for challenge 783. acceptor: 104 offerer: 105 ] [acceptor paid 1.0 for challenge 780. acceptor: 104 offerer: 105 ] [acceptor paid 1.0 for challenge 781. acceptor: 104 offerer: 105 ] [acceptor paid 0.989899 for challenge 779. acceptor: 104 offerer: 105 ] playertrans[ 105 offer[791 secret (78 ) 1.0] offer[790 secret (68 ) 1.0] offer[789 secret (58 ) 1.0] offer[788 secret (62 ) 1.0] reoffer[771 0.989899] provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21 (36 {1} v6 v7 v8 ) (36 {1} v12 v13 v14 ) (36 {1} v13 v14 v15 ) (36 {1} v13 v14 v15 ) (36 {1} v1 v2 v3 ) (36 {1} v11 v12 v13 ) (36 {1} v21 v0 v1 ) (36 {1} v2 v3 v4 ) (36 {1} v19 v20 v21 ) (36 {1} v1 v2 v3 ) [ ] 782] provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21 (32 {1} v2 v3 v4 ) (32 {1} v13 v14 v15 ) (32 {1} v3 v4 v5 ) (32 {1} v9 v10 v11 ) (32 {1} v21 v0 v1 ) (32 {1} v6 v7 v8 ) (32 {1} v18 v19 v20 ) (32 {1} v0 v1 v2 ) (32 {1} v9 v10 v11 ) (32 {1} v20 v21 v0 ) [ ] 783] provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21 (58 {1} v21 v0 v1 ) (58 {1} v1 v2 v3 ) (58 {1} v14 v15 v16 ) (58 {1} v11 v12 v13 ) (58 {1} v20 v21 v0 ) (58 {1} v10 v11 v12 ) (58 {1} v3 v4 v5 ) (58 {1} v11 v12 v13 ) (58 {1} v6 v7 v8 ) (58 {1} v18 v19 v20 ) [ ] 780] provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21 (78 {1} v12 v13 v14 ) (78 {1} v2 v3 v4 ) (78 {1} v0 v1 v2 ) (78 {1} v20 v21 v0 ) (78 {1} v2 v3 v4 ) (78 {1} v17 v18 v19 ) (78 {1} v6 v7 v8 ) (78 {1} v6 v7 v8 ) (78 {1} v18 v19 v20 ) (78 {1} v13 v14 v15 ) [ ] 781] provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21 (8 {1} v18 v19 v20 ) (8 {1} v11 v12 v13 ) (8 {1} v12 v13 v14 ) (8 {1} v15 v16 v17 ) (8 {1} v9 v10 v11 ) (8 {1} v1 v2 v3 ) (8 {1} v0 v1 v2 ) (8 {1} v12 v13 v14 ) (8 {1} v20 v21 v0 ) (8 {1} v12 v13 v14 ) [ ] 779] ] ] round[12 playertrans[ 104 offer[795 secret (8 127 ) 0.999999] offer[794 secret (72 127 ) 0.999999] offer[793 secret (74 127 ) 0.999999] offer[792 secret (76 127 ) 0.999999] accept[771] accept[788] accept[789] accept[790] accept[791] solve[[ (v0 -> true) (v1 -> true) (v10 -> true) (v11 -> true) (v12 -> false) (v13 -> true) (v14 -> false) (v15 -> true) (v16 -> false) (v17 -> false) (v18 -> true) (v19 -> false) (v2 -> false) (v20 -> true) (v21 -> false) (v3 -> true) (v4 -> false) (v5 -> true) (v6 -> false) (v7 -> true) (v8 -> false) (v9 -> false) ] 782] solve[[ (v0 -> true) (v1 -> false) (v10 -> false) (v11 -> true) (v12 -> false) (v13 -> false) (v14 -> false) (v15 -> false) (v16 -> true) (v17 -> true) (v18 -> true) (v19 -> false) (v2 -> true) (v20 -> true) (v21 -> false) (v3 -> true) (v4 -> false) (v5 -> true) (v6 -> true) (v7 -> false) (v8 -> true) (v9 -> true) ] 783] solve[[ (v0 -> false) (v1 -> true) (v10 -> true) (v11 -> true) (v12 -> false) (v13 -> false) (v14 -> true) (v15 -> false) (v16 -> false) (v17 -> false) (v18 -> true) (v19 -> false) (v2 -> true) (v20 -> true) (v21 -> false) (v3 -> false) (v4 -> false) (v5 -> true) (v6 -> false) (v7 -> false) (v8 -> true) (v9 -> false) ] 780] solve[[ (v0 -> false) (v1 -> true) (v10 -> true) (v11 -> true) (v12 -> true) (v13 -> true) (v14 -> false) (v15 -> false) (v16 -> false) (v17 -> true) (v18 -> false) (v19 -> false) (v2 -> true) (v20 -> true) (v21 -> false) (v3 -> false) (v4 -> false) (v5 -> false) (v6 -> false) (v7 -> true) (v8 -> false) (v9 -> true) ] 781] solve[[ (v0 -> false) (v1 -> true) (v10 -> false) (v11 -> false) (v12 -> true) (v13 -> true) (v14 -> false) (v15 -> true) (v16 -> true) (v17 -> false) (v18 -> true) (v19 -> true) (v2 -> true) (v20 -> true) (v21 -> true) (v3 -> false) (v4 -> true) (v5 -> true) (v6 -> false) (v7 -> true) (v8 -> false) (v9 -> false) ] 779] ] [secret revealed 779 : (v0 -> true) (v1 -> true) (v10 -> false) (v11 -> true) (v12 -> false) (v13 -> true) (v14 -> false) (v15 -> false) (v16 -> false) (v17 -> true) (v18 -> false) (v19 -> true) (v2 -> true) (v20 -> false) (v21 -> false) (v3 -> false) (v4 -> false) (v5 -> false) (v6 -> false) (v7 -> false) (v8 -> true) (v9 -> false) ] [acceptor received 2.189899 for solving 0.6 of challenge 779. acceptor: 104 offerer: 105 ] [secret revealed 781 : (v0 -> true) (v1 -> true) (v10 -> false) (v11 -> false) (v12 -> false) (v13 -> false) (v14 -> false) (v15 -> false) (v16 -> false) (v17 -> false) (v18 -> false) (v19 -> false) (v2 -> false) (v20 -> false) (v21 -> false) (v3 -> false) (v4 -> false) (v5 -> false) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> true) ] [acceptor received 2.8 for solving 0.9 of challenge 781. acceptor: 104 offerer: 105 ] [secret revealed 780 : (v0 -> false) (v1 -> true) (v10 -> false) (v11 -> false) (v12 -> false) (v13 -> false) (v14 -> false) (v15 -> true) (v16 -> true) (v17 -> true) (v18 -> false) (v19 -> false) (v2 -> true) (v20 -> false) (v21 -> false) (v3 -> false) (v4 -> true) (v5 -> false) (v6 -> true) (v7 -> true) (v8 -> true) (v9 -> true) ] [acceptor received 3.0 for solving 1.0 of challenge 780. acceptor: 104 offerer: 105 ] [secret revealed 783 : (v0 -> true) (v1 -> true) (v10 -> true) (v11 -> true) (v12 -> false) (v13 -> false) (v14 -> true) (v15 -> true) (v16 -> false) (v17 -> true) (v18 -> false) (v19 -> false) (v2 -> true) (v20 -> true) (v21 -> false) (v3 -> false) (v4 -> false) (v5 -> false) (v6 -> false) (v7 -> false) (v8 -> true) (v9 -> true) ] [acceptor received 2.4 for solving 0.7 of challenge 783. acceptor: 104 offerer: 105 ] [secret revealed 782 : (v0 -> false) (v1 -> true) (v10 -> false) (v11 -> false) (v12 -> false) (v13 -> false) (v14 -> false) (v15 -> false) (v16 -> false) (v17 -> false) (v18 -> false) (v19 -> false) (v2 -> false) (v20 -> true) (v21 -> false) (v3 -> false) (v4 -> false) (v5 -> false) (v6 -> true) (v7 -> false) (v8 -> false) (v9 -> false) ] [acceptor received 2.8 for solving 0.9 of challenge 782. acceptor: 104 offerer: 105 ] [acceptor paid 1.0 for challenge 791. acceptor: 104 offerer: 105 ] [acceptor paid 1.0 for challenge 790. acceptor: 104 offerer: 105 ] [acceptor paid 1.0 for challenge 789. acceptor: 104 offerer: 105 ] [acceptor paid 1.0 for challenge 788. acceptor: 104 offerer: 105 ] [acceptor paid 0.989899 for challenge 771. acceptor: 104 offerer: 105 ] playertrans[ 105 offer[799 secret (48 ) 1.0] offer[798 secret (96 ) 1.0] offer[797 secret (12 ) 1.0] offer[796 secret (42 ) 1.0] reoffer[763 0.989899] provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21 (78 {1} v4 v5 v6 ) (78 {1} v0 v1 v2 ) (78 {1} v6 v7 v8 ) (78 {1} v6 v7 v8 ) (78 {1} v3 v4 v5 ) (78 {1} v14 v15 v16 ) (78 {1} v17 v18 v19 ) (78 {1} v18 v19 v20 ) (78 {1} v18 v19 v20 ) (78 {1} v14 v15 v16 ) [ ] 791] provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21 (68 {1} v16 v17 v18 ) (68 {1} v7 v8 v9 ) (68 {1} v12 v13 v14 ) (68 {1} v1 v2 v3 ) (68 {1} v6 v7 v8 ) (68 {1} v2 v3 v4 ) (68 {1} v0 v1 v2 ) (68 {1} v14 v15 v16 ) (68 {1} v17 v18 v19 ) (68 {1} v11 v12 v13 ) [ ] 790] provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21 (58 {1} v9 v10 v11 ) (58 {1} v5 v6 v7 ) (58 {1} v0 v1 v2 ) (58 {1} v20 v21 v0 ) (58 {1} v7 v8 v9 ) (58 {1} v14 v15 v16 ) (58 {1} v4 v5 v6 ) (58 {1} v14 v15 v16 ) (58 {1} v17 v18 v19 ) (58 {1} v20 v21 v0 ) [ ] 789] provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21 (62 {1} v10 v11 v12 ) (62 {1} v9 v10 v11 ) (62 {1} v12 v13 v14 ) (62 {1} v20 v21 v0 ) (62 {1} v7 v8 v9 ) (62 {1} v9 v10 v11 ) (62 {1} v8 v9 v10 ) (62 {1} v9 v10 v11 ) (62 {1} v18 v19 v20 ) (62 {1} v14 v15 v16 ) [ ] 788] provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21 (10 {1} v18 v19 v20 ) (10 {1} v2 v3 v4 ) (10 {1} v8 v9 v10 ) (10 {1} v18 v19 v20 ) (10 {1} v8 v9 v10 ) (10 {1} v7 v8 v9 ) (10 {1} v2 v3 v4 ) (10 {1} v14 v15 v16 ) (10 {1} v17 v18 v19 ) (10 {1} v4 v5 v6 ) [ ] 771] ] ] round[13 playertrans[ 104 offer[803 secret (10 127 ) 0.999999] offer[802 secret (78 127 ) 0.999999] offer[801 secret (80 127 ) 0.999999] offer[800 secret (82 127 ) 0.999999] accept[796] accept[797] accept[798] accept[799] accept[763] solve[[ (v0 -> false) (v1 -> true) (v10 -> false) (v11 -> true) (v12 -> false) (v13 -> true) (v14 -> false) (v15 -> true) (v16 -> false) (v17 -> false) (v18 -> true) (v19 -> false) (v2 -> false) (v20 -> false) (v21 -> false) (v3 -> false) (v4 -> true) (v5 -> true) (v6 -> false) (v7 -> true) (v8 -> false) (v9 -> true) ] 791] solve[[ (v0 -> false) (v1 -> true) (v10 -> true) (v11 -> true) (v12 -> false) (v13 -> true) (v14 -> false) (v15 -> true) (v16 -> false) (v17 -> false) (v18 -> true) (v19 -> false) (v2 -> false) (v20 -> false) (v21 -> false) (v3 -> true) (v4 -> true) (v5 -> false) (v6 -> true) (v7 -> false) (v8 -> true) (v9 -> false) ] 790] solve[[ (v0 -> true) (v1 -> false) (v10 -> false) (v11 -> false) (v12 -> true) (v13 -> false) (v14 -> false) (v15 -> false) (v16 -> true) (v17 -> false) (v18 -> false) (v19 -> true) (v2 -> true) (v20 -> false) (v21 -> false) (v3 -> true) (v4 -> true) (v5 -> true) (v6 -> false) (v7 -> true) (v8 -> false) (v9 -> true) ] 789] solve[[ (v0 -> true) (v1 -> false) (v10 -> true) (v11 -> false) (v12 -> false) (v13 -> false) (v14 -> true) (v15 -> false) (v16 -> true) (v17 -> true) (v18 -> true) (v19 -> true) (v2 -> false) (v20 -> false) (v21 -> false) (v3 -> false) (v4 -> false) (v5 -> true) (v6 -> false) (v7 -> true) (v8 -> true) (v9 -> false) ] 788] solve[[ (v0 -> true) (v1 -> true) (v10 -> false) (v11 -> false) (v12 -> true) (v13 -> false) (v14 -> true) (v15 -> true) (v16 -> false) (v17 -> true) (v18 -> true) (v19 -> false) (v2 -> true) (v20 -> false) (v21 -> true) (v3 -> true) (v4 -> false) (v5 -> true) (v6 -> false) (v7 -> true) (v8 -> true) (v9 -> false) ] 771] ] [secret revealed 771 : (v0 -> true) (v1 -> true) (v10 -> true) (v11 -> true) (v12 -> true) (v13 -> true) (v14 -> true) (v15 -> true) (v16 -> true) (v17 -> false) (v18 -> true) (v19 -> true) (v2 -> true) (v20 -> true) (v21 -> true) (v3 -> true) (v4 -> false) (v5 -> false) (v6 -> true) (v7 -> true) (v8 -> false) (v9 -> true) ] [acceptor received 2.789899 for solving 0.9 of challenge 771. acceptor: 104 offerer: 105 ] [secret revealed 788 : (v0 -> true) (v1 -> true) (v10 -> false) (v11 -> true) (v12 -> false) (v13 -> false) (v14 -> false) (v15 -> false) (v16 -> true) (v17 -> false) (v18 -> false) (v19 -> false) (v2 -> false) (v20 -> false) (v21 -> true) (v3 -> false) (v4 -> false) (v5 -> true) (v6 -> true) (v7 -> false) (v8 -> false) (v9 -> true) ] [acceptor received 3.0 for solving 1.0 of challenge 788. acceptor: 104 offerer: 105 ] [secret revealed 789 : (v0 -> false) (v1 -> false) (v10 -> false) (v11 -> true) (v12 -> false) (v13 -> true) (v14 -> false) (v15 -> false) (v16 -> false) (v17 -> false) (v18 -> false) (v19 -> false) (v2 -> false) (v20 -> false) (v21 -> false) (v3 -> true) (v4 -> true) (v5 -> false) (v6 -> false) (v7 -> false) (v8 -> false) (v9 -> false) ] [acceptor received 3.0 for solving 1.0 of challenge 789. acceptor: 104 offerer: 105 ] [secret revealed 790 : (v0 -> true) (v1 -> false) (v10 -> true) (v11 -> true) (v12 -> true) (v13 -> true) (v14 -> true) (v15 -> true) (v16 -> true) (v17 -> false) (v18 -> true) (v19 -> true) (v2 -> true) (v20 -> true) (v21 -> true) (v3 -> true) (v4 -> true) (v5 -> true) (v6 -> true) (v7 -> true) (v8 -> true) (v9 -> true) ] [acceptor received 2.2 for solving 0.6 of challenge 790. acceptor: 104 offerer: 105 ] [secret revealed 791 : (v0 -> false) (v1 -> false) (v10 -> false) (v11 -> false) (v12 -> false) (v13 -> false) (v14 -> false) (v15 -> false) (v16 -> true) (v17 -> false) (v18 -> false) (v19 -> false) (v2 -> false) (v20 -> true) (v21 -> false) (v3 -> false) (v4 -> false) (v5 -> true) (v6 -> true) (v7 -> false) (v8 -> false) (v9 -> false) ] [acceptor received 3.0 for solving 1.0 of challenge 791. acceptor: 104 offerer: 105 ] [acceptor paid 0.989899 for challenge 763. acceptor: 104 offerer: 105 ] [acceptor paid 1.0 for challenge 799. acceptor: 104 offerer: 105 ] [acceptor paid 1.0 for challenge 798. acceptor: 104 offerer: 105 ] [acceptor paid 1.0 for challenge 797. acceptor: 104 offerer: 105 ] [acceptor paid 1.0 for challenge 796. acceptor: 104 offerer: 105 ] playertrans[ 105 offer[807 secret (32 ) 1.0] offer[806 secret (112 ) 1.0] offer[805 secret (16 ) 1.0] offer[804 secret (18 ) 1.0] reoffer[802 0.989899] provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21 (4 {1} v11 v12 v13 ) (4 {1} v20 v21 v0 ) (4 {1} v10 v11 v12 ) (4 {1} v3 v4 v5 ) (4 {1} v19 v20 v21 ) (4 {1} v8 v9 v10 ) (4 {1} v6 v7 v8 ) (4 {1} v1 v2 v3 ) (4 {1} v6 v7 v8 ) (4 {1} v11 v12 v13 ) [ ] 763] provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21 (48 {1} v7 v8 v9 ) (48 {1} v11 v12 v13 ) (48 {1} v7 v8 v9 ) (48 {1} v13 v14 v15 ) (48 {1} v15 v16 v17 ) (48 {1} v3 v4 v5 ) (48 {1} v11 v12 v13 ) (48 {1} v8 v9 v10 ) (48 {1} v3 v4 v5 ) (48 {1} v8 v9 v10 ) [ ] 799] provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21 (96 {1} v19 v20 v21 ) (96 {1} v13 v14 v15 ) (96 {1} v10 v11 v12 ) (96 {1} v3 v4 v5 ) (96 {1} v1 v2 v3 ) (96 {1} v15 v16 v17 ) (96 {1} v11 v12 v13 ) (96 {1} v11 v12 v13 ) (96 {1} v4 v5 v6 ) (96 {1} v7 v8 v9 ) [ ] 798] provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21 (12 {1} v17 v18 v19 ) (12 {1} v9 v10 v11 ) (12 {1} v15 v16 v17 ) (12 {1} v7 v8 v9 ) (12 {1} v15 v16 v17 ) (12 {1} v10 v11 v12 ) (12 {1} v17 v18 v19 ) (12 {1} v13 v14 v15 ) (12 {1} v8 v9 v10 ) (12 {1} v20 v21 v0 ) [ ] 797] provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21 (42 {1} v12 v13 v14 ) (42 {1} v12 v13 v14 ) (42 {1} v9 v10 v11 ) (42 {1} v4 v5 v6 ) (42 {1} v9 v10 v11 ) (42 {1} v7 v8 v9 ) (42 {1} v5 v6 v7 ) (42 {1} v16 v17 v18 ) (42 {1} v9 v10 v11 ) (42 {1} v13 v14 v15 ) [ ] 796] ] ] round[14 playertrans[ 104 offer[811 secret (4 127 ) 0.999999] offer[810 secret (84 127 ) 0.999999] offer[809 secret (86 127 ) 0.999999] offer[808 secret (88 127 ) 0.999999] accept[802] accept[807] accept[806] accept[805] accept[804] solve[[ (v0 -> false) (v1 -> false) (v10 -> false) (v11 -> false) (v12 -> false) (v13 -> true) (v14 -> false) (v15 -> false) (v16 -> true) (v17 -> true) (v18 -> false) (v19 -> false) (v2 -> true) (v20 -> false) (v21 -> true) (v3 -> false) (v4 -> true) (v5 -> false) (v6 -> false) (v7 -> true) (v8 -> false) (v9 -> true) ] 763] solve[[ (v0 -> false) (v1 -> false) (v10 -> true) (v11 -> false) (v12 -> false) (v13 -> true) (v14 -> false) (v15 -> true) (v16 -> false) (v17 -> true) (v18 -> true) (v19 -> true) (v2 -> false) (v20 -> true) (v21 -> false) (v3 -> false) (v4 -> false) (v5 -> true) (v6 -> false) (v7 -> true) (v8 -> false) (v9 -> true) ] 799] solve[[ (v0 -> false) (v1 -> false) (v10 -> false) (v11 -> true) (v12 -> false) (v13 -> true) (v14 -> true) (v15 -> true) (v16 -> false) (v17 -> true) (v18 -> true) (v19 -> true) (v2 -> true) (v20 -> false) (v21 -> true) (v3 -> true) (v4 -> false) (v5 -> true) (v6 -> true) (v7 -> false) (v8 -> true) (v9 -> true) ] 798] solve[[ (v0 -> false) (v1 -> false) (v10 -> true) (v11 -> true) (v12 -> false) (v13 -> true) (v14 -> true) (v15 -> false) (v16 -> true) (v17 -> false) (v18 -> true) (v19 -> false) (v2 -> false) (v20 -> true) (v21 -> true) (v3 -> false) (v4 -> false) (v5 -> true) (v6 -> false) (v7 -> true) (v8 -> true) (v9 -> false) ] 797] solve[[ (v0 -> true) (v1 -> false) (v10 -> false) (v11 -> true) (v12 -> true) (v13 -> true) (v14 -> false) (v15 -> true) (v16 -> true) (v17 -> false) (v18 -> true) (v19 -> false) (v2 -> false) (v20 -> false) (v21 -> true) (v3 -> false) (v4 -> true) (v5 -> true) (v6 -> false) (v7 -> true) (v8 -> false) (v9 -> true) ] 796] ] [secret revealed 796 : (v0 -> true) (v1 -> true) (v10 -> false) (v11 -> false) (v12 -> true) (v13 -> true) (v14 -> true) (v15 -> false) (v16 -> true) (v17 -> true) (v18 -> false) (v19 -> false) (v2 -> true) (v20 -> true) (v21 -> true) (v3 -> true) (v4 -> false) (v5 -> true) (v6 -> true) (v7 -> true) (v8 -> true) (v9 -> true) ] [acceptor received 3.0 for solving 1.0 of challenge 796. acceptor: 104 offerer: 105 ] [secret revealed 797 : (v0 -> true) (v1 -> false) (v10 -> true) (v11 -> true) (v12 -> false) (v13 -> false) (v14 -> true) (v15 -> true) (v16 -> true) (v17 -> true) (v18 -> false) (v19 -> true) (v2 -> true) (v20 -> false) (v21 -> true) (v3 -> false) (v4 -> true) (v5 -> true) (v6 -> false) (v7 -> true) (v8 -> true) (v9 -> false) ] [acceptor received 2.6 for solving 0.8 of challenge 797. acceptor: 104 offerer: 105 ] [secret revealed 798 : (v0 -> false) (v1 -> true) (v10 -> false) (v11 -> false) (v12 -> false) (v13 -> false) (v14 -> false) (v15 -> true) (v16 -> false) (v17 -> false) (v18 -> false) (v19 -> false) (v2 -> true) (v20 -> false) (v21 -> false) (v3 -> false) (v4 -> false) (v5 -> false) (v6 -> true) (v7 -> true) (v8 -> true) (v9 -> true) ] [acceptor received 2.6 for solving 0.8 of challenge 798. acceptor: 104 offerer: 105 ] [secret revealed 799 : (v0 -> true) (v1 -> true) (v10 -> false) (v11 -> false) (v12 -> false) (v13 -> false) (v14 -> true) (v15 -> false) (v16 -> false) (v17 -> true) (v18 -> true) (v19 -> false) (v2 -> false) (v20 -> true) (v21 -> false) (v3 -> false) (v4 -> true) (v5 -> false) (v6 -> true) (v7 -> false) (v8 -> false) (v9 -> false) ] [acceptor received 2.6 for solving 0.8 of challenge 799. acceptor: 104 offerer: 105 ] [secret revealed 763 : (v0 -> true) (v1 -> false) (v10 -> false) (v11 -> true) (v12 -> false) (v13 -> false) (v14 -> false) (v15 -> false) (v16 -> false) (v17 -> false) (v18 -> false) (v19 -> false) (v2 -> false) (v20 -> false) (v21 -> true) (v3 -> false) (v4 -> false) (v5 -> false) (v6 -> false) (v7 -> true) (v8 -> false) (v9 -> false) ] [acceptor received 2.189899 for solving 0.6 of challenge 763. acceptor: 104 offerer: 105 ] [acceptor paid 1.0 for challenge 804. acceptor: 104 offerer: 105 ] [acceptor paid 1.0 for challenge 805. acceptor: 104 offerer: 105 ] [acceptor paid 1.0 for challenge 806. acceptor: 104 offerer: 105 ] [acceptor paid 1.0 for challenge 807. acceptor: 104 offerer: 105 ] [acceptor paid 0.989899 for challenge 802. acceptor: 104 offerer: 105 ] playertrans[ 105 offer[815 secret (76 ) 1.0] offer[814 secret (48 ) 1.0] offer[813 secret (28 ) 1.0] offer[812 secret (60 ) 1.0] reoffer[738 0.989899] provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21 (18 {1} v0 v1 v2 ) (18 {1} v6 v7 v8 ) (18 {1} v1 v2 v3 ) (18 {1} v20 v21 v0 ) (18 {1} v18 v19 v20 ) (18 {1} v15 v16 v17 ) (18 {1} v0 v1 v2 ) (18 {1} v10 v11 v12 ) (18 {1} v10 v11 v12 ) (18 {1} v19 v20 v21 ) [ ] 804] provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21 (16 {1} v6 v7 v8 ) (16 {1} v3 v4 v5 ) (16 {1} v12 v13 v14 ) (16 {1} v12 v13 v14 ) (16 {1} v3 v4 v5 ) (16 {1} v9 v10 v11 ) (16 {1} v15 v16 v17 ) (16 {1} v4 v5 v6 ) (16 {1} v8 v9 v10 ) (16 {1} v12 v13 v14 ) [ ] 805] provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21 (112 {1} v8 v9 v10 ) (112 {1} v9 v10 v11 ) (112 {1} v11 v12 v13 ) (112 {1} v16 v17 v18 ) (112 {1} v6 v7 v8 ) (112 {1} v16 v17 v18 ) (112 {1} v13 v14 v15 ) (112 {1} v16 v17 v18 ) (112 {1} v13 v14 v15 ) (112 {1} v11 v12 v13 ) [ ] 806] provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21 (32 {1} v17 v18 v19 ) (32 {1} v2 v3 v4 ) (32 {1} v4 v5 v6 ) (32 {1} v1 v2 v3 ) (32 {1} v18 v19 v20 ) (32 {1} v1 v2 v3 ) (32 {1} v5 v6 v7 ) (32 {1} v18 v19 v20 ) (32 {1} v2 v3 v4 ) (32 {1} v15 v16 v17 ) [ ] 807] provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21 (78 {1} v16 v17 v18 ) (78 {1} v21 v0 v1 ) (78 {1} v3 v4 v5 ) (78 {1} v8 v9 v10 ) (78 {1} v16 v17 v18 ) (78 {1} v6 v7 v8 ) (78 {1} v6 v7 v8 ) (78 {1} v12 v13 v14 ) (78 {1} v14 v15 v16 ) (78 {1} v20 v21 v0 ) [ ] 802] ] ] round[15 playertrans[ 104 offer[819 secret (78 127 ) 0.999999] offer[818 secret (90 127 ) 0.999999] offer[817 secret (92 127 ) 0.999999] offer[816 secret (94 127 ) 0.999999] accept[815] accept[814] accept[738] accept[813] accept[812] solve[[ (v0 -> true) (v1 -> false) (v10 -> true) (v11 -> false) (v12 -> false) (v13 -> false) (v14 -> false) (v15 -> true) (v16 -> false) (v17 -> false) (v18 -> true) (v19 -> false) (v2 -> false) (v20 -> false) (v21 -> true) (v3 -> true) (v4 -> false) (v5 -> true) (v6 -> true) (v7 -> false) (v8 -> false) (v9 -> false) ] 804] solve[[ (v0 -> true) (v1 -> true) (v10 -> true) (v11 -> true) (v12 -> false) (v13 -> false) (v14 -> true) (v15 -> false) (v16 -> false) (v17 -> true) (v18 -> true) (v19 -> false) (v2 -> false) (v20 -> true) (v21 -> false) (v3 -> false) (v4 -> false) (v5 -> true) (v6 -> true) (v7 -> false) (v8 -> false) (v9 -> false) ] 805] solve[[ (v0 -> true) (v1 -> true) (v10 -> true) (v11 -> true) (v12 -> false) (v13 -> true) (v14 -> false) (v15 -> true) (v16 -> true) (v17 -> false) (v18 -> true) (v19 -> false) (v2 -> false) (v20 -> true) (v21 -> true) (v3 -> true) (v4 -> true) (v5 -> true) (v6 -> false) (v7 -> false) (v8 -> true) (v9 -> false) ] 806] solve[[ (v0 -> false) (v1 -> true) (v10 -> true) (v11 -> false) (v12 -> true) (v13 -> false) (v14 -> false) (v15 -> true) (v16 -> false) (v17 -> true) (v18 -> true) (v19 -> false) (v2 -> false) (v20 -> true) (v21 -> true) (v3 -> true) (v4 -> false) (v5 -> true) (v6 -> false) (v7 -> true) (v8 -> false) (v9 -> true) ] 807] solve[[ (v0 -> false) (v1 -> false) (v10 -> false) (v11 -> false) (v12 -> true) (v13 -> false) (v14 -> false) (v15 -> true) (v16 -> false) (v17 -> true) (v18 -> true) (v19 -> true) (v2 -> true) (v20 -> false) (v21 -> true) (v3 -> false) (v4 -> true) (v5 -> true) (v6 -> false) (v7 -> true) (v8 -> false) (v9 -> true) ] 802] ] [secret revealed 802 : (v0 -> true) (v1 -> true) (v10 -> true) (v11 -> true) (v12 -> true) (v13 -> true) (v14 -> true) (v15 -> true) (v16 -> true) (v17 -> true) (v18 -> true) (v19 -> true) (v2 -> true) (v20 -> true) (v21 -> true) (v3 -> true) (v4 -> true) (v5 -> true) (v6 -> true) (v7 -> true) (v8 -> true) (v9 -> true) ] [acceptor received 2.989899 for solving 1.0 of challenge 802. acceptor: 104 offerer: 105 ] [secret revealed 807 : (v0 -> false) (v1 -> true) (v10 -> true) (v11 -> true) (v12 -> true) (v13 -> true) (v14 -> true) (v15 -> true) (v16 -> true) (v17 -> true) (v18 -> false) (v19 -> true) (v2 -> true) (v20 -> false) (v21 -> true) (v3 -> true) (v4 -> true) (v5 -> true) (v6 -> true) (v7 -> true) (v8 -> true) (v9 -> true) ] [acceptor received 2.2 for solving 0.6 of challenge 807. acceptor: 104 offerer: 105 ] [secret revealed 806 : (v0 -> true) (v1 -> false) (v10 -> true) (v11 -> true) (v12 -> true) (v13 -> false) (v14 -> true) (v15 -> false) (v16 -> false) (v17 -> false) (v18 -> false) (v19 -> false) (v2 -> true) (v20 -> false) (v21 -> true) (v3 -> false) (v4 -> true) (v5 -> true) (v6 -> true) (v7 -> true) (v8 -> true) (v9 -> true) ] [acceptor received 3.0 for solving 1.0 of challenge 806. acceptor: 104 offerer: 105 ] [secret revealed 805 : (v0 -> true) (v1 -> true) (v10 -> true) (v11 -> true) (v12 -> true) (v13 -> true) (v14 -> true) (v15 -> true) (v16 -> true) (v17 -> true) (v18 -> true) (v19 -> true) (v2 -> true) (v20 -> true) (v21 -> true) (v3 -> true) (v4 -> true) (v5 -> true) (v6 -> true) (v7 -> true) (v8 -> true) (v9 -> true) ] [acceptor received 2.4 for solving 0.7 of challenge 805. acceptor: 104 offerer: 105 ] [secret revealed 804 : (v0 -> true) (v1 -> true) (v10 -> false) (v11 -> true) (v12 -> false) (v13 -> true) (v14 -> false) (v15 -> true) (v16 -> true) (v17 -> true) (v18 -> false) (v19 -> true) (v2 -> true) (v20 -> false) (v21 -> false) (v3 -> false) (v4 -> true) (v5 -> true) (v6 -> true) (v7 -> false) (v8 -> true) (v9 -> true) ] [acceptor received 2.8 for solving 0.9 of challenge 804. acceptor: 104 offerer: 105 ] [acceptor paid 1.0 for challenge 812. acceptor: 104 offerer: 105 ] [acceptor paid 1.0 for challenge 813. acceptor: 104 offerer: 105 ] [acceptor paid 0.989899 for challenge 738. acceptor: 104 offerer: 105 ] [acceptor paid 1.0 for challenge 814. acceptor: 104 offerer: 105 ] [acceptor paid 1.0 for challenge 815. acceptor: 104 offerer: 105 ] playertrans[ 105 offer[823 secret (36 ) 1.0] offer[822 secret (34 ) 1.0] offer[821 secret (16 ) 1.0] offer[820 secret (90 ) 1.0] reoffer[755 0.989899] provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21 (60 {1} v7 v8 v9 ) (60 {1} v21 v0 v1 ) (60 {1} v15 v16 v17 ) (60 {1} v19 v20 v21 ) (60 {1} v6 v7 v8 ) (60 {1} v7 v8 v9 ) (60 {1} v10 v11 v12 ) (60 {1} v15 v16 v17 ) (60 {1} v12 v13 v14 ) (60 {1} v8 v9 v10 ) [ ] 812] provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21 (30 {1} v18 v19 v20 ) (30 {1} v20 v21 v0 ) (30 {1} v16 v17 v18 ) (30 {1} v9 v10 v11 ) (30 {1} v18 v19 v20 ) (30 {1} v18 v19 v20 ) (30 {1} v4 v5 v6 ) (30 {1} v0 v1 v2 ) (30 {1} v4 v5 v6 ) (30 {1} v3 v4 v5 ) [ ] 738] provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21 (28 {1} v3 v4 v5 ) (28 {1} v2 v3 v4 ) (28 {1} v6 v7 v8 ) (28 {1} v14 v15 v16 ) (28 {1} v17 v18 v19 ) (28 {1} v9 v10 v11 ) (28 {1} v8 v9 v10 ) (28 {1} v21 v0 v1 ) (28 {1} v5 v6 v7 ) (28 {1} v13 v14 v15 ) [ ] 813] provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21 (48 {1} v19 v20 v21 ) (48 {1} v9 v10 v11 ) (48 {1} v12 v13 v14 ) (48 {1} v20 v21 v0 ) (48 {1} v4 v5 v6 ) (48 {1} v17 v18 v19 ) (48 {1} v17 v18 v19 ) (48 {1} v10 v11 v12 ) (48 {1} v3 v4 v5 ) (48 {1} v6 v7 v8 ) [ ] 814] provide[v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21 (76 {1} v17 v18 v19 ) (76 {1} v4 v5 v6 ) (76 {1} v19 v20 v21 ) (76 {1} v9 v10 v11 ) (76 {1} v6 v7 v8 ) (76 {1} v13 v14 v15 ) (76 {1} v14 v15 v16 ) (76 {1} v19 v20 v21 ) (76 {1} v5 v6 v7 ) (76 {1} v21 v0 v1 ) [ ] 815] ] [acceptor refunded 1.0 for challenge 812. acceptor: 104 offerer: 105 ] [acceptor refunded 0.989899 for challenge 738. acceptor: 104 offerer: 105 ] [acceptor refunded 1.0 for challenge 813. acceptor: 104 offerer: 105 ] [acceptor refunded 1.0 for challenge 814. acceptor: 104 offerer: 105 ] [acceptor refunded 1.0 for challenge 815. acceptor: 104 offerer: 105 ] kicked[playerspec["CaptainKarl2" "129.10.117.226" 2003] "Negative balance" "2/15/11 8:19:54 PM EST"] ] **** Final Results ***** "PRX" : 205.99999999999994 "CaptainKarl2" : *-6.000000000000034