View paste E4IQ

New paste Repaste Download

	`state0=0x28610003868c60ac, state1=0x75c4dc8909426780 and state0=0x04058a2202602848, state1=0x2031034c1e000dbc`
	`state0=0x28610003868c60ad, state1=0x75c4dc8909426780 and state0=0x04058a2202602849, state1=0x2031034c1e000dbc`
	`state0=0x28610003868c60ad, state1=0x75c4dc8909426781 and state0=0x04058a2202602849, state1=0x2031034c1e000dbd`
	`state0=0x28610003868c60ad, state1=0xf5c4fc8909426780 and state0=0x04058a2202602849, state1=0xa031234c1e000dbc`
	`state0=0x28610003868c60ad, state1=0xf5c4fc8909426781 and state0=0x04058a2202602849, state1=0xa031234c1e000dbd`
	`state0=0x28610003868c612d, state1=0x75c4dc8909426780 and state0=0x04058a22026028c9, state1=0x2031034c1e000dbc`
	`state0=0x28610003868c612d, state1=0x75c4dc8909426781 and state0=0x04058a22026028c9, state1=0x2031034c1e000dbd`
	`state0=0x28610003868c612d, state1=0xf5c4dc8909426780 and state0=0x04058a22026028c9, state1=0xa031034c1e000dbc`
	`state0=0x28610003868c612d, state1=0xf5c4dc8909426781 and state0=0x04058a22026028c9, state1=0xa031034c1e000dbd`
	`state0=0x28610003868c612d, state1=0xf5c4fc8909426780 and state0=0x04058a22026028c9, state1=0xa031234c1e000dbc`
	`state0=0x28610003868c612d, state1=0xf5c4fc8909426781 and state0=0x04058a22026028c9, state1=0xa031234c1e000dbd`
	`state0=0x28610003868c61ad, state1=0x75c4dc8909426780 and state0=0x04058a2202602949, state1=0x2031034c1e000dbc`
	`state0=0x28610003868c61ad, state1=0x75c4dc8909426781 and state0=0x04058a2202602949, state1=0x2031034c1e000dbd`
	`state0=0x28610003868c61ad, state1=0xf5c4dc8909426780 and state0=0x04058a2202602949, state1=0xa031034c1e000dbc`
	`state0=0x28610003868c61ad, state1=0xf5c4dc8909426781 and state0=0x04058a2202602949, state1=0xa031034c1e000dbd`
	`state0=0x28610003868c61ad, state1=0xf5c4fc8909426780 and state0=0x04058a2202602949, state1=0xa031234c1e000dbc`
	`state0=0x28610003868c61ad, state1=0xf5c4fc8909426781 and state0=0x04058a2202602949, state1=0xa031234c1e000dbd`
	`state0=0x28610013868c60ad, state1=0xf5c4fc8909426780 and state0=0x04058a3202602849, state1=0xa031234c1e000dbc`
	`state0=0x28610013868c60ad, state1=0xf5c4fc8909426781 and state0=0x04058a3202602849, state1=0xa031234c1e000dbd`
	`state0=0x28610013868c612d, state1=0xf5c4fc8909426781 and state0=0x04058a32026028c9, state1=0xa031234c1e000dbd`
	`state0=0x28610013868c61ad, state1=0xf5c4fc8909426780 and state0=0x04058a3202602949, state1=0xa031234c1e000dbc`
	`state0=0x28610013868c61ad, state1=0xf5c4fc8909426781 and state0=0x04058a3202602949, state1=0xa031234c1e000dbd`
	`state0=0x28a08003864c60ad, state1=0x75c4dc8109426780 and state0=0x04450a2202202849, state1=0x203103441e000dbc`
	`state0=0x28a08003864c60ad, state1=0x75c4dc8109526780 and state0=0x04450a2202202849, state1=0x203103441e100dbc`
	`state0=0x29008003864c60ad, state1=0x75c4dc8109426780 and state0=0x04a50a2202202849, state1=0x203103441e000dbc`
	`state0=0x29008003864c60ad, state1=0x75c4dc81094267c2 and state0=0x04a50a2202202849, state1=0x203103441e000dfe`
	`state0=0x29008003868c622d, state1=0x75c4dc81094267c0 and state0=0x04a50a22026029c9, state1=0x203103441e000dfc`
	`state0=0x29008003868c622d, state1=0x75c4dc81094267c2 and state0=0x04a50a22026029c9, state1=0x203103441e000dfe`
	`state0=0x29208003864c60ad, state1=0x75c4dc8109426780 and state0=0x04c50a2202202849, state1=0x203103441e000dbc`
	`state0=0x29208003864c60ad, state1=0x75c4dc8109526780 and state0=0x04c50a2202202849, state1=0x203103441e100dbc`
	`state0=0x29208003864c60ad, state1=0x75c4dc8909426780 and state0=0x04c50a2202202849, state1=0x2031034c1e000dbc`
	`state0=0x374120b640323040, state1=0x5927463e83e9cd80 and state0=0xfc86864177713c23, state1=0x6704e483bd95ac06`
	`state0=0x374120b640323040, state1=0x5937063e83e94580 and state0=0xfc86864177713c23, state1=0x6714a483bd952406`
	`state0=0x374120b640323040, state1=0x5937463e83e9cd80 and state0=0xfc86864177713c23, state1=0x6714e483bd95ac06`
	`state0=0x374120b640323040, state1=0xd937063e83e94580 and state0=0xfc86864177713c23, state1=0xe714a483bd952406`
	`state0=0x374120b640323042, state1=0x5937063e83e94580 and state0=0xfc86864177713c25, state1=0x6714a483bd952406`
	`state0=0x374120b640323042, state1=0x5937463e83e9c580 and state0=0xfc86864177713c25, state1=0x6714e483bd95a406`
	`state0=0x374120b640323042, state1=0x5937463e83e9cd80 and state0=0xfc86864177713c25, state1=0x6714e483bd95ac06`
	`state0=0x374120b640323042, state1=0xd937063e83e94580 and state0=0xfc86864177713c25, state1=0xe714a483bd952406`
	`state0=0x374120b640323044, state1=0x5937063e83e94580 and state0=0xfc86864177713c27, state1=0x6714a483bd952406`
	`state0=0x374120b640323044, state1=0xd937063e83e94580 and state0=0xfc86864177713c27, state1=0xe714a483bd952406`
	`state0=0x374120b640323240, state1=0x5937063e83e94580 and state0=0xfc86864177713e23, state1=0x6714a483bd952406`
	`state0=0x374120b640323240, state1=0xd937063e83e94580 and state0=0xfc86864177713e23, state1=0xe714a483bd952406`
	`state0=0x374120b640323242, state1=0x5937063e83e94580 and state0=0xfc86864177713e25, state1=0x6714a483bd952406`
	`state0=0x374120b640323242, state1=0xd937063e83e94580 and state0=0xfc86864177713e25, state1=0xe714a483bd952406`
	`state0=0x374120b640323244, state1=0x5937063e83e94580 and state0=0xfc86864177713e27, state1=0x6714a483bd952406`
	`state0=0x374120b640323244, state1=0xd937063e83e94580 and state0=0xfc86864177713e27, state1=0xe714a483bd952406`
	`state0=0x374130b640323040, state1=0x5937063e83e94580 and state0=0xfc86964177713c23, state1=0x6714a483bd952406`
	`state0=0x374130b640323040, state1=0x5937463e83e9cd80 and state0=0xfc86964177713c23, state1=0x6714e483bd95ac06`
	`state0=0x374130b640323040, state1=0xd937063e83e94580 and state0=0xfc86964177713c23, state1=0xe714a483bd952406`
	`state0=0x374130b640323042, state1=0x5937063e83e94580 and state0=0xfc86964177713c25, state1=0x6714a483bd952406`
	`state0=0x374130b640323042, state1=0x5937463e83e94580 and state0=0xfc86964177713c25, state1=0x6714e483bd952406`
	`state0=0x374130b640323042, state1=0x5937463e83e9c580 and state0=0xfc86964177713c25, state1=0x6714e483bd95a406`
	`state0=0x374130b640323042, state1=0xd937063e83e94580 and state0=0xfc86964177713c25, state1=0xe714a483bd952406`
	`state0=0x374130b640323042, state1=0xd937463e83e94580 and state0=0xfc86964177713c25, state1=0xe714e483bd952406`
	`state0=0x374130b640323044, state1=0x5937063e83e94580 and state0=0xfc86964177713c27, state1=0x6714a483bd952406`
	`state0=0x374130b640323044, state1=0xd937063e83e94580 and state0=0xfc86964177713c27, state1=0xe714a483bd952406`
	`state0=0x374130b640323240, state1=0x5937063e83e94580 and state0=0xfc86964177713e23, state1=0x6714a483bd952406`
	`state0=0x374130b640323240, state1=0xd937063e83e94580 and state0=0xfc86964177713e23, state1=0xe714a483bd952406`
	`state0=0x374130b640323242, state1=0x5937063e83e94580 and state0=0xfc86964177713e25, state1=0x6714a483bd952406`
	`state0=0x374130b640323242, state1=0xd937063e83e94580 and state0=0xfc86964177713e25, state1=0xe714a483bd952406`
	`state0=0x374130b640323244, state1=0x5937063e83e94580 and state0=0xfc86964177713e27, state1=0x6714a483bd952406`
	`state0=0x374130b640323244, state1=0xd937063e83e94580 and state0=0xfc86964177713e27, state1=0xe714a483bd952406`
	`state0=0x374130b64032b042, state1=0x5937463e83e94580 and state0=0xfc8696417771bc25, state1=0x6714e483bd952406`
	`state0=0x374130b64032b042, state1=0xd937463e83e94580 and state0=0xfc8696417771bc25, state1=0xe714e483bd952406`
	`state0=0x374180bc40323040, state1=0x5927463c83e9cd80 and state0=0xfc86e64777713c23, state1=0x6704e481bd95ac06`
	`state0=0x374180bc40323040, state1=0x5927463e83e9cd80 and state0=0xfc86e64777713c23, state1=0x6704e483bd95ac06`
	`state0=0x400c04020b800081, state1=0x1c92469dd7050810 and state0=0x048208a007702078, state1=0xe02c818000031007`
	`state0=0x400c04020b800081, state1=0x9c92469dd7050810 and state0=0x048208a007702078, state1=0x602c818000031007`
	`state0=0x4080040209800080, state1=0x1cd2469dd7050810 and state0=0x04f608a005702077, state1=0xe06c818000031007`
	`state0=0x4080040209800080, state1=0x9cd2469dd7050810 and state0=0x04f608a005702077, state1=0x606c818000031007`
	`state0=0x4080040219800080, state1=0x1cd2469dd7050810 and state0=0x04f608a015702077, state1=0xe06c818000031007`
	`state0=0x4080040219800080, state1=0x1dd2469dd7050810 and state0=0x04f608a015702077, state1=0xe16c818000031007`
	`state0=0x4080040219800080, state1=0x9cd2469dd7050810 and state0=0x04f608a015702077, state1=0x606c818000031007`
	`state0=0x4080040219800080, state1=0x9dd2469dd7050810 and state0=0x04f608a015702077, state1=0x616c818000031007`
	`state0=0x4088040209800080, state1=0x1cd2469dd7050810 and state0=0x04fe08a005702077, state1=0xe06c818000031007`
	`state0=0x4088040209800080, state1=0x9cd2469dd7050810 and state0=0x04fe08a005702077, state1=0x606c818000031007`
	`state0=0x4088040219800080, state1=0x1cd2469dd7050810 and state0=0x04fe08a015702077, state1=0xe06c818000031007`
	`state0=0x4088040219800080, state1=0x1dd2469dd7050810 and state0=0x04fe08a015702077, state1=0xe16c818000031007`
	`state0=0x4088040219800080, state1=0x9cd2469dd7050810 and state0=0x04fe08a015702077, state1=0x606c818000031007`
	`state0=0x4088040219800080, state1=0x9dd2469dd7050810 and state0=0x04fe08a015702077, state1=0x616c818000031007`
	`state0=0x4180040209800080, state1=0x1cd2469dd7050810 and state0=0x05f608a005702077, state1=0xe06c818000031007`
	`state0=0x4180040209800080, state1=0x9cd2469dd7050810 and state0=0x05f608a005702077, state1=0x606c818000031007`
	`state0=0x4180040219800080, state1=0x1cd2469dd7050810 and state0=0x05f608a015702077, state1=0xe06c818000031007`
	`state0=0x4180040219800080, state1=0x1dd2469dd7050810 and state0=0x05f608a015702077, state1=0xe16c818000031007`
	`state0=0x4180040219800080, state1=0x9cd2469dd7050810 and state0=0x05f608a015702077, state1=0x606c818000031007`
	`state0=0x4180040219800080, state1=0x9dd2469dd7050810 and state0=0x05f608a015702077, state1=0x616c818000031007`
	`state0=0x4188040209800080, state1=0x1cd2469dd7050810 and state0=0x05fe08a005702077, state1=0xe06c818000031007`
	`state0=0x4188040209800080, state1=0x9cd2469dd7050810 and state0=0x05fe08a005702077, state1=0x606c818000031007`
	`state0=0x4188040219800080, state1=0x1cd2469dd7050810 and state0=0x05fe08a015702077, state1=0xe06c818000031007`
	`state0=0x4188040219800080, state1=0x1dd2469dd7050810 and state0=0x05fe08a015702077, state1=0xe16c818000031007`
	`state0=0x4188040219800080, state1=0x9dd2469dd7050810 and state0=0x05fe08a015702077, state1=0x616c818000031007`
	`state0=0x44942e3c80155b84, state1=0xfb708679b90aa9d9 and state0=0xa038e113ca602414, state1=0x42a2a8802d514e7d`
	`state0=0x44942e3c80155b84, state1=0xfb708679b90aa9db and state0=0xa038e113ca602414, state1=0x42a2a8802d514e7f`
	`state0=0x44942e3c80155b84, state1=0xfb708679b90ab1d9 and state0=0xa038e113ca602414, state1=0x42a2a8802d51567d`
	`state0=0x44942e3c80155b84, state1=0xfb708679b90ab1db and state0=0xa038e113ca602414, state1=0x42a2a8802d51567f`
	`state0=0x54942e2c80155b84, state1=0xfb708679b90aa9d9 and state0=0xb038e103ca602414, state1=0x42a2a8802d514e7d`
	`state0=0x54942e2c80155b84, state1=0xfb708679b90aa9db and state0=0xb038e103ca602414, state1=0x42a2a8802d514e7f`
	`state0=0x54942e2c80175b84, state1=0xfb708679b90aa9d9 and state0=0xb038e103ca622414, state1=0x42a2a8802d514e7d`
	`state0=0x54942e2c80175b84, state1=0xfb708679b90aa9db and state0=0xb038e103ca622414, state1=0x42a2a8802d514e7f`
	`state0=0x54942e3c80155b84, state1=0xfb708679b90aa9d9 and state0=0xb038e113ca602414, state1=0x42a2a8802d514e7d`
	`state0=0x54942e3c80155b84, state1=0xfb708679b90aa9db and state0=0xb038e113ca602414, state1=0x42a2a8802d514e7f`
	`state0=0x54942e3c80175b84, state1=0xfb708679b90aa9d9 and state0=0xb038e113ca622414, state1=0x42a2a8802d514e7d`
	`state0=0x54942e3c80175b84, state1=0xfb708679b90aa9db and state0=0xb038e113ca622414, state1=0x42a2a8802d514e7f`
	`state0=0x54946d2c80155b84, state1=0xfb708779b90aa9d9 and state0=0xb0392003ca602414, state1=0x42a2a9802d514e7d`
	`state0=0x54946d2c80155b84, state1=0xfb708779b90aa9db and state0=0xb0392003ca602414, state1=0x42a2a9802d514e7f`
	`state0=0x54946d2c80175b84, state1=0xfb708779b90aa9d9 and state0=0xb0392003ca622414, state1=0x42a2a9802d514e7d`
	`state0=0x54946d2c80175b84, state1=0xfb708779b90aa9db and state0=0xb0392003ca622414, state1=0x42a2a9802d514e7f`
	`state0=0x54946d3c80155b84, state1=0xfb708779b90aa9d9 and state0=0xb0392013ca602414, state1=0x42a2a9802d514e7d`
	`state0=0x54946d3c80155b84, state1=0xfb708779b90aa9db and state0=0xb0392013ca602414, state1=0x42a2a9802d514e7f`
	`state0=0x54946d3c80175b84, state1=0xfb708779b90aa9d9 and state0=0xb0392013ca622414, state1=0x42a2a9802d514e7d`
	`state0=0x54946d3c80175b84, state1=0xfb708779b90aa9db and state0=0xb0392013ca622414, state1=0x42a2a9802d514e7f`
	`state0=0x54946e2c80155b84, state1=0xfb708679b90aa9d9 and state0=0xb0392103ca602414, state1=0x42a2a8802d514e7d`
	`state0=0x54946e2c80155b84, state1=0xfb708679b90aa9db and state0=0xb0392103ca602414, state1=0x42a2a8802d514e7f`
	`state0=0x54946e2c80175b84, state1=0xfb708679b90aa9d9 and state0=0xb0392103ca622414, state1=0x42a2a8802d514e7d`
	`state0=0x54946e2c80175b84, state1=0xfb708679b90aa9db and state0=0xb0392103ca622414, state1=0x42a2a8802d514e7f`
	`state0=0x54946e3c80155b84, state1=0xfb708679b90aa9d9 and state0=0xb0392113ca602414, state1=0x42a2a8802d514e7d`
	`state0=0x54946e3c80155b84, state1=0xfb708679b90aa9db and state0=0xb0392113ca602414, state1=0x42a2a8802d514e7f`
	`state0=0x54946e3c80175b84, state1=0xfb708679b90aa9d9 and state0=0xb0392113ca622414, state1=0x42a2a8802d514e7d`
	`state0=0x54946e3c80175b84, state1=0xfb708679b90aa9db and state0=0xb0392113ca622414, state1=0x42a2a8802d514e7f`
	`state0=0x54d46d3c80155b84, state1=0x3b508779990aa9d9 and state0=0xb0792013ca602414, state1=0x8282a9800d514e7d`
	`state0=0x54d46d3c80155b84, state1=0x3b508779990aa9db and state0=0xb0792013ca602414, state1=0x8282a9800d514e7f`
	`state0=0x54d46d3c80155b84, state1=0x3f508779990aa9d9 and state0=0xb0792013ca602414, state1=0x8682a9800d514e7d`
	`state0=0x54d46d3c80155b84, state1=0x3f508779990aa9db and state0=0xb0792013ca602414, state1=0x8682a9800d514e7f`
	`state0=0x54d46d3c80155b84, state1=0x3f508779b90aa9d9 and state0=0xb0792013ca602414, state1=0x8682a9802d514e7d`
	`state0=0x54d46d3c80155b84, state1=0x3f508779b90aa9db and state0=0xb0792013ca602414, state1=0x8682a9802d514e7f`
	`state0=0x54d46d3c80155b84, state1=0xbb508779990aa9d9 and state0=0xb0792013ca602414, state1=0x0282a9800d514e7d`
	`state0=0x54d46d3c80155b84, state1=0xbb508779990aa9db and state0=0xb0792013ca602414, state1=0x0282a9800d514e7f`
	`state0=0x54d46d3c80155b84, state1=0xbf508779990aa9d9 and state0=0xb0792013ca602414, state1=0x0682a9800d514e7d`
	`state0=0x54d46d3c80155b84, state1=0xbf508779990aa9db and state0=0xb0792013ca602414, state1=0x0682a9800d514e7f`
	`state0=0x54d46d3c80155b84, state1=0xbf508779b90aa9d9 and state0=0xb0792013ca602414, state1=0x0682a9802d514e7d`
	`state0=0x54d46d3c80155b84, state1=0xbf508779b90aa9db and state0=0xb0792013ca602414, state1=0x0682a9802d514e7f`
	`state0=0x54d46d3c80155b85, state1=0x3b508779990aa9d9 and state0=0xb0792013ca602415, state1=0x8282a9800d514e7d`
	`state0=0x54d46d3c80155b85, state1=0x3b508779b90aa9d9 and state0=0xb0792013ca602415, state1=0x8282a9802d514e7d`
	`state0=0x54d46d3c80155b85, state1=0x3f508779990aa9d9 and state0=0xb0792013ca602415, state1=0x8682a9800d514e7d`
	`state0=0x54d46d3c80155b85, state1=0x3f508779b90aa9d9 and state0=0xb0792013ca602415, state1=0x8682a9802d514e7d`
	`state0=0x54d46d3c80155b85, state1=0xbb508779990aa9d9 and state0=0xb0792013ca602415, state1=0x0282a9800d514e7d`
	`state0=0x54d46d3c80155b85, state1=0xbb508779b90aa9d9 and state0=0xb0792013ca602415, state1=0x0282a9802d514e7d`
	`state0=0x54d46d3c80155b85, state1=0xbf508779990aa9d9 and state0=0xb0792013ca602415, state1=0x0682a9800d514e7d`
	`state0=0x54d46d3c80155b85, state1=0xbf508779b90aa9d9 and state0=0xb0792013ca602415, state1=0x0682a9802d514e7d`
	`state0=0x54d46d3c80155b85, state1=0xfb508779b90aa9d9 and state0=0xb0792013ca602415, state1=0x4282a9802d514e7d`
	`state0=0x54d46e3c80155b84, state1=0x3b508679990aa9d9 and state0=0xb0792113ca602414, state1=0x8282a8800d514e7d`
	`state0=0x54d46e3c80155b84, state1=0x3b508679990aa9db and state0=0xb0792113ca602414, state1=0x8282a8800d514e7f`
	`state0=0x54d46e3c80155b84, state1=0x3f508679990aa9d9 and state0=0xb0792113ca602414, state1=0x8682a8800d514e7d`
	`state0=0x54d46e3c80155b84, state1=0x3f508679990aa9db and state0=0xb0792113ca602414, state1=0x8682a8800d514e7f`
	`state0=0x54d46e3c80155b84, state1=0x3f508679b90aa9d9 and state0=0xb0792113ca602414, state1=0x8682a8802d514e7d`
	`state0=0x54d46e3c80155b84, state1=0x3f508679b90aa9db and state0=0xb0792113ca602414, state1=0x8682a8802d514e7f`
	`state0=0x54d46e3c80155b84, state1=0xbb508679990aa9c9 and state0=0xb0792113ca602414, state1=0x0282a8800d514e6d`
	`state0=0x54d46e3c80155b84, state1=0xbb508679990aa9d9 and state0=0xb0792113ca602414, state1=0x0282a8800d514e7d`
	`state0=0x54d46e3c80155b84, state1=0xbb508679990aa9db and state0=0xb0792113ca602414, state1=0x0282a8800d514e7f`
	`state0=0x54d46e3c80155b84, state1=0xbf508679990aa9d9 and state0=0xb0792113ca602414, state1=0x0682a8800d514e7d`
	`state0=0x54d46e3c80155b84, state1=0xbf508679990aa9db and state0=0xb0792113ca602414, state1=0x0682a8800d514e7f`
	`state0=0x54d46e3c80155b84, state1=0xbf508679b90aa9d9 and state0=0xb0792113ca602414, state1=0x0682a8802d514e7d`
	`state0=0x54d46e3c80155b84, state1=0xbf508679b90aa9db and state0=0xb0792113ca602414, state1=0x0682a8802d514e7f`
	`state0=0x54d46e3c80155b84, state1=0xfb508679b90aa9d9 and state0=0xb0792113ca602414, state1=0x4282a8802d514e7d`
	`state0=0x54d46e3c80155b84, state1=0xfb508679b90aa9db and state0=0xb0792113ca602414, state1=0x4282a8802d514e7f`
	`state0=0x54d46e3c80155b85, state1=0x3b508679990aa9d9 and state0=0xb0792113ca602415, state1=0x8282a8800d514e7d`
	`state0=0x54d46e3c80155b85, state1=0x3b508679b90aa9d9 and state0=0xb0792113ca602415, state1=0x8282a8802d514e7d`
	`state0=0x54d46e3c80155b85, state1=0x3f508679990aa9d9 and state0=0xb0792113ca602415, state1=0x8682a8800d514e7d`
	`state0=0x54d46e3c80155b85, state1=0x3f508679b90aa9d9 and state0=0xb0792113ca602415, state1=0x8682a8802d514e7d`
	`state0=0x54d46e3c80155b85, state1=0xbb508679990aa9d9 and state0=0xb0792113ca602415, state1=0x0282a8800d514e7d`
	`state0=0x54d46e3c80155b85, state1=0xbb508679b90aa9d9 and state0=0xb0792113ca602415, state1=0x0282a8802d514e7d`
	`state0=0x54d46e3c80155b85, state1=0xbf508679990aa9d9 and state0=0xb0792113ca602415, state1=0x0682a8800d514e7d`
	`state0=0x54d46e3c80155b85, state1=0xbf508679b90aa9d9 and state0=0xb0792113ca602415, state1=0x0682a8802d514e7d`
	`state0=0x54d46e3c80155b85, state1=0xfb508679b90aa9d9 and state0=0xb0792113ca602415, state1=0x4282a8802d514e7d`
	`state0=0x596802bd090d4190, state1=0x68080651e2a54083 and state0=0x224280c058821102, state1=0x91efb510cc0d0718`
	`state0=0x81405ba876004458, state1=0x81c024080840038d and state0=0x6088163400082883, state1=0x745049ebd2bb0078`
	`state0=0x81405ba876004458, state1=0x81c124080840038d and state0=0x6088163400082883, state1=0x745149ebd2bb0078`
	`state0=0x817b1ba876004458, state1=0x818524080840038d and state0=0x60c2d63400082883, state1=0x741549ebd2bb0078`
	`state0=0x817b1ba876004458, state1=0x818724080840038d and state0=0x60c2d63400082883, state1=0x741749ebd2bb0078`
	`state0=0x817b1ba876005458, state1=0x818524080840038d and state0=0x60c2d63400083883, state1=0x741549ebd2bb0078`
	`state0=0x817b1ba876005458, state1=0x818724080840038d and state0=0x60c2d63400083883, state1=0x741749ebd2bb0078`
	`state0=0x817b1ba876204458, state1=0x818524080840038d and state0=0x60c2d63400282883, state1=0x741549ebd2bb0078`
	`state0=0x817b1ba876204458, state1=0x818724080840038d and state0=0x60c2d63400282883, state1=0x741749ebd2bb0078`
	`state0=0x817b1ba876205458, state1=0x818524080840038d and state0=0x60c2d63400283883, state1=0x741549ebd2bb0078`
	`state0=0x817b1ba876205458, state1=0x818724080840038d and state0=0x60c2d63400283883, state1=0x741749ebd2bb0078`
	`state0=0x817b5ba876004458, state1=0x818524080840038d and state0=0x60c3163400082883, state1=0x741549ebd2bb0078`
	`state0=0x817b5ba876004458, state1=0x818724080840038d and state0=0x60c3163400082883, state1=0x741749ebd2bb0078`
	`state0=0x817b5ba876005458, state1=0x818524080840038d and state0=0x60c3163400083883, state1=0x741549ebd2bb0078`
	`state0=0x817b5ba876005458, state1=0x818724080840038d and state0=0x60c3163400083883, state1=0x741749ebd2bb0078`
	`state0=0x817b5ba876204458, state1=0x818524080840038d and state0=0x60c3163400282883, state1=0x741549ebd2bb0078`
	`state0=0x817b5ba876204458, state1=0x818724080840038d and state0=0x60c3163400282883, state1=0x741749ebd2bb0078`
	`state0=0x817b5ba876205458, state1=0x818524080840038d and state0=0x60c3163400283883, state1=0x741549ebd2bb0078`
	`state0=0x817b5ba876205458, state1=0x818724080840038d and state0=0x60c3163400283883, state1=0x741749ebd2bb0078`
	`state0=0x817f5ba876204458, state1=0x818124080840038d and state0=0x60c7163400282883, state1=0x741149ebd2bb0078`
	`state0=0x817f5ba876204458, state1=0x818424080840038d and state0=0x60c7163400282883, state1=0x741449ebd2bb0078`
	`state0=0x817f5ba876204458, state1=0x818524080840038d and state0=0x60c7163400282883, state1=0x741549ebd2bb0078`
	`state0=0x84942e2a80155b84, state1=0x7b708679b90ea9d9 and state0=0xe038e101ca602414, state1=0xc2a2a8802d554e7d`
	`state0=0x84942e2a80155b84, state1=0xfb708679b90ea9d9 and state0=0xe038e101ca602414, state1=0x42a2a8802d554e7d`
	`state0=0x84942e3c80155b84, state1=0x7b708679b90ea9d9 and state0=0xe038e113ca602414, state1=0xc2a2a8802d554e7d`
	`state0=0x84942e3c80155b84, state1=0xfb708679b90aa9d9 and state0=0xe038e113ca602414, state1=0x42a2a8802d514e7d`
	`state0=0x84942e3c80155b84, state1=0xfb708679b90ab1d9 and state0=0xe038e113ca602414, state1=0x42a2a8802d51567d`
	`state0=0x84942e3c80155b84, state1=0xfb708679b90ab1db and state0=0xe038e113ca602414, state1=0x42a2a8802d51567f`
	`state0=0x84942e3c80155b84, state1=0xfb708679b90ea9d9 and state0=0xe038e113ca602414, state1=0x42a2a8802d554e7d`
	`state0=0x84942e3c80195b84, state1=0xfb708679b90aa9d9 and state0=0xe038e113ca642414, state1=0x42a2a8802d514e7d`
	`state0=0x84942e3c80195b84, state1=0xfb708679b90ea9d9 and state0=0xe038e113ca642414, state1=0x42a2a8802d554e7d`
	`state0=0x8494302c80155b84, state1=0x7b708679b90ea9d9 and state0=0xe038e303ca602414, state1=0xc2a2a8802d554e7d`
	`state0=0x8494302c80155b84, state1=0xfb708679b90ea9d9 and state0=0xe038e303ca602414, state1=0x42a2a8802d554e7d`
	`state0=0x8611ad3d027cf7fb, state1=0x4cfea6730231140b and state0=0xed15eae9bec104fd, state1=0x330958923c50f612`
	`state0=0x89791b9876005458, state1=0x018724080944038d and state0=0x68c0d62400083883, state1=0xf41749ebd3bf0078`
	`state0=0x89791b9876005458, state1=0x018724180944038d and state0=0x68c0d62400083883, state1=0xf41749fbd3bf0078`
	`state0=0x89791b9876005458, state1=0x818724080940038d and state0=0x68c0d62400083883, state1=0x741749ebd3bb0078`
	`state0=0x89791b9876005458, state1=0x818724080940838d and state0=0x68c0d62400083883, state1=0x741749ebd3bb8078`
	`state0=0x89791b9876005458, state1=0x818724080944038d and state0=0x68c0d62400083883, state1=0x741749ebd3bf0078`
	`state0=0x89791b9876005458, state1=0x818724180944038d and state0=0x68c0d62400083883, state1=0x741749fbd3bf0078`
	`state0=0x897b1b9876005458, state1=0x818524080940038d and state0=0x68c2d62400083883, state1=0x741549ebd3bb0078`
	`state0=0x897b1b9876005458, state1=0x818724080940038d and state0=0x68c2d62400083883, state1=0x741749ebd3bb0078`
	`state0=0x897b1b987600d458, state1=0x818524080940038d and state0=0x68c2d6240008b883, state1=0x741549ebd3bb0078`
	`state0=0x897b1b987600d458, state1=0x818724080940038d and state0=0x68c2d6240008b883, state1=0x741749ebd3bb0078`
	`state0=0x897b1b9876205458, state1=0x818524080940038d and state0=0x68c2d62400283883, state1=0x741549ebd3bb0078`
	`state0=0x897b1b9876205458, state1=0x818724080940038d and state0=0x68c2d62400283883, state1=0x741749ebd3bb0078`
	`state0=0x897b1b987620d458, state1=0x818524080940038d and state0=0x68c2d6240028b883, state1=0x741549ebd3bb0078`
	`state0=0x897b1b987620d458, state1=0x818724080940038d and state0=0x68c2d6240028b883, state1=0x741749ebd3bb0078`
	`state0=0x897b1ba876004458, state1=0x818524080840038d and state0=0x68c2d63400082883, state1=0x741549ebd2bb0078`
	`state0=0x897b1ba876004458, state1=0x818724080840038d and state0=0x68c2d63400082883, state1=0x741749ebd2bb0078`
	`state0=0x897b1ba876005458, state1=0x818524080840038d and state0=0x68c2d63400083883, state1=0x741549ebd2bb0078`
	`state0=0x897b1ba876005458, state1=0x818524080940038d and state0=0x68c2d63400083883, state1=0x741549ebd3bb0078`
	`state0=0x897b1ba876005458, state1=0x818724080840038d and state0=0x68c2d63400083883, state1=0x741749ebd2bb0078`
	`state0=0x897b1ba876005458, state1=0x818724080940038d and state0=0x68c2d63400083883, state1=0x741749ebd3bb0078`
	`state0=0x897b1ba876204458, state1=0x818524080840038d and state0=0x68c2d63400282883, state1=0x741549ebd2bb0078`
	`state0=0x897b1ba876204458, state1=0x818724080840038d and state0=0x68c2d63400282883, state1=0x741749ebd2bb0078`
	`state0=0x897b1ba876205458, state1=0x818524080840038d and state0=0x68c2d63400283883, state1=0x741549ebd2bb0078`
	`state0=0x897b1ba876205458, state1=0x818524080940038d and state0=0x68c2d63400283883, state1=0x741549ebd3bb0078`
	`state0=0x897b1ba876205458, state1=0x818724080840038d and state0=0x68c2d63400283883, state1=0x741749ebd2bb0078`
	`state0=0x897b1ba876205458, state1=0x818724080940038d and state0=0x68c2d63400283883, state1=0x741749ebd3bb0078`
	`state0=0x897b5ba876004458, state1=0x818524080840038d and state0=0x68c3163400082883, state1=0x741549ebd2bb0078`
	`state0=0x897b5ba876004458, state1=0x818724080840038d and state0=0x68c3163400082883, state1=0x741749ebd2bb0078`
	`state0=0x897b5ba876005458, state1=0x818524080840038d and state0=0x68c3163400083883, state1=0x741549ebd2bb0078`
	`state0=0x897b5ba876005458, state1=0x818724080840038d and state0=0x68c3163400083883, state1=0x741749ebd2bb0078`
	`state0=0x897b5ba876204458, state1=0x818524080840038d and state0=0x68c3163400282883, state1=0x741549ebd2bb0078`
	`state0=0x897b5ba876204458, state1=0x818724080840038d and state0=0x68c3163400282883, state1=0x741749ebd2bb0078`
	`state0=0x897b5ba876205458, state1=0x818524080840038d and state0=0x68c3163400283883, state1=0x741549ebd2bb0078`
	`state0=0x897b5ba876205458, state1=0x818724080840038d and state0=0x68c3163400283883, state1=0x741749ebd2bb0078`
	`state0=0x897d1b9876005458, state1=0x818524080940038d and state0=0x68c4d62400083883, state1=0x741549ebd3bb0078`
	`state0=0x897d1b9876005458, state1=0x818724080940038d and state0=0x68c4d62400083883, state1=0x741749ebd3bb0078`
	`state0=0x897f1b9876005458, state1=0x818524080940038d and state0=0x68c6d62400083883, state1=0x741549ebd3bb0078`
	`state0=0x897f1b9876005458, state1=0x818724080940038d and state0=0x68c6d62400083883, state1=0x741749ebd3bb0078`
	`state0=0x897f1b987600d458, state1=0x818524080940038d and state0=0x68c6d6240008b883, state1=0x741549ebd3bb0078`
	`state0=0x897f1b987600d458, state1=0x818724080940038d and state0=0x68c6d6240008b883, state1=0x741749ebd3bb0078`
	`state0=0x897f1b9876205458, state1=0x818524080940038d and state0=0x68c6d62400283883, state1=0x741549ebd3bb0078`
	`state0=0x897f1b9876205458, state1=0x818724080940038d and state0=0x68c6d62400283883, state1=0x741749ebd3bb0078`
	`state0=0x897f1b987620d458, state1=0x818524080940038d and state0=0x68c6d6240028b883, state1=0x741549ebd3bb0078`
	`state0=0x897f1b987620d458, state1=0x818724080940038d and state0=0x68c6d6240028b883, state1=0x741749ebd3bb0078`
	`state0=0x897f1ba876005458, state1=0x818524080940038d and state0=0x68c6d63400083883, state1=0x741549ebd3bb0078`
	`state0=0x897f1ba876005458, state1=0x818724080940038d and state0=0x68c6d63400083883, state1=0x741749ebd3bb0078`
	`state0=0x897f1ba876205458, state1=0x818524080940038d and state0=0x68c6d63400283883, state1=0x741549ebd3bb0078`
	`state0=0x897f1ba876205458, state1=0x818724080940038d and state0=0x68c6d63400283883, state1=0x741749ebd3bb0078`
	`state0=0x897f5ba876204458, state1=0x818124080840038d and state0=0x68c7163400282883, state1=0x741149ebd2bb0078`
	`state0=0x897f5ba876204458, state1=0x818424080840038d and state0=0x68c7163400282883, state1=0x741449ebd2bb0078`
	`state0=0x8c94302c8015db74, state1=0x7b708679b80ea9d9 and state0=0xe838e303ca60a404, state1=0xc2a2a8802c554e7d`
	`state0=0x8c94302c8015db74, state1=0xfb708679b80ea9d9 and state0=0xe838e303ca60a404, state1=0x42a2a8802c554e7d`
	`state0=0x9400f8c600964c03, state1=0x62490c060a4f0398 and state0=0xe08450434910017e, state1=0x20a3cdb2d4a340bf`
	`state0=0x9400f8c600964c03, state1=0x62490c070a4f0398 and state0=0xe08450434910017e, state1=0x20a3cdb3d4a340bf`
	`state0=0x947db8c500168c03, state1=0x62490c070a4f0398 and state0=0xe10110424890417e, state1=0x20a3cdb3d4a340bf`
	`state0=0x947db8c50016ac03, state1=0x62490c070a4f0398 and state0=0xe10110424890617e, state1=0x20a3cdb3d4a340bf`
	`state0=0x947db8c5001e8c03, state1=0x62490c070a4f0398 and state0=0xe10110424898417e, state1=0x20a3cdb3d4a340bf`
	`state0=0x947db8c5001eac03, state1=0x62490c070a4f0398 and state0=0xe10110424898617e, state1=0x20a3cdb3d4a340bf`
	`state0=0x94d46d3c80155b85, state1=0x3b508779b90aa9d9 and state0=0xf0792013ca602415, state1=0x8282a9802d514e7d`
	`state0=0x94d46d3c80155b85, state1=0x7b508779b90aa9d9 and state0=0xf0792013ca602415, state1=0xc282a9802d514e7d`
	`state0=0x94d46d3c80155b85, state1=0xbb508779b90aa9d9 and state0=0xf0792013ca602415, state1=0x0282a9802d514e7d`
	`state0=0x94d46d3c80155b85, state1=0xfb508779b90aa9d9 and state0=0xf0792013ca602415, state1=0x4282a9802d514e7d`
	`state0=0x94d46e3c80155b85, state1=0x3b508679b90aa9d9 and state0=0xf0792113ca602415, state1=0x8282a8802d514e7d`
	`state0=0x94d46e3c80155b85, state1=0x7b508679b90aa9d9 and state0=0xf0792113ca602415, state1=0xc282a8802d514e7d`
	`state0=0x94d46e3c80155b85, state1=0xbb508679b90aa9d9 and state0=0xf0792113ca602415, state1=0x0282a8802d514e7d`
	`state0=0x94d46e3c80155b85, state1=0xfb508679b90aa9d9 and state0=0xf0792113ca602415, state1=0x4282a8802d514e7d`
	`state0=0x9c7db8c500168c03, state1=0x62490c070a4f0398 and state0=0xe90110424890417e, state1=0x20a3cdb3d4a340bf`
	`state0=0xa8610003868c60ad, state1=0xf5c4fc8909426780 and state0=0x84058a2202602849, state1=0xa031234c1e000dbc`
	`state0=0xa8610003868c60ad, state1=0xf5c4fc8909426781 and state0=0x84058a2202602849, state1=0xa031234c1e000dbd`
	`state0=0xa8610003868c612d, state1=0xf5c4fc8909426780 and state0=0x84058a22026028c9, state1=0xa031234c1e000dbc`
	`state0=0xa8610003868c612d, state1=0xf5c4fc8909426781 and state0=0x84058a22026028c9, state1=0xa031234c1e000dbd`
	`state0=0xa8610003868c61ad, state1=0xf5c4fc8909426780 and state0=0x84058a2202602949, state1=0xa031234c1e000dbc`
	`state0=0xa8610003868c61ad, state1=0xf5c4fc8909426781 and state0=0x84058a2202602949, state1=0xa031234c1e000dbd`
	`state0=0xa9390030d51e1008, state1=0x2b2c0dd0187c2684 and state0=0x0120a22000330804, state1=0x1698180100079000`
	`state0=0xa9390030d51e1008, state1=0xab2c0dd0187c2684 and state0=0x0120a22000330804, state1=0x9698180100079000`
	`state0=0xa9390038d51e1008, state1=0x2b2c0dd0187c2684 and state0=0x0120a22800330804, state1=0x1698180100079000`
	`state0=0xa9390038d51e1008, state1=0xab2c0dd0187c2684 and state0=0x0120a22800330804, state1=0x9698180100079000`
	`state0=0xafde908537981da0, state1=0x6861c213900f0518 and state0=0x0b3a561e04933020, state1=0xa9d21030c5a68382`
	`state0=0xafde908537981da0, state1=0x6861c213900f0558 and state0=0x0b3a561e04933020, state1=0xa9d21030c5a683c2`
	`state0=0xafde9085b7981da0, state1=0x6861c213900f0558 and state0=0x0b3a561e84933020, state1=0xa9d21030c5a683c2`
	`state0=0xafde90a537981da0, state1=0x6861c213900f0518 and state0=0x0b3a563e04933020, state1=0xa9d21030c5a68382`
	`state0=0xafde90a537981da0, state1=0x6861c213900f0558 and state0=0x0b3a563e04933020, state1=0xa9d21030c5a683c2`
	`state0=0xafde90a5b7981da0, state1=0x6861c213900f0558 and state0=0x0b3a563e84933020, state1=0xa9d21030c5a683c2`
	`state0=0xafdf90a537981da0, state1=0x6861c213900f0518 and state0=0x0b3b563e04933020, state1=0xa9d21030c5a68382`
	`state0=0xafdf90a537981da0, state1=0x6861c213900f0558 and state0=0x0b3b563e04933020, state1=0xa9d21030c5a683c2`
	`state0=0xc00804020b800080, state1=0x9c92469dd7050810 and state0=0x847e08a007702077, state1=0x602c818000031007`
	`state0=0xc080040209800080, state1=0x1cd2469dd7050810 and state0=0x84f608a005702077, state1=0xe06c818000031007`
	`state0=0xc080040209800080, state1=0x9cd2469dd7050810 and state0=0x84f608a005702077, state1=0x606c818000031007`
	`state0=0xc088040209800080, state1=0x1c92469dd7050810 and state0=0x84fe08a005702077, state1=0xe02c818000031007`
	`state0=0xc088040209800080, state1=0x1cd2469dd7050810 and state0=0x84fe08a005702077, state1=0xe06c818000031007`
	`state0=0xc088040209800080, state1=0x9c92469dd7050810 and state0=0x84fe08a005702077, state1=0x602c818000031007`
	`state0=0xc088040209800080, state1=0x9cd2469dd7050810 and state0=0x84fe08a005702077, state1=0x606c818000031007`
	`state0=0xc08804020b800080, state1=0x1c92469dd7050810 and state0=0x84fe08a007702077, state1=0xe02c818000031007`
	`state0=0xc08804020b800080, state1=0x9c92469dd7050810 and state0=0x84fe08a007702077, state1=0x602c818000031007`
	`state0=0xc180040209800080, state1=0x1cd2469dd7050810 and state0=0x85f608a005702077, state1=0xe06c818000031007`
	`state0=0xc180040209800080, state1=0x9cd2469dd7050810 and state0=0x85f608a005702077, state1=0x606c818000031007`
	`state0=0xc188040209800080, state1=0x1cd2469dd7050810 and state0=0x85fe08a005702077, state1=0xe06c818000031007`
	`state0=0xc188040209800080, state1=0x9cd2469dd7050810 and state0=0x85fe08a005702077, state1=0x606c818000031007`
	`state0=0xc9190030d51d1004, state1=0x2b2c0dd0187c2684 and state0=0x2100a22000320800, state1=0x1698180100079000`
	`state0=0xc9190030d51d1004, state1=0xab2c0dd0187c2684 and state0=0x2100a22000320800, state1=0x9698180100079000`
	`state0=0xcfdf90a537981da0, state1=0x4861c213900f0518 and state0=0x2b3b563e04933020, state1=0x89d21030c5a68382`

