Proofgold Signed Transaction

vin
PrCM5../51806.. PUUp7../63cc1..

vout

PrCM5../271ac.. 809.99 bars
TMe1U../3b891.. BOUNTY 1.00 bars
TMS91../711e4.. BOUNTY 1.00 bars
TMFKF../7b85c.. BOUNTY 1.00 bars
TMJGT../170e6.. BOUNTY 1.00 bars
TMPHB../b99f1.. BOUNTY 1.00 bars
TMS6m../7cf2f.. BOUNTY 1.00 bars
TMZ1i../91b70.. BOUNTY 1.00 bars
TMTsB../28652.. BOUNTY 1.00 bars
TMaPt../efd06.. BOUNTY 1.00 bars
TMNqT../8e67d.. BOUNTY 1.00 bars
TMTqL../1f46c.. BOUNTY 1.00 bars
TMHxE../fba76.. BOUNTY 1.00 bars
TMQrh../b68f5.. BOUNTY 1.00 bars
TMYg8../68767.. BOUNTY 1.00 bars
TMK83../07766.. BOUNTY 1.00 bars
TMKeB../c550f.. BOUNTY 1.00 bars
TMSTS../3a737.. BOUNTY 1.00 bars
TMGhq../f0553.. BOUNTY 1.00 bars
TMSbG../94b1c.. BOUNTY 1.00 bars
TMRcJ../53c37.. BOUNTY 1.00 bars
TMcLn../b8d92.. BOUNTY 1.00 bars
TMTaH../4fc88.. BOUNTY 1.00 bars
TMaBJ../6d217.. BOUNTY 1.00 bars
TMPxp../3b936.. BOUNTY 1.00 bars
TMLPs../3e3ef.. BOUNTY 1.00 bars
TMGgC../161e3.. BOUNTY 1.00 bars
TMZEw../35f8f.. BOUNTY 1.00 bars
TMLBv../d59d8.. BOUNTY 1.00 bars
TMTRk../8c915.. BOUNTY 1.00 bars
TMKVL../1112c.. BOUNTY 1.00 bars
TMRhb../bdc17.. BOUNTY 1.00 bars
TMbN5../901e8.. BOUNTY 1.00 bars
TMKtF../6270f.. BOUNTY 1.00 bars
TMVS2../3cf74.. BOUNTY 1.00 bars
TMQKh../54867.. BOUNTY 1.00 bars
TMPDo../6369a.. BOUNTY 1.00 bars
TMGdG../1563f.. BOUNTY 1.00 bars
TMXB3../1aeba.. BOUNTY 1.00 bars
TML72../fe4b8.. BOUNTY 1.00 bars
TMK6K../45bf3.. BOUNTY 1.00 bars
TMLQM../98b0d.. BOUNTY 1.00 bars
TMdHi../b125a.. BOUNTY 1.00 bars
TMTqk../6d4ae.. BOUNTY 1.00 bars
TMLK1../788ce.. BOUNTY 1.00 bars
TMawv../ef1d6.. BOUNTY 1.00 bars
TMPjE../de818.. BOUNTY 1.00 bars
TMMMF../95483.. BOUNTY 1.00 bars
TMUpE../2972f.. BOUNTY 1.00 bars
TMXcb../01536.. BOUNTY 1.00 bars
TMQim../8fa8e.. BOUNTY 1.00 bars
TMJrA../8d5ee.. BOUNTY 1.00 bars
TMFF5../37ec5.. BOUNTY 1.00 bars
TMcXn../f8347.. BOUNTY 1.00 bars
TMSm1../542fb.. BOUNTY 1.00 bars
TMU9f../dafc5.. BOUNTY 1.00 bars
TMLjg../4472d.. BOUNTY 1.00 bars
TMHCY../d75a5.. BOUNTY 1.00 bars
TMPyN../1f1b7.. BOUNTY 1.00 bars
TMbvT../d0467.. BOUNTY 1.00 bars
TMXLR../66a28.. BOUNTY 1.00 bars
TMTok../48893.. BOUNTY 1.00 bars
TMaXE../8f6ad.. BOUNTY 1.00 bars
TMbC3../1a5af.. BOUNTY 1.00 bars
TMbrY../a9303.. BOUNTY 1.00 bars
TMRCf../8ed8f.. BOUNTY 1.00 bars
TMLmz../397f9.. BOUNTY 1.00 bars
TMEuX../daf05.. BOUNTY 1.00 bars
TMaho../e0dcc.. BOUNTY 1.00 bars
TMXo2../533f1.. BOUNTY 1.00 bars
TMFa4../cffdd.. BOUNTY 1.00 bars
TMSAy../d2e13.. BOUNTY 1.00 bars
TMHqa../855f9.. BOUNTY 1.00 bars
TMaCa../0cf5e.. BOUNTY 1.00 bars
TMM4E../6fa05.. BOUNTY 1.00 bars
TMKzP../85c1d.. BOUNTY 1.00 bars
TMNXz../1cdd9.. BOUNTY 1.00 bars
TMMN4../fd898.. BOUNTY 1.00 bars
TMd6H../6cd22.. BOUNTY 1.00 bars
TMVn6../894b3.. BOUNTY 1.00 bars
TMMSq../40ac6.. BOUNTY 1.00 bars
TMTw7../515c8.. BOUNTY 1.00 bars
TMV16../8108d.. BOUNTY 1.00 bars
TMVxp../270d5.. BOUNTY 1.00 bars
TMSbA../2c52e.. BOUNTY 1.00 bars
TMLqm../0d341.. BOUNTY 1.00 bars
TML88../ec261.. BOUNTY 1.00 bars
TMYQb../facfd.. BOUNTY 1.00 bars
TMHdG../dacee.. BOUNTY 1.00 bars
TMN2F../4a541.. BOUNTY 1.00 bars
TMWiT../90b43.. BOUNTY 1.00 bars
TMKYS../d13b3.. BOUNTY 1.00 bars
TMTog../c2de9.. BOUNTY 1.00 bars
TMEpm../eee9d.. BOUNTY 1.00 bars
TMPKZ../ee824.. BOUNTY 1.00 bars
TMWam../3d332.. BOUNTY 1.00 bars
TMae7../e4e9a.. BOUNTY 1.00 bars
TMJeG../28c1f.. BOUNTY 1.00 bars
TMbnz../344e4.. BOUNTY 1.00 bars
TMHtw../e5674.. BOUNTY 1.00 bars
TMPup../a583b.. BOUNTY 1.00 bars
TMd86../ad3f1.. BOUNTY 1.00 bars
TMMJg../e0437.. BOUNTY 1.00 bars
TMT8c../a8f24.. BOUNTY 1.00 bars
TMSdp../a10fa.. BOUNTY 1.00 bars
TMGbZ../21219.. BOUNTY 1.00 bars
TMcid../1a4a5.. BOUNTY 1.00 bars
TMNbU../99ae8.. BOUNTY 1.00 bars
TMFYS../71143.. BOUNTY 1.00 bars
TMQjJ../a7ec9.. BOUNTY 1.00 bars
TMWWm../52f82.. BOUNTY 1.00 bars
TMF6w../6c33f.. BOUNTY 1.00 bars
TMXi6../a835d.. BOUNTY 1.00 bars
TMMu6../24828.. BOUNTY 1.00 bars
TMQFa../a66ce.. BOUNTY 1.00 bars
TMZhN../39818.. BOUNTY 1.00 bars
TMPfk../f4818.. BOUNTY 1.00 bars
TMdmm../ccf75.. BOUNTY 1.00 bars
TMayN../eb675.. BOUNTY 1.00 bars
TMLy1../5d7fe.. BOUNTY 1.00 bars
TMLV2../e266b.. BOUNTY 1.00 bars
TMZi4../cd29b.. BOUNTY 1.00 bars
TMbK9../49cf9.. BOUNTY 1.00 bars
TMTNX../dc1cf.. BOUNTY 1.00 bars
TMRiF../3c65e.. BOUNTY 1.00 bars
TMRTY../d9af6.. BOUNTY 1.00 bars
TMZYD../ef170.. BOUNTY 1.00 bars
TMaxa../ce819.. BOUNTY 1.00 bars
TMayZ../df356.. BOUNTY 1.00 bars
TMFg2../7ed82.. BOUNTY 1.00 bars
TMKDv../98e21.. BOUNTY 1.00 bars
TMH9d../7349a.. BOUNTY 1.00 bars
TMZ3y../55662.. BOUNTY 1.00 bars
TMaQT../cb93e.. BOUNTY 1.00 bars
TMXh1../db6e7.. BOUNTY 1.00 bars
TMcch../5883b.. BOUNTY 1.00 bars
TMMpn../f4887.. BOUNTY 1.00 bars
TMJAW../b9ef5.. BOUNTY 1.00 bars
TMTfu../49faa.. BOUNTY 1.00 bars
TMVqG../6258e.. BOUNTY 1.00 bars
TMN3x../e75ff.. BOUNTY 1.00 bars
TMJUB../16262.. BOUNTY 1.00 bars
TMNx4../51222.. BOUNTY 1.00 bars
TMKto../3e0d1.. BOUNTY 1.00 bars
TMVvq../72d20.. BOUNTY 1.00 bars
TMMJm../b0180.. BOUNTY 1.00 bars
TMTDY../7ca2e.. BOUNTY 1.00 bars
TMNda../ed1ba.. BOUNTY 1.00 bars
TMWD5../e4091.. BOUNTY 1.00 bars
TMdVi../8e8a8.. BOUNTY 1.00 bars
TMLbQ../8e4b4.. BOUNTY 1.00 bars
TMHZK../4e3b1.. BOUNTY 1.00 bars
TMMon../1d1bd.. BOUNTY 1.00 bars
TMKeE../e65d4.. BOUNTY 1.00 bars
TMKWm../1c778.. BOUNTY 1.00 bars
TMcvf../f38fa.. BOUNTY 1.00 bars
TMMwg../9ee01.. BOUNTY 1.00 bars
TMLRT../26c47.. BOUNTY 1.00 bars
TMZiz../77ebd.. BOUNTY 1.00 bars
TMM1H../9d367.. BOUNTY 1.00 bars
TMGmZ../bb283.. BOUNTY 1.00 bars
TMdux../c3b3e.. BOUNTY 1.00 bars
TMKPU../4f42a.. BOUNTY 1.00 bars
TMKqY../b911e.. BOUNTY 1.00 bars
TMJhV../b2327.. BOUNTY 1.00 bars
TMLjX../f9d1c.. BOUNTY 1.00 bars
TMTPe../19e6f.. BOUNTY 1.00 bars
TMRcK../c571f.. BOUNTY 1.00 bars
TMGoj../0b4be.. BOUNTY 1.00 bars
TMY9J../89cdd.. BOUNTY 1.00 bars
TMSP4../2eaec.. BOUNTY 1.00 bars
TMGCH../1ef8e.. BOUNTY 1.00 bars
TMYMy../9f866.. BOUNTY 1.00 bars
TMSwt../27cac.. BOUNTY 1.00 bars
TMLoi../95c71.. BOUNTY 1.00 bars
TMGGK../1135e.. BOUNTY 1.00 bars
TMLgu../b387a.. BOUNTY 1.00 bars
TMaxk../043f7.. BOUNTY 1.00 bars
TMXrc../920ab.. BOUNTY 1.00 bars
TMYmx../b46ca.. BOUNTY 1.00 bars
TMHfC../0d102.. BOUNTY 1.00 bars
TMcaz../185b4.. BOUNTY 1.00 bars
TMFko../3beec.. BOUNTY 1.00 bars
TMKUG../8d784.. BOUNTY 1.00 bars
TMZCv../63b5d.. BOUNTY 1.00 bars
TMTLU../140cc.. BOUNTY 1.00 bars
TMKCu../7b996.. BOUNTY 1.00 bars
TMZwY../25c65.. BOUNTY 1.00 bars
TMNWh../78c16.. BOUNTY 1.00 bars
TMMJq../40763.. BOUNTY 1.00 bars
TMGzo../69efe.. BOUNTY 1.00 bars
TMJTp../6156a.. BOUNTY 1.00 bars
TMZgs../c8a1e.. BOUNTY 1.00 bars
TMKpJ../d5bdb.. BOUNTY 1.00 bars
TMY34../13d3b.. BOUNTY 1.00 bars
TMQ3s../711a3.. BOUNTY 1.00 bars
TMK8T../04281.. BOUNTY 1.00 bars
TMSuJ../5555a.. BOUNTY 1.00 bars
TMPUW../5d6ad.. BOUNTY 1.00 bars
TMcoT../e129f.. BOUNTY 1.00 bars
TMGL2../4db65.. BOUNTY 1.00 bars
TMJEc../170aa.. ownership of 33bf7.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMVmt../74731.. ownership of 70bda.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMdRG../3a246.. ownership of ea971.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMSx7../30466.. ownership of f2d95.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMWPx../db7f0.. ownership of 0bd31.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMMyF../3e145.. ownership of 98880.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMS5S../e1170.. ownership of 3dbab.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMReM../4913c.. ownership of 36a50.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMKj5../5344b.. ownership of 94f4d.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMJP8../262dd.. ownership of f7fd9.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMMtN../02c29.. ownership of 0871d.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMQHT../f79cf.. ownership of 507dc.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMPr1../0ec69.. ownership of d94c9.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMEuR../b09d1.. ownership of d3530.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMdSF../9a308.. ownership of 8230b.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMUPE../b58c0.. ownership of 25f1a.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMPHZ../99aba.. ownership of bd7e5.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMJwK../12d27.. ownership of 049ce.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMKqh../7c6ea.. ownership of 9116c.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMSfj../7b953.. ownership of 767d1.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMbGB../8d56e.. ownership of 9188a.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMQve../fbf8e.. ownership of 5cdb7.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMPQL../84618.. ownership of efd97.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMWUm../291ff.. ownership of 1085f.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMN8Q../af443.. ownership of 15860.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMUfU../5e3cd.. ownership of 235e0.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMEvR../6b0fc.. ownership of 5f7f9.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMdWh../f747f.. ownership of 53e81.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMGAt../d99ac.. ownership of 13d3b.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMPkQ../aef79.. ownership of 06169.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMJPM../5a948.. ownership of 4a208.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMXsh../c991c.. ownership of 098de.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMYXh../3b30d.. ownership of f5ea0.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMQE3../419b6.. ownership of f9b50.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMKdo../8cd11.. ownership of 19825.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMSzf../0abb8.. ownership of 9e9b0.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMHfs../8f878.. ownership of 98b2f.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMNF6../b2d53.. ownership of a49b2.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMR8V../7397f.. ownership of f944c.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMZY7../a99b6.. ownership of 1b78a.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMKpG../9d6b0.. ownership of f846b.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMHH8../a4306.. ownership of 3971b.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMYRb../2b7f6.. ownership of ee99e.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMNGu../6ea0f.. ownership of 41c03.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMSS2../99f49.. ownership of fcf4d.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMFm1../cf5d9.. ownership of e5f9f.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMaca../24fff.. ownership of f0c00.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMFgf../9d152.. ownership of 67c77.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMdWH../0e0eb.. ownership of 52f2b.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMHqR../c57a5.. ownership of e4d39.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMW1a../94de0.. ownership of a63b1.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMaKt../07940.. ownership of 80e3f.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMVow../17eaa.. ownership of 5615a.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMQpT../151c5.. ownership of 37cc9.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMLSx../b3c9d.. ownership of ae51c.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMc9J../536d1.. ownership of e16e2.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMWRk../2c0ed.. ownership of d3366.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMFhS../16135.. ownership of 49139.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMSZg../37ff5.. ownership of aaece.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMWgh../12f26.. ownership of 73400.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMVur../f0935.. ownership of 091a0.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMGKF../cdb9e.. ownership of 018a9.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMQS2../9fb71.. ownership of ed297.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMP7V../6d772.. ownership of d52be.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMEnu../0fc70.. ownership of 2def3.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMVB3../f8ad5.. ownership of 397a1.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMdcc../70705.. ownership of 67274.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMKmE../a89cb.. ownership of 040b5.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMU2y../7d6f3.. ownership of 85ed4.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMWhz../9f4bf.. ownership of 6b27d.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMTdj../d4c47.. ownership of a4ab9.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMTUe../7e7fb.. ownership of 4d9be.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMS4n../8e741.. ownership of 7c29f.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMciK../fe765.. ownership of d8351.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMUmS../9b633.. ownership of 22e44.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMd3q../17f56.. ownership of d3b5f.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMG9W../4c46e.. ownership of 147a5.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMRJH../59c24.. ownership of ea5de.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMcRM../3b1c7.. ownership of 88808.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMTCJ../646cd.. ownership of 75858.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMJaK../09fbc.. ownership of c6c38.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMLdx../fa242.. ownership of 6cc7b.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMREb../91e22.. ownership of 56f89.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMcqy../522a0.. ownership of 6cc5e.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMU7w../8b1d2.. ownership of bc624.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMK8h../b290f.. ownership of 475e4.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMG1y../903ca.. ownership of a61bc.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMZFK../48cdb.. ownership of e6252.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMG5f../ec5e3.. ownership of 1488f.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMas5../569e8.. ownership of f2025.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMN7B../d33fd.. ownership of 634d0.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMTsH../7b636.. ownership of a1182.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMRAy../dea06.. ownership of 20338.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMJ2p../eed3d.. ownership of e6c66.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMJch../28151.. ownership of 2fcc3.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMGHr../f5bc8.. ownership of 6f7f9.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMc8d../b4dc5.. ownership of c57b3.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMGGT../36b71.. ownership of d5c7e.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMZ1j../5f830.. ownership of 5cecb.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMdCt../d2f10.. ownership of e1787.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMVDt../a4541.. ownership of d0721.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMcWN../e6f91.. ownership of badba.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMZ5u../c1131.. ownership of 655fa.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMRQK../627b8.. ownership of 6cc98.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMKJM../0a377.. ownership of 00a07.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMVGP../c4bdd.. ownership of 99259.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMajf../131b2.. ownership of fd8f6.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMHUm../858f4.. ownership of 7c3a6.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMGfk../d6a9b.. ownership of f1650.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMKof../64faa.. ownership of dcf92.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMFth../6db4e.. ownership of f847f.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMc98../53b96.. ownership of f81bc.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMS9N../cda28.. ownership of af961.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMV3h../8e21c.. ownership of 2ebfc.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMWyt../f63fa.. ownership of f4254.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMTro../b942d.. ownership of d50fd.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMcj9../53cb4.. ownership of fb657.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMYvu../4cad0.. ownership of 74acf.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMNYj../5f65c.. ownership of 82860.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMdae../6e89d.. ownership of e2699.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMN2q../98704.. ownership of 336d5.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMUQo../5ea7b.. ownership of 96705.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TML4a../8130c.. ownership of c13c2.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMd3e../98427.. ownership of 2e7c5.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMaLE../fda1f.. ownership of 8b0cd.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMXv1../223e4.. ownership of d2f50.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMZLw../1bd3d.. ownership of 6f877.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMFzQ../dbca1.. ownership of 0cf7c.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMWmN../ae1d2.. ownership of 57854.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMNA7../40db8.. ownership of 16879.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMRtG../4960f.. ownership of 44a5b.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMSWw../98189.. ownership of 93e09.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMSX8../6bb2d.. ownership of 78f47.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMamL../5dbd0.. ownership of 3788a.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMUTe../6b132.. ownership of 24928.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMbo7../08b61.. ownership of 5c8ee.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMMDX../107ea.. ownership of 93baa.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMY5c../969a5.. ownership of 64500.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMb3M../4197c.. ownership of de3ab.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMZ1j../ca05b.. ownership of c9f26.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMPEt../3469d.. ownership of 8ecbc.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMbSe../77592.. ownership of 701bf.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMGfu../adf10.. ownership of 1f49d.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMNr6../d7ad8.. ownership of afae7.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMUX9../6f9d6.. ownership of 2599d.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMdpS../fc1b0.. ownership of a05a9.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMXKw../eab6f.. ownership of 5eca9.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMaAy../70b77.. ownership of 9d6ec.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMZaU../f88fd.. ownership of a58c4.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMNFG../f2c6a.. ownership of c3415.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMUAW../07dc5.. ownership of 7c23e.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMJQZ../db51a.. ownership of 8aba1.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMWvY../49925.. ownership of 1c486.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMGSG../dd50a.. ownership of 08e7c.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMMhK../bff2b.. ownership of abc04.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMdjF../a1555.. ownership of 2cc18.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMZzU../1b9e1.. ownership of 5cb5b.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMMkZ../76592.. ownership of 6843b.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMdXf../91123.. ownership of c3c30.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMM7E../55d6a.. ownership of 2caec.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMHMp../7be89.. ownership of f0c02.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMQwN../3dc71.. ownership of b959e.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMYDu../ada36.. ownership of 0f74a.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMGKx../1654b.. ownership of bd80b.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMLtJ../954cb.. ownership of 708c9.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMQW9../61aab.. ownership of 2d22d.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMUpC../d7566.. ownership of 32159.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMF7K../4681e.. ownership of 803b5.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMKwN../26c61.. ownership of 505bf.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMGHi../3894b.. ownership of 41658.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMXZ7../c955f.. ownership of 0205e.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMb9i../dfb4c.. ownership of 829e0.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMPse../698d7.. ownership of 8aefb.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMZ4v../0e31c.. ownership of 830d6.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMFGG../f8f57.. ownership of c1b53.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMcNw../e3d65.. ownership of d9813.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMVpj../3e2d1.. ownership of 872a0.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMKCa../8f806.. ownership of 12092.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMUFZ../aeea7.. ownership of d7011.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMLsW../6f325.. ownership of 8f9aa.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMWdd../181c8.. ownership of 814a9.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMdqZ../0247e.. ownership of 3a07a.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMGLw../dc7f0.. ownership of 9cf65.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMTeU../a0ebb.. ownership of 34e0d.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMWHg../d19b8.. ownership of bd5b6.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMZEB../e5c37.. ownership of 2b195.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMdWF../bec55.. ownership of 5767d.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMN41../9bbab.. ownership of 2cabb.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMbMr../c9d50.. ownership of 1188a.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMJD4../ee61a.. ownership of 3f12d.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMUtZ../d2638.. ownership of be796.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMKZP../ae6ba.. ownership of 444e0.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMU8S../b4b27.. ownership of 0f96c.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMLBM../4bb38.. ownership of 16bbe.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMVs7../31f60.. ownership of 56fa4.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMPfL../694b2.. ownership of f4657.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMGVW../5c3ac.. ownership of 96458.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMY7G../6cbeb.. ownership of 2727a.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMcEm../e9b17.. ownership of a7a44.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMQTz../8590b.. ownership of e612e.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMQgY../221ea.. ownership of f2ac9.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMJGe../a2be6.. ownership of 38c32.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMRww../1f3a9.. ownership of 352e1.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMaDb../3f97b.. ownership of 6d339.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMdpE../950d8.. ownership of 6831b.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMavU../5fb9a.. ownership of dbb41.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMGxP../c9de4.. ownership of 848bb.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMJyV../08f76.. ownership of 69fd0.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMFyz../3682d.. ownership of f1386.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMdcu../ede4e.. ownership of af086.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMXL4../57a84.. ownership of 6eea5.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMRoG../546e5.. ownership of 284f4.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMYCf../82eeb.. ownership of ed5e3.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMZqi../2d62e.. ownership of dbc48.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMVLf../5a346.. ownership of 8d61c.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMUQ2../51826.. ownership of 1baca.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMZby../89fcd.. ownership of b41cc.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMKfV../27ca4.. ownership of 3d41e.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMJ2s../dc643.. ownership of ef16c.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMWrx../aa986.. ownership of 94fa7.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMXNP../f8928.. ownership of b0d83.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMZnk../2cd06.. ownership of 0738f.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMPaP../662c0.. ownership of 1935a.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMFVx../30642.. ownership of ca67c.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMX92../950cb.. ownership of f0d5a.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMUH1../7e603.. ownership of 5d6de.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMMDT../232a3.. ownership of 07022.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMd9T../3d886.. ownership of a936d.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMMb4../0c2e7.. ownership of 65f4e.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMGYr../adba8.. ownership of fc521.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMSyJ../07915.. ownership of bb16b.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMPkw../727ae.. ownership of 6cc01.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMdiC../a2b43.. ownership of 9ed78.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMZxZ../9aedb.. ownership of 4e2c6.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMXWK../6d360.. ownership of 05043.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMEzV../72147.. ownership of f38a0.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMQw1../3296e.. ownership of ac550.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMKGL../f748a.. ownership of 993c1.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMLi5../13e74.. ownership of 0dda1.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMdLR../d5588.. ownership of 6df37.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMXfy../509ce.. ownership of 70d40.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMPDB../c37f8.. ownership of 7f370.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMWXA../929b1.. ownership of 8130f.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
TMVeL../724cc.. ownership of 5b244.. as obj with payaddr Pr8qe.. rights free controlledby Pr8qe.. upto 0
PUhzw../bd29c.. doc published by Pr8qe..