state0=0x28610003868c60ac, state1=0x75c4dc8909426780 and state0=0x04058a2202602848, state1=0x2031034c1e000dbc
state0=0x28610003868c60ad, state1=0x75c4dc8909426780 and state0=0x04058a2202602849, state1=0x2031034c1e000dbc
state0=0x28610003868c60ad, state1=0x75c4dc8909426781 and state0=0x04058a2202602849, state1=0x2031034c1e000dbd
state0=0x28610003868c60ad, state1=0xf5c4fc8909426780 and state0=0x04058a2202602849, state1=0xa031234c1e000dbc
state0=0x28610003868c60ad, state1=0xf5c4fc8909426781 and state0=0x04058a2202602849, state1=0xa031234c1e000dbd
state0=0x28610003868c612d, state1=0x75c4dc8909426780 and state0=0x04058a22026028c9, state1=0x2031034c1e000dbc
state0=0x28610003868c612d, state1=0x75c4dc8909426781 and state0=0x04058a22026028c9, state1=0x2031034c1e000dbd
state0=0x28610003868c612d, state1=0xf5c4dc8909426780 and state0=0x04058a22026028c9, state1=0xa031034c1e000dbc
state0=0x28610003868c612d, state1=0xf5c4dc8909426781 and state0=0x04058a22026028c9, state1=0xa031034c1e000dbd
state0=0x28610003868c612d, state1=0xf5c4fc8909426780 and state0=0x04058a22026028c9, state1=0xa031234c1e000dbc
state0=0x28610003868c612d, state1=0xf5c4fc8909426781 and state0=0x04058a22026028c9, state1=0xa031234c1e000dbd
state0=0x28610003868c61ad, state1=0x75c4dc8909426780 and state0=0x04058a2202602949, state1=0x2031034c1e000dbc
state0=0x28610003868c61ad, state1=0x75c4dc8909426781 and state0=0x04058a2202602949, state1=0x2031034c1e000dbd
state0=0x28610003868c61ad, state1=0xf5c4dc8909426780 and state0=0x04058a2202602949, state1=0xa031034c1e000dbc
state0=0x28610003868c61ad, state1=0xf5c4dc8909426781 and state0=0x04058a2202602949, state1=0xa031034c1e000dbd
state0=0x28610003868c61ad, state1=0xf5c4fc8909426780 and state0=0x04058a2202602949, state1=0xa031234c1e000dbc
state0=0x28610003868c61ad, state1=0xf5c4fc8909426781 and state0=0x04058a2202602949, state1=0xa031234c1e000dbd
state0=0x28610013868c60ad, state1=0xf5c4fc8909426780 and state0=0x04058a3202602849, state1=0xa031234c1e000dbc
state0=0x28610013868c60ad, state1=0xf5c4fc8909426781 and state0=0x04058a3202602849, state1=0xa031234c1e000dbd
state0=0x28610013868c612d, state1=0xf5c4fc8909426781 and state0=0x04058a32026028c9, state1=0xa031234c1e000dbd
state0=0x28610013868c61ad, state1=0xf5c4fc8909426780 and state0=0x04058a3202602949, state1=0xa031234c1e000dbc
state0=0x28610013868c61ad, state1=0xf5c4fc8909426781 and state0=0x04058a3202602949, state1=0xa031234c1e000dbd
state0=0x28a08003864c60ad, state1=0x75c4dc8109426780 and state0=0x04450a2202202849, state1=0x203103441e000dbc
state0=0x28a08003864c60ad, state1=0x75c4dc8109526780 and state0=0x04450a2202202849, state1=0x203103441e100dbc
state0=0x29008003864c60ad, state1=0x75c4dc8109426780 and state0=0x04a50a2202202849, state1=0x203103441e000dbc
state0=0x29008003864c60ad, state1=0x75c4dc81094267c2 and state0=0x04a50a2202202849, state1=0x203103441e000dfe
state0=0x29008003868c622d, state1=0x75c4dc81094267c0 and state0=0x04a50a22026029c9, state1=0x203103441e000dfc
state0=0x29008003868c622d, state1=0x75c4dc81094267c2 and state0=0x04a50a22026029c9, state1=0x203103441e000dfe
state0=0x29208003864c60ad, state1=0x75c4dc8109426780 and state0=0x04c50a2202202849, state1=0x203103441e000dbc
state0=0x29208003864c60ad, state1=0x75c4dc8109526780 and state0=0x04c50a2202202849, state1=0x203103441e100dbc
state0=0x29208003864c60ad, state1=0x75c4dc8909426780 and state0=0x04c50a2202202849, state1=0x2031034c1e000dbc
state0=0x374120b640323040, state1=0x5927463e83e9cd80 and state0=0xfc86864177713c23, state1=0x6704e483bd95ac06
state0=0x374120b640323040, state1=0x5937063e83e94580 and state0=0xfc86864177713c23, state1=0x6714a483bd952406
state0=0x374120b640323040, state1=0x5937463e83e9cd80 and state0=0xfc86864177713c23, state1=0x6714e483bd95ac06
state0=0x374120b640323040, state1=0xd937063e83e94580 and state0=0xfc86864177713c23, state1=0xe714a483bd952406
state0=0x374120b640323042, state1=0x5937063e83e94580 and state0=0xfc86864177713c25, state1=0x6714a483bd952406
state0=0x374120b640323042, state1=0x5937463e83e9c580 and state0=0xfc86864177713c25, state1=0x6714e483bd95a406
state0=0x374120b640323042, state1=0x5937463e83e9cd80 and state0=0xfc86864177713c25, state1=0x6714e483bd95ac06
state0=0x374120b640323042, state1=0xd937063e83e94580 and state0=0xfc86864177713c25, state1=0xe714a483bd952406
state0=0x374120b640323044, state1=0x5937063e83e94580 and state0=0xfc86864177713c27, state1=0x6714a483bd952406
state0=0x374120b640323044, state1=0xd937063e83e94580 and state0=0xfc86864177713c27, state1=0xe714a483bd952406
state0=0x374120b640323240, state1=0x5937063e83e94580 and state0=0xfc86864177713e23, state1=0x6714a483bd952406
state0=0x374120b640323240, state1=0xd937063e83e94580 and state0=0xfc86864177713e23, state1=0xe714a483bd952406
state0=0x374120b640323242, state1=0x5937063e83e94580 and state0=0xfc86864177713e25, state1=0x6714a483bd952406
state0=0x374120b640323242, state1=0xd937063e83e94580 and state0=0xfc86864177713e25, state1=0xe714a483bd952406
state0=0x374120b640323244, state1=0x5937063e83e94580 and state0=0xfc86864177713e27, state1=0x6714a483bd952406
state0=0x374120b640323244, state1=0xd937063e83e94580 and state0=0xfc86864177713e27, state1=0xe714a483bd952406
state0=0x374130b640323040, state1=0x5937063e83e94580 and state0=0xfc86964177713c23, state1=0x6714a483bd952406
state0=0x374130b640323040, state1=0x5937463e83e9cd80 and state0=0xfc86964177713c23, state1=0x6714e483bd95ac06
state0=0x374130b640323040, state1=0xd937063e83e94580 and state0=0xfc86964177713c23, state1=0xe714a483bd952406
state0=0x374130b640323042, state1=0x5937063e83e94580 and state0=0xfc86964177713c25, state1=0x6714a483bd952406
state0=0x374130b640323042, state1=0x5937463e83e94580 and state0=0xfc86964177713c25, state1=0x6714e483bd952406
state0=0x374130b640323042, state1=0x5937463e83e9c580 and state0=0xfc86964177713c25, state1=0x6714e483bd95a406
state0=0x374130b640323042, state1=0xd937063e83e94580 and state0=0xfc86964177713c25, state1=0xe714a483bd952406
state0=0x374130b640323042, state1=0xd937463e83e94580 and state0=0xfc86964177713c25, state1=0xe714e483bd952406
state0=0x374130b640323044, state1=0x5937063e83e94580 and state0=0xfc86964177713c27, state1=0x6714a483bd952406
state0=0x374130b640323044, state1=0xd937063e83e94580 and state0=0xfc86964177713c27, state1=0xe714a483bd952406
state0=0x374130b640323240, state1=0x5937063e83e94580 and state0=0xfc86964177713e23, state1=0x6714a483bd952406
state0=0x374130b640323240, state1=0xd937063e83e94580 and state0=0xfc86964177713e23, state1=0xe714a483bd952406
state0=0x374130b640323242, state1=0x5937063e83e94580 and state0=0xfc86964177713e25, state1=0x6714a483bd952406
state0=0x374130b640323242, state1=0xd937063e83e94580 and state0=0xfc86964177713e25, state1=0xe714a483bd952406
state0=0x374130b640323244, state1=0x5937063e83e94580 and state0=0xfc86964177713e27, state1=0x6714a483bd952406
state0=0x374130b640323244, state1=0xd937063e83e94580 and state0=0xfc86964177713e27, state1=0xe714a483bd952406
state0=0x374130b64032b042, state1=0x5937463e83e94580 and state0=0xfc8696417771bc25, state1=0x6714e483bd952406
state0=0x374130b64032b042, state1=0xd937463e83e94580 and state0=0xfc8696417771bc25, state1=0xe714e483bd952406
state0=0x374180bc40323040, state1=0x5927463c83e9cd80 and state0=0xfc86e64777713c23, state1=0x6704e481bd95ac06
state0=0x374180bc40323040, state1=0x5927463e83e9cd80 and state0=0xfc86e64777713c23, state1=0x6704e483bd95ac06
state0=0x400c04020b800081, state1=0x1c92469dd7050810 and state0=0x048208a007702078, state1=0xe02c818000031007
state0=0x400c04020b800081, state1=0x9c92469dd7050810 and state0=0x048208a007702078, state1=0x602c818000031007
state0=0x4080040209800080, state1=0x1cd2469dd7050810 and state0=0x04f608a005702077, state1=0xe06c818000031007
state0=0x4080040209800080, state1=0x9cd2469dd7050810 and state0=0x04f608a005702077, state1=0x606c818000031007
state0=0x4080040219800080, state1=0x1cd2469dd7050810 and state0=0x04f608a015702077, state1=0xe06c818000031007
state0=0x4080040219800080, state1=0x1dd2469dd7050810 and state0=0x04f608a015702077, state1=0xe16c818000031007
state0=0x4080040219800080, state1=0x9cd2469dd7050810 and state0=0x04f608a015702077, state1=0x606c818000031007
state0=0x4080040219800080, state1=0x9dd2469dd7050810 and state0=0x04f608a015702077, state1=0x616c818000031007
state0=0x4088040209800080, state1=0x1cd2469dd7050810 and state0=0x04fe08a005702077, state1=0xe06c818000031007
state0=0x4088040209800080, state1=0x9cd2469dd7050810 and state0=0x04fe08a005702077, state1=0x606c818000031007
state0=0x4088040219800080, state1=0x1cd2469dd7050810 and state0=0x04fe08a015702077, state1=0xe06c818000031007
state0=0x4088040219800080, state1=0x1dd2469dd7050810 and state0=0x04fe08a015702077, state1=0xe16c818000031007
state0=0x4088040219800080, state1=0x9cd2469dd7050810 and state0=0x04fe08a015702077, state1=0x606c818000031007
state0=0x4088040219800080, state1=0x9dd2469dd7050810 and state0=0x04fe08a015702077, state1=0x616c818000031007
state0=0x4180040209800080, state1=0x1cd2469dd7050810 and state0=0x05f608a005702077, state1=0xe06c818000031007
state0=0x4180040209800080, state1=0x9cd2469dd7050810 and state0=0x05f608a005702077, state1=0x606c818000031007
state0=0x4180040219800080, state1=0x1cd2469dd7050810 and state0=0x05f608a015702077, state1=0xe06c818000031007
state0=0x4180040219800080, state1=0x1dd2469dd7050810 and state0=0x05f608a015702077, state1=0xe16c818000031007
state0=0x4180040219800080, state1=0x9cd2469dd7050810 and state0=0x05f608a015702077, state1=0x606c818000031007
state0=0x4180040219800080, state1=0x9dd2469dd7050810 and state0=0x05f608a015702077, state1=0x616c818000031007
state0=0x4188040209800080, state1=0x1cd2469dd7050810 and state0=0x05fe08a005702077, state1=0xe06c818000031007
state0=0x4188040209800080, state1=0x9cd2469dd7050810 and state0=0x05fe08a005702077, state1=0x606c818000031007
state0=0x4188040219800080, state1=0x1cd2469dd7050810 and state0=0x05fe08a015702077, state1=0xe06c818000031007
state0=0x4188040219800080, state1=0x1dd2469dd7050810 and state0=0x05fe08a015702077, state1=0xe16c818000031007
state0=0x4188040219800080, state1=0x9dd2469dd7050810 and state0=0x05fe08a015702077, state1=0x616c818000031007
state0=0x44942e3c80155b84, state1=0xfb708679b90aa9d9 and state0=0xa038e113ca602414, state1=0x42a2a8802d514e7d
state0=0x44942e3c80155b84, state1=0xfb708679b90aa9db and state0=0xa038e113ca602414, state1=0x42a2a8802d514e7f
state0=0x44942e3c80155b84, state1=0xfb708679b90ab1d9 and state0=0xa038e113ca602414, state1=0x42a2a8802d51567d
state0=0x44942e3c80155b84, state1=0xfb708679b90ab1db and state0=0xa038e113ca602414, state1=0x42a2a8802d51567f
state0=0x54942e2c80155b84, state1=0xfb708679b90aa9d9 and state0=0xb038e103ca602414, state1=0x42a2a8802d514e7d
state0=0x54942e2c80155b84, state1=0xfb708679b90aa9db and state0=0xb038e103ca602414, state1=0x42a2a8802d514e7f
state0=0x54942e2c80175b84, state1=0xfb708679b90aa9d9 and state0=0xb038e103ca622414, state1=0x42a2a8802d514e7d
state0=0x54942e2c80175b84, state1=0xfb708679b90aa9db and state0=0xb038e103ca622414, state1=0x42a2a8802d514e7f
state0=0x54942e3c80155b84, state1=0xfb708679b90aa9d9 and state0=0xb038e113ca602414, state1=0x42a2a8802d514e7d
state0=0x54942e3c80155b84, state1=0xfb708679b90aa9db and state0=0xb038e113ca602414, state1=0x42a2a8802d514e7f
state0=0x54942e3c80175b84, state1=0xfb708679b90aa9d9 and state0=0xb038e113ca622414, state1=0x42a2a8802d514e7d
state0=0x54942e3c80175b84, state1=0xfb708679b90aa9db and state0=0xb038e113ca622414, state1=0x42a2a8802d514e7f
state0=0x54946d2c80155b84, state1=0xfb708779b90aa9d9 and state0=0xb0392003ca602414, state1=0x42a2a9802d514e7d
state0=0x54946d2c80155b84, state1=0xfb708779b90aa9db and state0=0xb0392003ca602414, state1=0x42a2a9802d514e7f
state0=0x54946d2c80175b84, state1=0xfb708779b90aa9d9 and state0=0xb0392003ca622414, state1=0x42a2a9802d514e7d
state0=0x54946d2c80175b84, state1=0xfb708779b90aa9db and state0=0xb0392003ca622414, state1=0x42a2a9802d514e7f
state0=0x54946d3c80155b84, state1=0xfb708779b90aa9d9 and state0=0xb0392013ca602414, state1=0x42a2a9802d514e7d
state0=0x54946d3c80155b84, state1=0xfb708779b90aa9db and state0=0xb0392013ca602414, state1=0x42a2a9802d514e7f
state0=0x54946d3c80175b84, state1=0xfb708779b90aa9d9 and state0=0xb0392013ca622414, state1=0x42a2a9802d514e7d
state0=0x54946d3c80175b84, state1=0xfb708779b90aa9db and state0=0xb0392013ca622414, state1=0x42a2a9802d514e7f
state0=0x54946e2c80155b84, state1=0xfb708679b90aa9d9 and state0=0xb0392103ca602414, state1=0x42a2a8802d514e7d
state0=0x54946e2c80155b84, state1=0xfb708679b90aa9db and state0=0xb0392103ca602414, state1=0x42a2a8802d514e7f
state0=0x54946e2c80175b84, state1=0xfb708679b90aa9d9 and state0=0xb0392103ca622414, state1=0x42a2a8802d514e7d
state0=0x54946e2c80175b84, state1=0xfb708679b90aa9db and state0=0xb0392103ca622414, state1=0x42a2a8802d514e7f
state0=0x54946e3c80155b84, state1=0xfb708679b90aa9d9 and state0=0xb0392113ca602414, state1=0x42a2a8802d514e7d
state0=0x54946e3c80155b84, state1=0xfb708679b90aa9db and state0=0xb0392113ca602414, state1=0x42a2a8802d514e7f
state0=0x54946e3c80175b84, state1=0xfb708679b90aa9d9 and state0=0xb0392113ca622414, state1=0x42a2a8802d514e7d
state0=0x54946e3c80175b84, state1=0xfb708679b90aa9db and state0=0xb0392113ca622414, state1=0x42a2a8802d514e7f
state0=0x54d46d3c80155b84, state1=0x3b508779990aa9d9 and state0=0xb0792013ca602414, state1=0x8282a9800d514e7d
state0=0x54d46d3c80155b84, state1=0x3b508779990aa9db and state0=0xb0792013ca602414, state1=0x8282a9800d514e7f
state0=0x54d46d3c80155b84, state1=0x3f508779990aa9d9 and state0=0xb0792013ca602414, state1=0x8682a9800d514e7d
state0=0x54d46d3c80155b84, state1=0x3f508779990aa9db and state0=0xb0792013ca602414, state1=0x8682a9800d514e7f
state0=0x54d46d3c80155b84, state1=0x3f508779b90aa9d9 and state0=0xb0792013ca602414, state1=0x8682a9802d514e7d
state0=0x54d46d3c80155b84, state1=0x3f508779b90aa9db and state0=0xb0792013ca602414, state1=0x8682a9802d514e7f
state0=0x54d46d3c80155b84, state1=0xbb508779990aa9d9 and state0=0xb0792013ca602414, state1=0x0282a9800d514e7d
state0=0x54d46d3c80155b84, state1=0xbb508779990aa9db and state0=0xb0792013ca602414, state1=0x0282a9800d514e7f
state0=0x54d46d3c80155b84, state1=0xbf508779990aa9d9 and state0=0xb0792013ca602414, state1=0x0682a9800d514e7d
state0=0x54d46d3c80155b84, state1=0xbf508779990aa9db and state0=0xb0792013ca602414, state1=0x0682a9800d514e7f
state0=0x54d46d3c80155b84, state1=0xbf508779b90aa9d9 and state0=0xb0792013ca602414, state1=0x0682a9802d514e7d
state0=0x54d46d3c80155b84, state1=0xbf508779b90aa9db and state0=0xb0792013ca602414, state1=0x0682a9802d514e7f
state0=0x54d46d3c80155b85, state1=0x3b508779990aa9d9 and state0=0xb0792013ca602415, state1=0x8282a9800d514e7d
state0=0x54d46d3c80155b85, state1=0x3b508779b90aa9d9 and state0=0xb0792013ca602415, state1=0x8282a9802d514e7d
state0=0x54d46d3c80155b85, state1=0x3f508779990aa9d9 and state0=0xb0792013ca602415, state1=0x8682a9800d514e7d
state0=0x54d46d3c80155b85, state1=0x3f508779b90aa9d9 and state0=0xb0792013ca602415, state1=0x8682a9802d514e7d
state0=0x54d46d3c80155b85, state1=0xbb508779990aa9d9 and state0=0xb0792013ca602415, state1=0x0282a9800d514e7d
state0=0x54d46d3c80155b85, state1=0xbb508779b90aa9d9 and state0=0xb0792013ca602415, state1=0x0282a9802d514e7d
state0=0x54d46d3c80155b85, state1=0xbf508779990aa9d9 and state0=0xb0792013ca602415, state1=0x0682a9800d514e7d
state0=0x54d46d3c80155b85, state1=0xbf508779b90aa9d9 and state0=0xb0792013ca602415, state1=0x0682a9802d514e7d
state0=0x54d46d3c80155b85, state1=0xfb508779b90aa9d9 and state0=0xb0792013ca602415, state1=0x4282a9802d514e7d
state0=0x54d46e3c80155b84, state1=0x3b508679990aa9d9 and state0=0xb0792113ca602414, state1=0x8282a8800d514e7d
state0=0x54d46e3c80155b84, state1=0x3b508679990aa9db and state0=0xb0792113ca602414, state1=0x8282a8800d514e7f
state0=0x54d46e3c80155b84, state1=0x3f508679990aa9d9 and state0=0xb0792113ca602414, state1=0x8682a8800d514e7d
state0=0x54d46e3c80155b84, state1=0x3f508679990aa9db and state0=0xb0792113ca602414, state1=0x8682a8800d514e7f
state0=0x54d46e3c80155b84, state1=0x3f508679b90aa9d9 and state0=0xb0792113ca602414, state1=0x8682a8802d514e7d
state0=0x54d46e3c80155b84, state1=0x3f508679b90aa9db and state0=0xb0792113ca602414, state1=0x8682a8802d514e7f
state0=0x54d46e3c80155b84, state1=0xbb508679990aa9c9 and state0=0xb0792113ca602414, state1=0x0282a8800d514e6d
state0=0x54d46e3c80155b84, state1=0xbb508679990aa9d9 and state0=0xb0792113ca602414, state1=0x0282a8800d514e7d
state0=0x54d46e3c80155b84, state1=0xbb508679990aa9db and state0=0xb0792113ca602414, state1=0x0282a8800d514e7f
state0=0x54d46e3c80155b84, state1=0xbf508679990aa9d9 and state0=0xb0792113ca602414, state1=0x0682a8800d514e7d
state0=0x54d46e3c80155b84, state1=0xbf508679990aa9db and state0=0xb0792113ca602414, state1=0x0682a8800d514e7f
state0=0x54d46e3c80155b84, state1=0xbf508679b90aa9d9 and state0=0xb0792113ca602414, state1=0x0682a8802d514e7d
state0=0x54d46e3c80155b84, state1=0xbf508679b90aa9db and state0=0xb0792113ca602414, state1=0x0682a8802d514e7f
state0=0x54d46e3c80155b84, state1=0xfb508679b90aa9d9 and state0=0xb0792113ca602414, state1=0x4282a8802d514e7d
state0=0x54d46e3c80155b84, state1=0xfb508679b90aa9db and state0=0xb0792113ca602414, state1=0x4282a8802d514e7f
state0=0x54d46e3c80155b85, state1=0x3b508679990aa9d9 and state0=0xb0792113ca602415, state1=0x8282a8800d514e7d
state0=0x54d46e3c80155b85, state1=0x3b508679b90aa9d9 and state0=0xb0792113ca602415, state1=0x8282a8802d514e7d
state0=0x54d46e3c80155b85, state1=0x3f508679990aa9d9 and state0=0xb0792113ca602415, state1=0x8682a8800d514e7d
state0=0x54d46e3c80155b85, state1=0x3f508679b90aa9d9 and state0=0xb0792113ca602415, state1=0x8682a8802d514e7d
state0=0x54d46e3c80155b85, state1=0xbb508679990aa9d9 and state0=0xb0792113ca602415, state1=0x0282a8800d514e7d
state0=0x54d46e3c80155b85, state1=0xbb508679b90aa9d9 and state0=0xb0792113ca602415, state1=0x0282a8802d514e7d
state0=0x54d46e3c80155b85, state1=0xbf508679990aa9d9 and state0=0xb0792113ca602415, state1=0x0682a8800d514e7d
state0=0x54d46e3c80155b85, state1=0xbf508679b90aa9d9 and state0=0xb0792113ca602415, state1=0x0682a8802d514e7d
state0=0x54d46e3c80155b85, state1=0xfb508679b90aa9d9 and state0=0xb0792113ca602415, state1=0x4282a8802d514e7d
state0=0x596802bd090d4190, state1=0x68080651e2a54083 and state0=0x224280c058821102, state1=0x91efb510cc0d0718
state0=0x81405ba876004458, state1=0x81c024080840038d and state0=0x6088163400082883, state1=0x745049ebd2bb0078
state0=0x81405ba876004458, state1=0x81c124080840038d and state0=0x6088163400082883, state1=0x745149ebd2bb0078
state0=0x817b1ba876004458, state1=0x818524080840038d and state0=0x60c2d63400082883, state1=0x741549ebd2bb0078
state0=0x817b1ba876004458, state1=0x818724080840038d and state0=0x60c2d63400082883, state1=0x741749ebd2bb0078
state0=0x817b1ba876005458, state1=0x818524080840038d and state0=0x60c2d63400083883, state1=0x741549ebd2bb0078
state0=0x817b1ba876005458, state1=0x818724080840038d and state0=0x60c2d63400083883, state1=0x741749ebd2bb0078
state0=0x817b1ba876204458, state1=0x818524080840038d and state0=0x60c2d63400282883, state1=0x741549ebd2bb0078
state0=0x817b1ba876204458, state1=0x818724080840038d and state0=0x60c2d63400282883, state1=0x741749ebd2bb0078
state0=0x817b1ba876205458, state1=0x818524080840038d and state0=0x60c2d63400283883, state1=0x741549ebd2bb0078
state0=0x817b1ba876205458, state1=0x818724080840038d and state0=0x60c2d63400283883, state1=0x741749ebd2bb0078
state0=0x817b5ba876004458, state1=0x818524080840038d and state0=0x60c3163400082883, state1=0x741549ebd2bb0078
state0=0x817b5ba876004458, state1=0x818724080840038d and state0=0x60c3163400082883, state1=0x741749ebd2bb0078
state0=0x817b5ba876005458, state1=0x818524080840038d and state0=0x60c3163400083883, state1=0x741549ebd2bb0078
state0=0x817b5ba876005458, state1=0x818724080840038d and state0=0x60c3163400083883, state1=0x741749ebd2bb0078
state0=0x817b5ba876204458, state1=0x818524080840038d and state0=0x60c3163400282883, state1=0x741549ebd2bb0078
state0=0x817b5ba876204458, state1=0x818724080840038d and state0=0x60c3163400282883, state1=0x741749ebd2bb0078
state0=0x817b5ba876205458, state1=0x818524080840038d and state0=0x60c3163400283883, state1=0x741549ebd2bb0078
state0=0x817b5ba876205458, state1=0x818724080840038d and state0=0x60c3163400283883, state1=0x741749ebd2bb0078
state0=0x817f5ba876204458, state1=0x818124080840038d and state0=0x60c7163400282883, state1=0x741149ebd2bb0078
state0=0x817f5ba876204458, state1=0x818424080840038d and state0=0x60c7163400282883, state1=0x741449ebd2bb0078
state0=0x817f5ba876204458, state1=0x818524080840038d and state0=0x60c7163400282883, state1=0x741549ebd2bb0078
state0=0x84942e2a80155b84, state1=0x7b708679b90ea9d9 and state0=0xe038e101ca602414, state1=0xc2a2a8802d554e7d
state0=0x84942e2a80155b84, state1=0xfb708679b90ea9d9 and state0=0xe038e101ca602414, state1=0x42a2a8802d554e7d
state0=0x84942e3c80155b84, state1=0x7b708679b90ea9d9 and state0=0xe038e113ca602414, state1=0xc2a2a8802d554e7d
state0=0x84942e3c80155b84, state1=0xfb708679b90aa9d9 and state0=0xe038e113ca602414, state1=0x42a2a8802d514e7d
state0=0x84942e3c80155b84, state1=0xfb708679b90ab1d9 and state0=0xe038e113ca602414, state1=0x42a2a8802d51567d
state0=0x84942e3c80155b84, state1=0xfb708679b90ab1db and state0=0xe038e113ca602414, state1=0x42a2a8802d51567f
state0=0x84942e3c80155b84, state1=0xfb708679b90ea9d9 and state0=0xe038e113ca602414, state1=0x42a2a8802d554e7d
state0=0x84942e3c80195b84, state1=0xfb708679b90aa9d9 and state0=0xe038e113ca642414, state1=0x42a2a8802d514e7d
state0=0x84942e3c80195b84, state1=0xfb708679b90ea9d9 and state0=0xe038e113ca642414, state1=0x42a2a8802d554e7d
state0=0x8494302c80155b84, state1=0x7b708679b90ea9d9 and state0=0xe038e303ca602414, state1=0xc2a2a8802d554e7d
state0=0x8494302c80155b84, state1=0xfb708679b90ea9d9 and state0=0xe038e303ca602414, state1=0x42a2a8802d554e7d
state0=0x8611ad3d027cf7fb, state1=0x4cfea6730231140b and state0=0xed15eae9bec104fd, state1=0x330958923c50f612
state0=0x89791b9876005458, state1=0x018724080944038d and state0=0x68c0d62400083883, state1=0xf41749ebd3bf0078
state0=0x89791b9876005458, state1=0x018724180944038d and state0=0x68c0d62400083883, state1=0xf41749fbd3bf0078
state0=0x89791b9876005458, state1=0x818724080940038d and state0=0x68c0d62400083883, state1=0x741749ebd3bb0078
state0=0x89791b9876005458, state1=0x818724080940838d and state0=0x68c0d62400083883, state1=0x741749ebd3bb8078
state0=0x89791b9876005458, state1=0x818724080944038d and state0=0x68c0d62400083883, state1=0x741749ebd3bf0078
state0=0x89791b9876005458, state1=0x818724180944038d and state0=0x68c0d62400083883, state1=0x741749fbd3bf0078
state0=0x897b1b9876005458, state1=0x818524080940038d and state0=0x68c2d62400083883, state1=0x741549ebd3bb0078
state0=0x897b1b9876005458, state1=0x818724080940038d and state0=0x68c2d62400083883, state1=0x741749ebd3bb0078
state0=0x897b1b987600d458, state1=0x818524080940038d and state0=0x68c2d6240008b883, state1=0x741549ebd3bb0078
state0=0x897b1b987600d458, state1=0x818724080940038d and state0=0x68c2d6240008b883, state1=0x741749ebd3bb0078
state0=0x897b1b9876205458, state1=0x818524080940038d and state0=0x68c2d62400283883, state1=0x741549ebd3bb0078
state0=0x897b1b9876205458, state1=0x818724080940038d and state0=0x68c2d62400283883, state1=0x741749ebd3bb0078
state0=0x897b1b987620d458, state1=0x818524080940038d and state0=0x68c2d6240028b883, state1=0x741549ebd3bb0078
state0=0x897b1b987620d458, state1=0x818724080940038d and state0=0x68c2d6240028b883, state1=0x741749ebd3bb0078
state0=0x897b1ba876004458, state1=0x818524080840038d and state0=0x68c2d63400082883, state1=0x741549ebd2bb0078
state0=0x897b1ba876004458, state1=0x818724080840038d and state0=0x68c2d63400082883, state1=0x741749ebd2bb0078
state0=0x897b1ba876005458, state1=0x818524080840038d and state0=0x68c2d63400083883, state1=0x741549ebd2bb0078
state0=0x897b1ba876005458, state1=0x818524080940038d and state0=0x68c2d63400083883, state1=0x741549ebd3bb0078
state0=0x897b1ba876005458, state1=0x818724080840038d and state0=0x68c2d63400083883, state1=0x741749ebd2bb0078
state0=0x897b1ba876005458, state1=0x818724080940038d and state0=0x68c2d63400083883, state1=0x741749ebd3bb0078
state0=0x897b1ba876204458, state1=0x818524080840038d and state0=0x68c2d63400282883, state1=0x741549ebd2bb0078
state0=0x897b1ba876204458, state1=0x818724080840038d and state0=0x68c2d63400282883, state1=0x741749ebd2bb0078
state0=0x897b1ba876205458, state1=0x818524080840038d and state0=0x68c2d63400283883, state1=0x741549ebd2bb0078
state0=0x897b1ba876205458, state1=0x818524080940038d and state0=0x68c2d63400283883, state1=0x741549ebd3bb0078
state0=0x897b1ba876205458, state1=0x818724080840038d and state0=0x68c2d63400283883, state1=0x741749ebd2bb0078
state0=0x897b1ba876205458, state1=0x818724080940038d and state0=0x68c2d63400283883, state1=0x741749ebd3bb0078
state0=0x897b5ba876004458, state1=0x818524080840038d and state0=0x68c3163400082883, state1=0x741549ebd2bb0078
state0=0x897b5ba876004458, state1=0x818724080840038d and state0=0x68c3163400082883, state1=0x741749ebd2bb0078
state0=0x897b5ba876005458, state1=0x818524080840038d and state0=0x68c3163400083883, state1=0x741549ebd2bb0078
state0=0x897b5ba876005458, state1=0x818724080840038d and state0=0x68c3163400083883, state1=0x741749ebd2bb0078
state0=0x897b5ba876204458, state1=0x818524080840038d and state0=0x68c3163400282883, state1=0x741549ebd2bb0078
state0=0x897b5ba876204458, state1=0x818724080840038d and state0=0x68c3163400282883, state1=0x741749ebd2bb0078
state0=0x897b5ba876205458, state1=0x818524080840038d and state0=0x68c3163400283883, state1=0x741549ebd2bb0078
state0=0x897b5ba876205458, state1=0x818724080840038d and state0=0x68c3163400283883, state1=0x741749ebd2bb0078
state0=0x897d1b9876005458, state1=0x818524080940038d and state0=0x68c4d62400083883, state1=0x741549ebd3bb0078
state0=0x897d1b9876005458, state1=0x818724080940038d and state0=0x68c4d62400083883, state1=0x741749ebd3bb0078
state0=0x897f1b9876005458, state1=0x818524080940038d and state0=0x68c6d62400083883, state1=0x741549ebd3bb0078
state0=0x897f1b9876005458, state1=0x818724080940038d and state0=0x68c6d62400083883, state1=0x741749ebd3bb0078
state0=0x897f1b987600d458, state1=0x818524080940038d and state0=0x68c6d6240008b883, state1=0x741549ebd3bb0078
state0=0x897f1b987600d458, state1=0x818724080940038d and state0=0x68c6d6240008b883, state1=0x741749ebd3bb0078
state0=0x897f1b9876205458, state1=0x818524080940038d and state0=0x68c6d62400283883, state1=0x741549ebd3bb0078
state0=0x897f1b9876205458, state1=0x818724080940038d and state0=0x68c6d62400283883, state1=0x741749ebd3bb0078
state0=0x897f1b987620d458, state1=0x818524080940038d and state0=0x68c6d6240028b883, state1=0x741549ebd3bb0078
state0=0x897f1b987620d458, state1=0x818724080940038d and state0=0x68c6d6240028b883, state1=0x741749ebd3bb0078
state0=0x897f1ba876005458, state1=0x818524080940038d and state0=0x68c6d63400083883, state1=0x741549ebd3bb0078
state0=0x897f1ba876005458, state1=0x818724080940038d and state0=0x68c6d63400083883, state1=0x741749ebd3bb0078
state0=0x897f1ba876205458, state1=0x818524080940038d and state0=0x68c6d63400283883, state1=0x741549ebd3bb0078
state0=0x897f1ba876205458, state1=0x818724080940038d and state0=0x68c6d63400283883, state1=0x741749ebd3bb0078
state0=0x897f5ba876204458, state1=0x818124080840038d and state0=0x68c7163400282883, state1=0x741149ebd2bb0078
state0=0x897f5ba876204458, state1=0x818424080840038d and state0=0x68c7163400282883, state1=0x741449ebd2bb0078
state0=0x8c94302c8015db74, state1=0x7b708679b80ea9d9 and state0=0xe838e303ca60a404, state1=0xc2a2a8802c554e7d
state0=0x8c94302c8015db74, state1=0xfb708679b80ea9d9 and state0=0xe838e303ca60a404, state1=0x42a2a8802c554e7d
state0=0x9400f8c600964c03, state1=0x62490c060a4f0398 and state0=0xe08450434910017e, state1=0x20a3cdb2d4a340bf
state0=0x9400f8c600964c03, state1=0x62490c070a4f0398 and state0=0xe08450434910017e, state1=0x20a3cdb3d4a340bf
state0=0x947db8c500168c03, state1=0x62490c070a4f0398 and state0=0xe10110424890417e, state1=0x20a3cdb3d4a340bf
state0=0x947db8c50016ac03, state1=0x62490c070a4f0398 and state0=0xe10110424890617e, state1=0x20a3cdb3d4a340bf
state0=0x947db8c5001e8c03, state1=0x62490c070a4f0398 and state0=0xe10110424898417e, state1=0x20a3cdb3d4a340bf
state0=0x947db8c5001eac03, state1=0x62490c070a4f0398 and state0=0xe10110424898617e, state1=0x20a3cdb3d4a340bf
state0=0x94d46d3c80155b85, state1=0x3b508779b90aa9d9 and state0=0xf0792013ca602415, state1=0x8282a9802d514e7d
state0=0x94d46d3c80155b85, state1=0x7b508779b90aa9d9 and state0=0xf0792013ca602415, state1=0xc282a9802d514e7d
state0=0x94d46d3c80155b85, state1=0xbb508779b90aa9d9 and state0=0xf0792013ca602415, state1=0x0282a9802d514e7d
state0=0x94d46d3c80155b85, state1=0xfb508779b90aa9d9 and state0=0xf0792013ca602415, state1=0x4282a9802d514e7d
state0=0x94d46e3c80155b85, state1=0x3b508679b90aa9d9 and state0=0xf0792113ca602415, state1=0x8282a8802d514e7d
state0=0x94d46e3c80155b85, state1=0x7b508679b90aa9d9 and state0=0xf0792113ca602415, state1=0xc282a8802d514e7d
state0=0x94d46e3c80155b85, state1=0xbb508679b90aa9d9 and state0=0xf0792113ca602415, state1=0x0282a8802d514e7d
state0=0x94d46e3c80155b85, state1=0xfb508679b90aa9d9 and state0=0xf0792113ca602415, state1=0x4282a8802d514e7d
state0=0x9c7db8c500168c03, state1=0x62490c070a4f0398 and state0=0xe90110424890417e, state1=0x20a3cdb3d4a340bf
state0=0xa8610003868c60ad, state1=0xf5c4fc8909426780 and state0=0x84058a2202602849, state1=0xa031234c1e000dbc
state0=0xa8610003868c60ad, state1=0xf5c4fc8909426781 and state0=0x84058a2202602849, state1=0xa031234c1e000dbd
state0=0xa8610003868c612d, state1=0xf5c4fc8909426780 and state0=0x84058a22026028c9, state1=0xa031234c1e000dbc
state0=0xa8610003868c612d, state1=0xf5c4fc8909426781 and state0=0x84058a22026028c9, state1=0xa031234c1e000dbd
state0=0xa8610003868c61ad, state1=0xf5c4fc8909426780 and state0=0x84058a2202602949, state1=0xa031234c1e000dbc
state0=0xa8610003868c61ad, state1=0xf5c4fc8909426781 and state0=0x84058a2202602949, state1=0xa031234c1e000dbd
state0=0xa9390030d51e1008, state1=0x2b2c0dd0187c2684 and state0=0x0120a22000330804, state1=0x1698180100079000
state0=0xa9390030d51e1008, state1=0xab2c0dd0187c2684 and state0=0x0120a22000330804, state1=0x9698180100079000
state0=0xa9390038d51e1008, state1=0x2b2c0dd0187c2684 and state0=0x0120a22800330804, state1=0x1698180100079000
state0=0xa9390038d51e1008, state1=0xab2c0dd0187c2684 and state0=0x0120a22800330804, state1=0x9698180100079000
state0=0xafde908537981da0, state1=0x6861c213900f0518 and state0=0x0b3a561e04933020, state1=0xa9d21030c5a68382
state0=0xafde908537981da0, state1=0x6861c213900f0558 and state0=0x0b3a561e04933020, state1=0xa9d21030c5a683c2
state0=0xafde9085b7981da0, state1=0x6861c213900f0558 and state0=0x0b3a561e84933020, state1=0xa9d21030c5a683c2
state0=0xafde90a537981da0, state1=0x6861c213900f0518 and state0=0x0b3a563e04933020, state1=0xa9d21030c5a68382
state0=0xafde90a537981da0, state1=0x6861c213900f0558 and state0=0x0b3a563e04933020, state1=0xa9d21030c5a683c2
state0=0xafde90a5b7981da0, state1=0x6861c213900f0558 and state0=0x0b3a563e84933020, state1=0xa9d21030c5a683c2
state0=0xafdf90a537981da0, state1=0x6861c213900f0518 and state0=0x0b3b563e04933020, state1=0xa9d21030c5a68382
state0=0xafdf90a537981da0, state1=0x6861c213900f0558 and state0=0x0b3b563e04933020, state1=0xa9d21030c5a683c2
state0=0xc00804020b800080, state1=0x9c92469dd7050810 and state0=0x847e08a007702077, state1=0x602c818000031007
state0=0xc080040209800080, state1=0x1cd2469dd7050810 and state0=0x84f608a005702077, state1=0xe06c818000031007
state0=0xc080040209800080, state1=0x9cd2469dd7050810 and state0=0x84f608a005702077, state1=0x606c818000031007
state0=0xc088040209800080, state1=0x1c92469dd7050810 and state0=0x84fe08a005702077, state1=0xe02c818000031007
state0=0xc088040209800080, state1=0x1cd2469dd7050810 and state0=0x84fe08a005702077, state1=0xe06c818000031007
state0=0xc088040209800080, state1=0x9c92469dd7050810 and state0=0x84fe08a005702077, state1=0x602c818000031007
state0=0xc088040209800080, state1=0x9cd2469dd7050810 and state0=0x84fe08a005702077, state1=0x606c818000031007
state0=0xc08804020b800080, state1=0x1c92469dd7050810 and state0=0x84fe08a007702077, state1=0xe02c818000031007
state0=0xc08804020b800080, state1=0x9c92469dd7050810 and state0=0x84fe08a007702077, state1=0x602c818000031007
state0=0xc180040209800080, state1=0x1cd2469dd7050810 and state0=0x85f608a005702077, state1=0xe06c818000031007
state0=0xc180040209800080, state1=0x9cd2469dd7050810 and state0=0x85f608a005702077, state1=0x606c818000031007
state0=0xc188040209800080, state1=0x1cd2469dd7050810 and state0=0x85fe08a005702077, state1=0xe06c818000031007
state0=0xc188040209800080, state1=0x9cd2469dd7050810 and state0=0x85fe08a005702077, state1=0x606c818000031007
state0=0xc9190030d51d1004, state1=0x2b2c0dd0187c2684 and state0=0x2100a22000320800, state1=0x1698180100079000
state0=0xc9190030d51d1004, state1=0xab2c0dd0187c2684 and state0=0x2100a22000320800, state1=0x9698180100079000
state0=0xcfdf90a537981da0, state1=0x4861c213900f0518 and state0=0x2b3b563e04933020, state1=0x89d21030c5a68382

Filename: z3. Size: 33kb. View raw, , hex, or download this file.

This paste expires on 2025-06-04 15:00:20.877933. Pasted through web.

Are you sure you'd like to remove this file?