Definition 8130f.. := λ x0 x1 . ∀ x2 . In x2 x0 ⟶ nIn x2 x1
Definition 70d40.. := λ x0 . ∀ x1 : ο . (∀ x2 . and (and (Subq x2 x0) (atleast6 x2)) (nSubq x0 x2) ⟶ x1) ⟶ x1
Definition 0dda1.. := λ x0 . ∀ x1 : ο . (∀ x2 . and (and (Subq x2 x0) (70d40.. x2)) (nSubq x0 x2) ⟶ x1) ⟶ x1
Definition ac550.. := λ x0 . ∀ x1 : ο . (∀ x2 . and (and (Subq x2 x0) (0dda1.. x2)) (nSubq x0 x2) ⟶ x1) ⟶ x1
Definition 05043.. := λ x0 . ∀ x1 : ο . (∀ x2 . and (and (Subq x2 x0) (ac550.. x2)) (nSubq x0 x2) ⟶ x1) ⟶ x1
Definition 9ed78.. := λ x0 . ∀ x1 : ο . (∀ x2 . and (and (Subq x2 x0) (05043.. x2)) (nSubq x0 x2) ⟶ x1) ⟶ x1
Definition bb16b.. := λ x0 . ∀ x1 : ο . (∀ x2 . and (and (Subq x2 x0) (9ed78.. x2)) (nSubq x0 x2) ⟶ x1) ⟶ x1
Definition 65f4e.. := λ x0 . ∀ x1 : ο . (∀ x2 . and (and (Subq x2 x0) (bb16b.. x2)) (nSubq x0 x2) ⟶ x1) ⟶ x1
Definition 07022.. := λ x0 . ∀ x1 : ο . (∀ x2 . and (and (Subq x2 x0) (65f4e.. x2)) (nSubq x0 x2) ⟶ x1) ⟶ x1
Definition f0d5a.. := λ x0 . ∀ x1 : ο . (∀ x2 . and (and (Subq x2 x0) (07022.. x2)) (nSubq x0 x2) ⟶ x1) ⟶ x1
Definition 1935a.. := λ x0 . ∀ x1 : ο . (∀ x2 . and (and (Subq x2 x0) (f0d5a.. x2)) (nSubq x0 x2) ⟶ x1) ⟶ x1
Definition b0d83.. := 1
Definition ef16c.. := Sing b0d83..
Definition b41cc.. := ordsucc b0d83..
Definition 8d61c.. := Sing ef16c..
Definition ed5e3.. := Power ef16c..
Definition 6eea5.. := ordsucc ef16c..
Definition f1386.. := binunion b0d83.. 6eea5..
Definition 848bb.. := Sing b41cc..
Definition 6831b.. := SetAdjoin b0d83.. b41cc..
Definition 352e1.. := SetAdjoin ef16c.. b41cc..
Definition f2ac9.. := ordsucc b41cc..
Definition a7a44.. := SetAdjoin 8d61c.. b41cc..
Definition 96458.. := SetAdjoin ed5e3.. b41cc..
Definition 56fa4.. := SetAdjoin 6eea5.. b41cc..
Definition 0f96c.. := Power b41cc..
Definition be796.. := Sing 8d61c..
Definition 1188a.. := Power 8d61c..
Definition 5767d.. := SetAdjoin ef16c.. 8d61c..
Definition bd5b6.. := ordsucc 8d61c..
Definition 9cf65.. := SetAdjoin 848bb.. 8d61c..
Definition 814a9.. := binunion 848bb.. bd5b6..
Definition d7011.. := Sing ed5e3..
Definition 872a0.. := SetAdjoin ef16c.. ed5e3..
Definition c1b53.. := SetAdjoin 8d61c.. ed5e3..
Definition 8aefb.. := ordsucc ed5e3..
Definition 0205e.. := SetAdjoin 848bb.. ed5e3..
Definition 505bf.. := SetAdjoin be796.. ed5e3..
Definition 32159.. := setminus (Power ed5e3..) b0d83..
Definition 708c9.. := Power ed5e3..
Definition 0f74a.. := SetAdjoin bd5b6.. ed5e3..
Definition f0c02.. := Sing 6eea5..
Definition c3c30.. := ordsucc 6eea5..
Definition 5cb5b.. := SetAdjoin 848bb.. 6eea5..
Definition abc04.. := SetAdjoin be796.. 6eea5..
Definition 1c486.. := Power 6eea5..
Definition 7c23e.. := SetAdjoin d7011.. 6eea5..
Definition a58c4.. := binunion d7011.. c3c30..
Definition 5eca9.. := SetAdjoin 708c9.. 6eea5..
Definition 2599d.. := Sing f1386..
Definition 1f49d.. := ordsucc f1386..
Definition 8ecbc.. := Power f1386..
Definition de3ab.. := Sing 848bb..
Definition 93baa.. := Power 848bb..
Definition 24928.. := ordsucc 848bb..
Definition 78f47.. := SetAdjoin d7011.. 848bb..
Definition 44a5b.. := binunion d7011.. 24928..
Definition 57854.. := SetAdjoin 708c9.. 848bb..
Definition 6f877.. := SetAdjoin f0c02.. 848bb..
Definition 8b0cd.. := binunion f0c02.. 93baa..
Definition c13c2.. := SetAdjoin c3c30.. 848bb..
Definition 336d5.. := binunion f0c02.. 24928..
Definition 82860.. := SetAdjoin 1c486.. 848bb..
Definition fb657.. := binunion 2599d.. 336d5..
Definition f4254.. := Sing 6831b..
Definition af961.. := ordsucc 6831b..
Definition f847f.. := SetAdjoin 2599d.. 6831b..
Definition f1650.. := Power 6831b..
Definition fd8f6.. := Sing 352e1..
Definition 00a07.. := ordsucc 352e1..
Definition 655fa.. := SetAdjoin 2599d.. 352e1..
Definition d0721.. := Power 352e1..
Definition 5cecb.. := SetAdjoin f4254.. 352e1..
Definition c57b3.. := setminus (Power f2ac9..) (ordsucc f2ac9..)
Definition 2fcc3.. := setminus (Power f2ac9..) (Sing f2ac9..)
Definition 20338.. := binunion 2599d.. c57b3..
Definition 634d0.. := Sing f2ac9..
Definition 1488f.. := SetAdjoin ef16c.. f2ac9..
Definition a61bc.. := SetAdjoin 8d61c.. f2ac9..
Definition bc624.. := SetAdjoin 848bb.. f2ac9..
Definition 56f89.. := ordsucc f2ac9..
Definition c6c38.. := binunion 8d61c.. 56f89..
Definition 88808.. := SetAdjoin be796.. f2ac9..
Definition 147a5.. := SetAdjoin bd5b6.. f2ac9..
Definition 22e44.. := SetAdjoin d7011.. f2ac9..
Definition 7c29f.. := SetAdjoin f0c02.. f2ac9..
Definition a4ab9.. := SetAdjoin 2599d.. f2ac9..
Definition 85ed4.. := SetAdjoin de3ab.. f2ac9..
Definition 67274.. := SetAdjoin 93baa.. f2ac9..
Definition 2def3.. := SetAdjoin 24928.. f2ac9..
Definition ed297.. := binunion de3ab.. 56f89..
Definition 091a0.. := SetAdjoin f4254.. f2ac9..
Definition aaece.. := SetAdjoin fd8f6.. f2ac9..
Definition d3366.. := setminus (Power f2ac9..) 24928..
Definition ae51c.. := setminus (Power f2ac9..) 0f96c..
Definition 5615a.. := Power f2ac9..
Definition a63b1.. := binunion be796.. 5615a..
Definition 52f2b.. := binunion d7011.. 5615a..
Definition f0c00.. := binunion 708c9.. 5615a..
Definition fcf4d.. := binunion f0c02.. 5615a..
Definition ee99e.. := binunion 1c486.. 5615a..
Definition f846b.. := Sing a7a44..
Definition f944c.. := ordsucc a7a44..
Definition 98b2f.. := SetAdjoin d7011.. a7a44..
Definition 19825.. := SetAdjoin 2599d.. a7a44..
Definition f5ea0.. := Power a7a44..
Definition 4a208.. := Sing 96458..
Definition 13d3b.. := ordsucc 96458..
Definition 5f7f9.. := SetAdjoin 2599d.. 96458..
Definition 15860.. := setminus (Power 96458..) 57854..
Definition efd97.. := Power 96458..
Definition 9188a.. := Sing 56fa4..
Definition 9116c.. := SetAdjoin 2599d.. 56fa4..
Definition bd7e5.. := setminus (Power 56fa4..) 82860..
Definition 8230b.. := Power 56fa4..
Definition d94c9.. := setminus (Power 0f96c..) (ordsucc 0f96c..)
Definition 0871d.. := Sing 0f96c..
Definition 94f4d.. := ordsucc 0f96c..
Definition 3dbab.. := SetAdjoin be796.. 0f96c..
Definition 0bd31.. := SetAdjoin d7011.. 0f96c..
Definition ea971.. := SetAdjoin f0c02.. 0f96c..
Definition 33bf7.. := Power 0f96c..
Conjecture 7eda7.. : 8130f.. (SetAdjoin 44a5b.. 96458..) (setminus 8230b.. (SetAdjoin bd5b6.. 848bb..))
Conjecture 7f8fa.. : 8130f.. (SetAdjoin 336d5.. 96458..) (setminus 8230b.. 8b0cd..)
Conjecture 7a416.. : 8130f.. (SetAdjoin b41cc.. 352e1..) (setminus d94c9.. f0c00..)
Conjecture d2189.. : 8130f.. (binunion bd5b6.. 00a07..) (setminus d94c9.. ee99e..)
Conjecture 59c4e.. : 8130f.. (SetAdjoin (SetAdjoin 8d61c.. 848bb..) 6831b..) (setminus d94c9.. ee99e..)
Conjecture 3d477.. : 8130f.. (SetAdjoin 9cf65.. 6831b..) (setminus d94c9.. f0c00..)
Conjecture ae4a6.. : 8130f.. (setminus efd97.. a63b1..) (SetAdjoin af961.. 56fa4..)
Conjecture cb1bd.. : 8130f.. (SetAdjoin ef16c.. 6eea5..) (setminus d94c9.. ee99e..)
Conjecture 21225.. : 8130f.. (setminus efd97.. f1650..) (SetAdjoin 1f49d.. 56fa4..)
Conjecture 16314.. : 8130f.. (setminus efd97.. c57b3..) (SetAdjoin 5cb5b.. 56fa4..)
Conjecture 1d21b.. : 8130f.. (setminus ee99e.. 96458..) (SetAdjoin 4a208.. 56fa4..)
Conjecture 041ae.. : 8130f.. (SetAdjoin (setminus 5615a.. f2ac9..) 96458..) (SetAdjoin ef16c.. 56fa4..)
Conjecture 57ee2.. : 8130f.. (setminus d94c9.. 8230b..) (binunion fd8f6.. (ordsucc 56fa4..))
Conjecture 81a9f.. : 8130f.. (SetAdjoin (setminus 5615a.. 93baa..) 96458..) (SetAdjoin 7c23e.. 56fa4..)
Conjecture 594e8.. : 8130f.. (setminus fcf4d.. (SetAdjoin 0f96c.. 848bb..)) (SetAdjoin 4a208.. 56fa4..)
Conjecture c90fa.. : 8130f.. (setminus 52f2b.. (binunion 8d61c.. 93baa..)) (SetAdjoin 4a208.. 56fa4..)
Conjecture c33ff.. : 8130f.. (SetAdjoin (binunion 6eea5.. 24928..) 96458..) (setminus d94c9.. efd97..)
Conjecture 2205f.. : 8130f.. (SetAdjoin 8d61c.. 96458..) (setminus d94c9.. efd97..)
Conjecture 65a18.. : 8130f.. (SetAdjoin a61bc.. 96458..) (SetAdjoin 00a07.. 56fa4..)
Conjecture 62516.. : 8130f.. (SetAdjoin (binunion 708c9.. 56f89..) 96458..) (SetAdjoin f4254.. 56fa4..)
Conjecture 70584.. : 8130f.. (SetAdjoin 85ed4.. 96458..) 9116c..
Conjecture e12f6.. : 8130f.. (SetAdjoin 85ed4.. 96458..) (SetAdjoin (SetAdjoin 6eea5.. ed5e3..) 56fa4..)
Conjecture 75b58.. : 8130f.. (SetAdjoin 2def3.. 96458..) (SetAdjoin b0d83.. 56fa4..)
Conjecture 4ef8a.. : 8130f.. (SetAdjoin fd8f6.. 96458..) (SetAdjoin 78f47.. 56fa4..)
Conjecture d2d62.. : 8130f.. (SetAdjoin fd8f6.. 96458..) (SetAdjoin (SetAdjoin be796.. 848bb..) 56fa4..)
Conjecture 2dd79.. : 8130f.. (binunion d0721.. 13d3b..) (SetAdjoin ef16c.. 56fa4..)
Conjecture 9d6df.. : 8130f.. (SetAdjoin 00a07.. 96458..) (SetAdjoin 93baa.. 56fa4..)
Conjecture b693a.. : 8130f.. 5f7f9.. (setminus 8230b.. f5ea0..)
Conjecture afa50.. : 8130f.. (SetAdjoin 336d5.. 96458..) (SetAdjoin be796.. 56fa4..)
Conjecture a1fab.. : 8130f.. (SetAdjoin 336d5.. 96458..) (SetAdjoin ef16c.. 56fa4..)
Conjecture 50a8c.. : 8130f.. (setminus a63b1.. (binunion ef16c.. 24928..)) (SetAdjoin f846b.. 56fa4..)
Conjecture c8a79.. : 8130f.. (binunion 2599d.. (setminus 56f89.. b0d83..)) bd7e5..
Conjecture fb48e.. : 8130f.. (binunion 872a0.. 7c29f..) bd7e5..
Conjecture 13d03.. : 8130f.. (SetAdjoin bc624.. a7a44..) (SetAdjoin fd8f6.. 56fa4..)
Conjecture 68578.. : 8130f.. (SetAdjoin ed297.. a7a44..) (SetAdjoin f4254.. 56fa4..)
Conjecture 0d84b.. : 8130f.. (SetAdjoin (SetAdjoin c3c30.. f2ac9..) a7a44..) (SetAdjoin f4254.. 56fa4..)
Conjecture 1b3f6.. : 8130f.. (binunion 88808.. f944c..) (SetAdjoin f4254.. 56fa4..)
Conjecture 05bd5.. : 8130f.. (binunion 22e44.. f5ea0..) (SetAdjoin 848bb.. 56fa4..)
Conjecture bd177.. : 8130f.. (SetAdjoin 85ed4.. a7a44..) (SetAdjoin 0f74a.. 56fa4..)
Conjecture e396a.. : 8130f.. (binunion 2599d.. bc624..) (setminus 8230b.. (setminus 5615a.. 6eea5..))
Conjecture f072f.. : 8130f.. (binunion (binunion ef16c.. bd5b6..) 78f47..) bd7e5..
Conjecture 83fa2.. : 8130f.. (SetAdjoin (SetAdjoin b41cc.. ed5e3..) 352e1..) (setminus 8230b.. a63b1..)
Conjecture 79c30.. : 8130f.. (binunion 00a07.. f944c..) (SetAdjoin 1188a.. 56fa4..)
Conjecture ed4fe.. : 8130f.. (binunion af961.. f944c..) 9116c..
Conjecture b9c75.. : 8130f.. (SetAdjoin f4254.. a7a44..) (SetAdjoin (binunion 8aefb.. c3c30..) 56fa4..)
Conjecture 4185d.. : 8130f.. (SetAdjoin f4254.. a7a44..) (SetAdjoin d7011.. 56fa4..)
Conjecture 11e95.. : 8130f.. (SetAdjoin f4254.. a7a44..) (SetAdjoin b41cc.. 56fa4..)
Conjecture ed849.. : 8130f.. (binunion 2599d.. f5ea0..) (SetAdjoin 0205e.. 56fa4..)
Conjecture db3a0.. : 8130f.. 19825.. (SetAdjoin c1b53.. 56fa4..)
Conjecture 6c99b.. : 8130f.. (binunion 2599d.. ae51c..) (SetAdjoin 708c9.. 56fa4..)
Conjecture 93652.. : 8130f.. (setminus a63b1.. (binunion ef16c.. 93baa..)) 9116c..
Conjecture f2a34.. : 8130f.. (SetAdjoin b0d83.. ed5e3..) (setminus d94c9.. efd97..)
Conjecture 36e3f.. : 8130f.. 9cf65.. (setminus d94c9.. efd97..)
Conjecture 385b0.. : 8130f.. (binunion fd8f6.. 22e44..) (SetAdjoin 6eea5.. 56fa4..)
Conjecture 9949d.. : 8130f.. (binunion f4254.. 2def3..) (SetAdjoin 505bf.. 56fa4..)
Conjecture 862e7.. : 8130f.. (binunion 2599d.. 2def3..) (SetAdjoin (SetAdjoin 8d61c.. 6eea5..) 56fa4..)
Conjecture 14b40.. : 8130f.. (binunion 2599d.. 22e44..) (SetAdjoin 5767d.. 56fa4..)
Conjecture 10ff8.. : 8130f.. (setminus ee99e.. ed297..) (SetAdjoin ef16c.. 56fa4..)
Conjecture d9f4c.. : 8130f.. 655fa.. (SetAdjoin b0d83.. 56fa4..)
Conjecture 5aebe.. : 8130f.. (binunion (binunion d7011.. 1c486..) f1650..) (SetAdjoin 848bb.. 56fa4..)
Conjecture 9d56b.. : 8130f.. (binunion 6f877.. af961..) (SetAdjoin 505bf.. 56fa4..)
Conjecture 042b0.. : 8130f.. f847f.. (SetAdjoin (SetAdjoin 8aefb.. 6eea5..) 56fa4..)
Conjecture 67a80.. : 8130f.. (SetAdjoin 7c23e.. 6831b..) (SetAdjoin b0d83.. 56fa4..)
Conjecture bd846.. : 8130f.. (SetAdjoin 5cb5b.. 6831b..) (SetAdjoin ef16c.. 56fa4..)
Conjecture 9e1ff.. : 8130f.. (SetAdjoin ae51c.. a7a44..) (SetAdjoin 32159.. 96458..)
Conjecture 926e5.. : 8130f.. (setminus ee99e.. (binunion b0d83.. 24928..)) (setminus efd97.. a63b1..)
Conjecture 45449.. : 8130f.. (setminus ee99e.. (binunion ed5e3.. 24928..)) (setminus efd97.. a63b1..)
Conjecture 26a68.. : 8130f.. (setminus ee99e.. (SetAdjoin 6eea5.. 848bb..)) (SetAdjoin f846b.. 96458..)
Conjecture 39e93.. : 8130f.. (SetAdjoin (binunion be796.. 24928..) a7a44..) (setminus d94c9.. 8230b..)
Conjecture 3d31a.. : 8130f.. (binunion 7c29f.. f5ea0..) (SetAdjoin f4254.. 96458..)
Conjecture 888c9.. : 8130f.. (SetAdjoin 1188a.. a7a44..) (setminus d94c9.. 8230b..)
Conjecture 9ef4b.. : 8130f.. (SetAdjoin 147a5.. a7a44..) (setminus efd97.. f5ea0..)
Conjecture 9edff.. : 8130f.. (SetAdjoin 2def3.. a7a44..) (SetAdjoin abc04.. 96458..)
Conjecture d57c5.. : 8130f.. (SetAdjoin 1488f.. a7a44..) 5f7f9..
Conjecture 9567a.. : 8130f.. (SetAdjoin 7c29f.. a7a44..) (SetAdjoin 8d61c.. 96458..)
Conjecture ed78d.. : 8130f.. (SetAdjoin 5cb5b.. 352e1..) (setminus efd97.. a63b1..)
Conjecture 7573b.. : 8130f.. (binunion f1650.. f944c..) 5f7f9..
Conjecture d803f.. : 8130f.. (binunion 2599d.. (binunion 8d61c.. 93baa..)) 15860..
Conjecture d9713.. : 8130f.. (SetAdjoin (SetAdjoin f2ac9.. 6eea5..) f1386..) 15860..
Conjecture 7d55c.. : 8130f.. 19825.. (setminus efd97.. f5ea0..)
Conjecture dea26.. : 8130f.. (SetAdjoin (SetAdjoin 1188a.. 6eea5..) a7a44..) (SetAdjoin 352e1.. 96458..)
Conjecture 000c9.. : 8130f.. (SetAdjoin (SetAdjoin 1188a.. 6eea5..) a7a44..) (SetAdjoin 848bb.. 96458..)
Conjecture 30eb2.. : 8130f.. (setminus f0c00.. (binunion 6eea5.. 93baa..)) 5f7f9..
Conjecture d1de4.. : 8130f.. (binunion d0721.. 22e44..) (SetAdjoin 9cf65.. 96458..)
Conjecture f137b.. : 8130f.. (binunion fd8f6.. 7c29f..) (SetAdjoin 708c9.. 96458..)
Conjecture d7cf2.. : 8130f.. (binunion 8d61c.. 8b0cd..) (setminus d94c9.. 8230b..)
Conjecture 662b8.. : 8130f.. (setminus ee99e.. d0721..) 5f7f9..
Conjecture 22c96.. : 8130f.. (binunion f4254.. 7c29f..) 5f7f9..
Conjecture 39702.. : 8130f.. (binunion f4254.. 7c29f..) (SetAdjoin be796.. 96458..)
Conjecture 6617d.. : 8130f.. (binunion 2599d.. 85ed4..) (SetAdjoin (SetAdjoin 6eea5.. ed5e3..) 96458..)
Conjecture 77315.. : 8130f.. (binunion 7c23e.. 2def3..) (SetAdjoin 5767d.. 96458..)
Conjecture f3008.. : 8130f.. (setminus 8ecbc.. b41cc..) (SetAdjoin 634d0.. 96458..)
Conjecture f97e9.. : 8130f.. (binunion 2599d.. (SetAdjoin c3c30.. f2ac9..)) (SetAdjoin 9cf65.. 96458..)
Conjecture 40b02.. : 8130f.. (binunion 2599d.. 22e44..) (SetAdjoin 848bb.. 96458..)
Conjecture 97f85.. : 8130f.. 20338.. (SetAdjoin (SetAdjoin b0d83.. 6eea5..) 96458..)
Conjecture 202c4.. : 8130f.. (setminus 52f2b.. (SetAdjoin 6eea5.. f2ac9..)) 5f7f9..
Conjecture 59362.. : 8130f.. (SetAdjoin 336d5.. 352e1..) (SetAdjoin bd5b6.. 96458..)
Conjecture 1c9db.. : 8130f.. (SetAdjoin 8b0cd.. 352e1..) (SetAdjoin be796.. 96458..)
Conjecture 7820a.. : 8130f.. (binunion 2599d.. 00a07..) (SetAdjoin (SetAdjoin b0d83.. 6eea5..) 96458..)
Conjecture cefac.. : 8130f.. (setminus 8ecbc.. (binunion be796.. c3c30..)) (SetAdjoin fd8f6.. 96458..)
Conjecture 56fd5.. : 8130f.. (SetAdjoin (SetAdjoin bd5b6.. 6eea5..) 352e1..) (SetAdjoin 848bb.. 96458..)
Conjecture f964c.. : 8130f.. (SetAdjoin de3ab.. 6831b..) 5f7f9..
Conjecture 5beb1.. : 8130f.. (binunion 2599d.. ae51c..) (SetAdjoin 5cb5b.. a7a44..)
Conjecture f8c43.. : 8130f.. (binunion 2599d.. (setminus 5615a.. ed5e3..)) 98b2f..
Conjecture 28adb.. : 8130f.. (binunion 2599d.. (setminus 5615a.. ef16c..)) (SetAdjoin be796.. a7a44..)
Conjecture 17bbd.. : 8130f.. (binunion 7c23e.. ae51c..) (SetAdjoin 848bb.. a7a44..)
Conjecture e1c96.. : 8130f.. (setminus (setminus 5615a.. 93baa..) ef16c..) 19825..
Conjecture c40e2.. : 8130f.. (binunion fd8f6.. (binunion 8aefb.. 56f89..)) 19825..
Conjecture 40e03.. : 8130f.. 091a0.. (SetAdjoin 8ecbc.. a7a44..)
Conjecture 2bd76.. : 8130f.. (binunion f4254.. 7c29f..) (binunion 505bf.. f944c..)
Conjecture 144a6.. : 8130f.. (binunion 2599d.. 2def3..) (SetAdjoin f0c02.. a7a44..)
Conjecture b4c2f.. : 8130f.. (setminus fcf4d.. 2def3..) 19825..
Conjecture f574b.. : 8130f.. (setminus f0c00.. 2def3..) 19825..
Conjecture bc901.. : 8130f.. (setminus a63b1.. 85ed4..) 19825..
Conjecture 9d7b9.. : 8130f.. (setminus fcf4d.. 67274..) 98b2f..
Conjecture 2389f.. : 8130f.. (SetAdjoin 336d5.. 352e1..) 19825..
Conjecture 5977d.. : 8130f.. (binunion 2599d.. d0721..) (SetAdjoin be796.. a7a44..)
Conjecture cdced.. : 8130f.. (binunion de3ab.. 00a07..) 19825..
Conjecture 9c2dc.. : 8130f.. (binunion 6f877.. 00a07..) 98b2f..
Conjecture 707f6.. : 8130f.. (SetAdjoin (binunion be796.. 24928..) 6831b..) 19825..
Conjecture 40e41.. : 8130f.. (binunion 1f49d.. f1650..) (SetAdjoin be796.. a7a44..)
Conjecture 55850.. : 8130f.. (SetAdjoin 336d5.. 6831b..) (SetAdjoin c1b53.. a7a44..)
Conjecture 0fee8.. : 8130f.. (setminus 8ecbc.. 6831b..) (SetAdjoin f4254.. a7a44..)
Conjecture e9c36.. : 8130f.. (binunion 2599d.. 8b0cd..) (setminus f0c00.. (SetAdjoin 0f96c.. 848bb..))
Conjecture f7ccb.. : 8130f.. (setminus 2fcc3.. 96458..) a4ab9..
Conjecture cb655.. : 8130f.. (setminus ee99e.. ed297..) (binunion 6831b.. 22e44..)
Conjecture fe716.. : 8130f.. (SetAdjoin 44a5b.. 352e1..) (binunion 2599d.. 88808..)
Conjecture e5086.. : 8130f.. (SetAdjoin 24928.. 352e1..) a4ab9..
Conjecture 40081.. : 8130f.. 655fa.. (binunion b41cc.. 22e44..)
Conjecture 54038.. : 8130f.. (binunion 2599d.. f1650..) (binunion 0205e.. 7c29f..)
Conjecture 72370.. : 8130f.. (SetAdjoin 6f877.. 6831b..) (binunion 2599d.. (SetAdjoin 8aefb.. f2ac9..))
Conjecture 50f7b.. : 8130f.. (SetAdjoin (binunion d7011.. 93baa..) 6831b..) 88808..
Conjecture bcb39.. : 8130f.. (SetAdjoin 1188a.. 6eea5..) 2def3..
Conjecture 99453.. : 8130f.. 505bf.. 67274..
Conjecture 5eea7.. : 8130f.. (binunion 2599d.. 6f877..) (SetAdjoin d7011.. 352e1..)
Conjecture 8451b.. : 8130f.. fb657.. (SetAdjoin 8aefb.. 6831b..)
Conjecture 39c16.. : Subq (binunion 8d61c.. 8b0cd..) (binunion (SetAdjoin 8d61c.. 6eea5..) (SetAdjoin 93baa.. 0f96c..))
Conjecture 37d55.. : Subq (binunion b0d83.. (binunion c3c30.. 24928..)) (binunion (SetAdjoin b0d83.. ed5e3..) (binunion c3c30.. 24928..))
Conjecture 6f987.. : not (ac550.. (binunion 2599d.. (binunion bd5b6.. 93baa..)))
Conjecture 34a16.. : not (0dda1.. (binunion (setminus 8ecbc.. 96458..) de3ab..))
Conjecture de311.. : Subq (SetAdjoin 8aefb.. 6831b..) (binunion c1b53.. af961..)
Conjecture 4f38b.. : Subq (SetAdjoin (SetAdjoin 1188a.. 6eea5..) 6831b..) (binunion abc04.. af961..)
Conjecture 020f3.. : Subq (binunion (binunion 848bb.. abc04..) f4254..) (binunion (SetAdjoin abc04.. 6831b..) (SetAdjoin 848bb.. 0f96c..))
Conjecture b3bc2.. : not (05043.. (binunion (binunion 0f74a.. 336d5..) f4254..))
Conjecture 73ec1.. : not (70d40.. (binunion (binunion 2599d.. 6f877..) (SetAdjoin c1b53.. 6831b..)))
Conjecture 6c553.. : not (atleast4 (SetAdjoin b41cc.. 352e1..))
Conjecture 3a0b0.. : not (atleast6 (binunion (binunion 848bb.. 505bf..) fd8f6..))
Conjecture 18369.. : not (0dda1.. (binunion (setminus 8ecbc.. f2ac9..) fd8f6..))
Conjecture d61d8.. : not (0dda1.. (binunion 848bb.. d0721..))
Conjecture 4b8e1.. : not (ac550.. (binunion (binunion 2599d.. 44a5b..) (SetAdjoin be796.. 352e1..)))
Conjecture 16d22.. : not (70d40.. (binunion (SetAdjoin (SetAdjoin b41cc.. ed5e3..) 6831b..) fd8f6..))
Conjecture 6f5d6.. : not (0dda1.. (setminus a63b1.. (SetAdjoin 6eea5.. f2ac9..)))
Conjecture 4ae47.. : not (0dda1.. (binunion (SetAdjoin (binunion 848bb.. 1188a..) f1386..) 634d0..))
Conjecture 80e94.. : not (atleast6 (binunion (SetAdjoin 5cb5b.. f1386..) (SetAdjoin b0d83.. f2ac9..)))
Conjecture fd48a.. : Subq (binunion (binunion 2599d.. (binunion 8d61c.. 93baa..)) 634d0..) (binunion (binunion (SetAdjoin 8d61c.. 848bb..) af961..) a4ab9..)
Conjecture d37af.. : Subq (binunion f4254.. 56f89..) (binunion (binunion 7c23e.. af961..) 1488f..)
Conjecture 26733.. : not (atleast6 (binunion (SetAdjoin 7c23e.. 6831b..) 88808..))
Conjecture cdb19.. : not (70d40.. (binunion (SetAdjoin 32159.. 352e1..) 634d0..))
Conjecture 8cb20.. : not (ac550.. (binunion (binunion (SetAdjoin 1188a.. 6eea5..) 00a07..) 634d0..))
Conjecture 69dcf.. : not (atleast6 (binunion 655fa.. (SetAdjoin b41cc.. f2ac9..)))
Conjecture 7e3ec.. : not (0dda1.. (binunion 655fa.. (binunion 848bb.. (SetAdjoin 1188a.. f2ac9..))))
Conjecture a5b0a.. : Subq (setminus (setminus 5615a.. b41cc..) f4254..) (binunion (binunion 85ed4.. f944c..) (SetAdjoin fd8f6.. 56fa4..))
Conjecture fc82a.. : not (0dda1.. (binunion (SetAdjoin (binunion be796.. 24928..) 352e1..) 634d0..))
Conjecture 478b8.. : not (0dda1.. (binunion (SetAdjoin 336d5.. 352e1..) 22e44..))
Conjecture 6d0e9.. : not (ac550.. (binunion (SetAdjoin 336d5.. 352e1..) (binunion 2599d.. 22e44..)))
Conjecture eae69.. : Subq (setminus ee99e.. (SetAdjoin 0f96c.. 848bb..)) (binunion (SetAdjoin abc04.. f1386..) (setminus d3366.. f1386..))
Conjecture e643c.. : not (70d40.. (SetAdjoin (binunion ef16c.. 93baa..) a7a44..))
Conjecture 04908.. : not (70d40.. (binunion (binunion 505bf.. 6f877..) f846b..))
Conjecture 2798c.. : not (0dda1.. (binunion (binunion 2599d.. (binunion b0d83.. 24928..)) f846b..))
Conjecture e9a37.. : Subq (binunion (SetAdjoin 505bf.. 6831b..) f846b..) (binunion (SetAdjoin f4254.. a7a44..) (binunion be796.. 0bd31..))
Conjecture 03002.. : not (atleast6 (binunion (SetAdjoin (SetAdjoin be796.. 848bb..) 6831b..) f846b..))
Conjecture dec52.. : not (atleast6 (binunion (SetAdjoin 7c23e.. 352e1..) (SetAdjoin 848bb.. a7a44..)))
Conjecture 24aad.. : Subq (binunion (SetAdjoin (binunion 8d61c.. 24928..) 352e1..) f846b..) (binunion (binunion 85ed4.. f944c..) (SetAdjoin fd8f6.. 56fa4..))
Conjecture a74f7.. : not (ac550.. (binunion (setminus 2fcc3.. (binunion ef16c.. 93baa..)) f846b..))
Conjecture 4e9a3.. : Subq (binunion (binunion 2599d.. 147a5..) (SetAdjoin 848bb.. a7a44..)) (binunion (binunion 88808.. f944c..) 9116c..)
Conjecture 1e2ba.. : Subq (binunion (binunion c1b53.. 2def3..) f846b..) (binunion (binunion 85ed4.. f944c..) 0bd31..)
Conjecture f6e5f.. : not (atleast6 (binunion (binunion fd8f6.. 7c29f..) f846b..))
Conjecture 242f0.. : not (ac550.. (binunion (setminus (setminus 5615a.. 6eea5..) f4254..) f846b..))
Conjecture 8221a.. : Subq (binunion (setminus 8ecbc.. 1c486..) 4a208..) (binunion 5f7f9.. (binunion 352e1.. 0bd31..))
Conjecture d211e.. : not (70d40.. (binunion (setminus 8ecbc.. 0f96c..) 4a208..))
Conjecture 38f07.. : Subq (binunion (SetAdjoin ef16c.. 848bb..) 13d3b..) (binunion (binunion (binunion ef16c.. 93baa..) f944c..) 5f7f9..)
Conjecture 48f4e.. : Subq (binunion (binunion 2599d.. (SetAdjoin ef16c.. 848bb..)) 4a208..) (binunion (SetAdjoin (SetAdjoin ef16c.. 848bb..) 96458..) 9116c..)
Conjecture 06d7e.. : not (ac550.. (binunion (binunion c1b53.. af961..) 4a208..))
Conjecture 62af3.. : Subq (binunion (SetAdjoin (SetAdjoin ef16c.. 6eea5..) 6831b..) 4a208..) (binunion (SetAdjoin f4254.. 96458..) (binunion ef16c.. ea971..))
Conjecture 91884.. : Subq (binunion (SetAdjoin (binunion ef16c.. 93baa..) 352e1..) 4a208..) (binunion (binunion 93baa.. 00a07..) 5f7f9..)
Conjecture 9b7a7.. : not (05043.. (binunion (binunion 8b0cd.. 00a07..) (SetAdjoin 505bf.. 96458..)))
Conjecture 3a564.. : not (0dda1.. (SetAdjoin 2def3.. 96458..))
Conjecture fc046.. : Subq (binunion (binunion f4254.. (SetAdjoin b0d83.. f2ac9..)) 4a208..) (binunion (SetAdjoin (SetAdjoin b0d83.. f2ac9..) 96458..) (SetAdjoin f4254.. 56fa4..))
Conjecture 6bf0c.. : Subq (binunion (setminus fcf4d.. d0721..) (SetAdjoin 8d61c.. 96458..)) (binunion (binunion c3c30.. 2def3..) 15860..)
Conjecture e5c55.. : not (70d40.. (binunion (binunion f4254.. 7c29f..) (SetAdjoin 9cf65.. 96458..)))
Conjecture 29d30.. : not (70d40.. (binunion (binunion fd8f6.. 7c29f..) (SetAdjoin 872a0.. 96458..)))
Conjecture a97c9.. : not (0dda1.. (binunion (SetAdjoin (SetAdjoin 8aefb.. 6eea5..) a7a44..) 4a208..))
Conjecture d28f2.. : not (70d40.. (binunion (SetAdjoin (SetAdjoin ef16c.. 6eea5..) f1386..) (setminus efd97.. a63b1..)))
Conjecture 078ae.. : not (atleast6 (binunion (SetAdjoin 24928.. a7a44..) 4a208..))
Conjecture 2432d.. : Subq (binunion (SetAdjoin 8b0cd.. a7a44..) 5f7f9..) (binunion (binunion 8b0cd.. f944c..) 5f7f9..)
Conjecture c3078.. : not (ac550.. (binunion (SetAdjoin af961.. a7a44..) (SetAdjoin ef16c.. 96458..)))
Conjecture e5b80.. : not (70d40.. (binunion (binunion f4254.. f944c..) 4a208..))
Conjecture 5d17d.. : Subq (binunion (binunion af961.. f944c..) (SetAdjoin ef16c.. 96458..)) (binunion (binunion (SetAdjoin b41cc.. f2ac9..) f944c..) (SetAdjoin f4254.. 96458..))
Conjecture ec84e.. : not (ac550.. (binunion (SetAdjoin (SetAdjoin 8d61c.. 848bb..) a7a44..) (setminus efd97.. f5ea0..)))
Conjecture 1478c.. : not (ac550.. (binunion (SetAdjoin af961.. a7a44..) (SetAdjoin 78f47.. 96458..)))