s1488.bench.txt

好不容易才从国外网站上下下来的哦

I35 = AND(C79D, v7, v9, v12E)
I95 = AND(C76D, C81DE)
I282 = AND(C36D, v12)
I237 = AND(v7, v12E, C221D)
I177 = AND(C137D, C127D)
I80 = AND(v7, v12E, C192D)
I305 = AND(v9, C49DE)
I266 = AND(v7, C49DE, C220DE)
I212 = AND(v9E, C49DE)
I145 = AND(C49DE, C166DE, C220DE)
I203 = AND(C34D, v9)
I209 = AND(v8, C119D)
I199 = AND(v9E, C63D)
I288 = AND(v7E, C203D)
I206 = AND(v7, C150D)
I233 = AND(C168D, v8E)
I128 = AND(v8, C69D)
I281 = AND(v3E, C29D)
I285 = AND(C222D, v10E)
I158 = AND(C84D, v10E)
I227 = AND(C139D, v8, v10)
I197 = AND(C158D, v7, v11E)
I248 = AND(C45D, v10E)
I86 = AND(C54D, C165DE)
I91 = AND(C148D, C131DE)
I213 = AND(C57D, v10E)
I276 = AND(C27D, v7E, v9, v12E)
I303 = AND(C172D, v12E)
I263 = AND(v7E, v11, C41D)
I113 = AND(v2E, v12E, C93D)
II114 = AND(v9, C97D)
I220 = AND(C51D, v12)
I240 = AND(C125D, v9E)
I130 = AND(C60D, C83D)
I267 = AND(C214D, v7E, v10E)
Av13_D_21B = AND(C213D, v7E, v10E, v12E)
I260 = AND(v3E, C78D)
I222 = AND(C156D, C83DE)
I297 = AND(C209D, C208D, v11)
II101 = AND(C127D, C128D, v12E)
I41 = AND(v7, v12E, C96D)
I34 = AND(C91D, C165DE)
II294 = AND(C211D, v3, v7E, v11E)
I174 = AND(v8E, C143D)
I173 = AND(C146D, v11E)
I273 = AND(C201D, v8)
I218 = AND(v12E, C44D, C83DE)
I192 = AND(v8E, v9E, C44D)
I66 = AND(v8E, v12E, C100D)
I82 = AND(v0E, C217D, C108DE)
I44 = AND(v2E, C106D)
I104 = AND(v3, C107D, v12)
I223 = AND(v7E, C160D, v9E)
I257 = AND(C215D, v9E)
I39 = AND(C103D, v10E)
I230 = AND(C109D, v10E)
I98 = AND(v8E, v12, C87D)
Av13_D_16B = AND(C200D, v8, v10)
I40 = AND(v2, C92D)
I245 = AND(C185D, v8E)
I65 = AND(v9, C185D)
I270 = AND(v1E, C55D)
I300 = AND(v0E, C105D)
I280 = AND(v1E, C26D)
I311 = AND(C71D, v9E)
I164 = AND(C133D, v8E)
I156 = AND(C80D, v9)
I216 = AND(C189D, v9E)
II254 = AND(C39D, v8E)
I58 = AND(C75D, C129DE)
I106 = AND(v8E, C114D)
I62 = AND(v6E, C95D)
I262 = AND(C42D, v8)
I236 = AND(v2E, v8, C219D)
I242 = AND(C130D, C165DE)
I73 = AND(v7, C31D, v8)
I188 = AND(C175D, v11)
I196 = AND(C161D, v11)
I149 = AND(C112D, v10)
I169 = AND(C195D, v8E)
I183 = AND(C183D, v8)
I117 = AND(v8E, C35D)
I120 = AND(v7E, C123D)
I160 = AND(v8, C65D)
I166 = AND(C205D, v10)
I133 = AND(C152D, v9)
II142 = AND(v7E, C169D)
I146 = AND(C223D, v8E, v9E)
I92 = AND(v7, C140D)
I137 = AND(v8, C46D)
I126 = AND(v2, C58D)
I71 = AND(v2E, C28D)
I180 = AND(C173D, v9E)
I63 = AND(v8, C99D)
I119 = AND(C126D, v8)
I97 = AND(C88D, v11E)
Av13_D_18B = AND(C210D, v7E, v12E)
I185 = AND(v8E, C195DE)
I69 = AND(v7, C202D)
I153 = AND(C52D, v8E)
I548 = AND(C199D, v4, v5E)
I124 = AND(C164D, v12E)
Av13_D_23B = AND(C216D, v7E, v8E)
I46 = AND(v7, C110D)
I54 = AND(C186D, v9E)
I127 = AND(C73D, v10E)
I103 = AND(C115D, v10)
I116 = AND(C37D, v9)
I129 = AND(v8E, C72D)
I100 = AND(C134D, v9E)
I96 = AND(v8, C85D)
I29 = AND(C190D, v10)
I154 = AND(v2, C40D)
I88 = AND(v2E, C43D)
I83 = AND(C225D, v11)
I51 = AND(C132D, v7)
I49 = AND(v8, C176D)
I123 = AND(v8, C162D)
I105 = AND(v8, C113D)
I27 = AND(C184D, v7)
I93 = AND(v7E, C147D)
I59 = AND(v7, C67D)
I68 = AND(C206D, v12E)
Av13_D_15B = AND(v7E, v12E, I548)
Av13_D_9B = AND(C153D, v12E)
I84 = AND(v7E, C224D)
I89 = AND(v7, C48D)
I76 = AND(v7E, C174D)
I108 = AND(C181D, C83DE)
I78 = AND(v7E, C196D)
I72 = AND(C38D, v7E)
I52 = AND(C135D, v7E)
I36 = AND(v7E, C89D)
I87 = AND(C53D, v7E)
I45 = AND(C116D, v7E)
I38 = AND(C102D, v7E)
I32 = AND(C207D, v2)
I60 = AND(v7E, C74D)
I48 = AND(C177D, v8E)
I55 = AND(C187D, v12E)
I28 = AND(v7E, C188D)
v13_D_0C = AND(v13_D_0, CLR)
v13_D_3C = AND(v13_D_3, CLR)
v13_D_1C = AND(v13_D_1, CLR)
v13_D_5C = AND(v13_D_5, CLR)
v13_D_4C = AND(v13_D_4, CLR)
v13_D_2C = AND(v13_D_2, CLR)

C208D = OR(v5, v4)
C155D = OR(v2, v7)
C129D = OR(v9, v10)
C124D = OR(v10, v11)
C142D = OR(v0, v12)
C108D = OR(v9, v12)
C81D = OR(v2E, v12)
C83D = OR(v4E, v5E)
C127D = OR(v5E, v4)
C166D = OR(v3E, v6E)
C33D = OR(v6E, v10)
C104D = OR(v1, v6E)
C218D = OR(v7E, v10)
C131D = OR(v8E, v10)
C165D = OR(v8E, v11)
C220D = OR(v8E, v9E)
C117D = OR(v9E, v2)
C194D = OR(v0, v10E)
C191D = OR(v10E, v9)
C141D = OR(v10E, v12)
C118D = OR(v2E, v10E)
C70D = OR(v0, v11E)
C30D = OR(v10E, v11E)
C144D = OR(v11E, v12)
C138D = OR(v11E, v12E)
C157D = OR(v10E, v12E)
C90D = OR(v9, v12E)
C56D = OR(v9, I516)
C77D = OR(C104D, v0E)
C50D = OR(I520, v11)
C151D = OR(I554, I555)
C145D = OR(I528, v12)
C47D = OR(I533, I534)
C49D = OR(C141D, v11)
C179D = OR(v10, I518)
C163D = OR(C129DE, I510)
C159D = OR(I546, I547)
C98D = OR(C144D, I444)
C120D = OR(C144D, I425)
C86D = OR(v9, I524)
C170D = OR(C124DE, v9E)
C178D = OR(I559, I560)
C59D = OR(I537, I538)
C82D = OR(I392, I393)
C111D = OR(C83DE, v2)
C122D = OR(v12, I323)
C167D = OR(I380, I381)
C76D = OR(C131DE, I427)
C36D = OR(C165DE, v10E)
C221D = OR(I389, I390)
C137D = OR(C117DE, I489)
C180D = OR(C194DE, v11E)
C192D = OR(v8, I354)
C34D = OR(I320, I321)
C119D = OR(I349, I350)
C63D = OR(I317, I318)
C203D = OR(C70DE, I508)
C168D = OR(C159D, v9)
C69D = OR(I328, II329)
C29D = OR(C138DE, I466)
C222D = OR(C138DE, I417)
C84D = OR(C138DE, I344)
C139D = OR(I332, I333)
C158D = OR(I395, I396)
C45D = OR(C90DE, v11E)
C54D = OR(C90DE, I412)
C148D = OR(C90DE, I409)
C57D = OR(I365, I366)
C27D = OR(I500, I501)
C172D = OR(I478, I479)
C41D = OR(I470, I471)
C93D = OR(C191DE, I468)
C51D = OR(I356, I357)
C125D = OR(I335, I336)
C60D = OR(I494, I495)
C214D = OR(I460, I461)
C213D = OR(I482, I483)
C78D = OR(I452, I453)
C156D = OR(I441, I442)
C209D = OR(II497, I498)
C128D = OR(I405, I406)
C96D = OR(I463, I464)
C91D = OR(I346, I347)
C211D = OR(I485, I486)
C143D = OR(C49DE, v9, I291)
C146D = OR(I398, I399)
C201D = OR(I503, v12E)
C44D = OR(I473, C124DE)
C100D = OR(I429, I430)
C217D = OR(I419, I420)
C106D = OR(I402, I403)
C107D = OR(I386, I387)
C160D = OR(I341, I342)
C215D = OR(I438, I439)
C103D = OR(I435, I436)
C109D = OR(I338, I339)
C87D = OR(I374, I375)
C200D = OR(I513, I514)
C92D = OR(I505, I506)
C185D = OR(II491, I492)
C55D = OR(I475, I476)
C105D = OR(I449, I450)
C26D = OR(I414, I415)
C71D = OR(I383, I384)
C133D = OR(C49DE, I278)
C80D = OR(I250, I251)
C189D = OR(I362, I363)
C39D = OR(I423, v9)
C75D = OR(I359, I360)
C114D = OR(I456, I457)
C95D = OR(I446, I447)
C42D = OR(I432, I433)
C219D = OR(I377, I378)
C130D = OR(I371, I372)
C31D = OR(II368, I369)
C175D = OR(I325, I326)
C161D = OR(I314, I315)
C112D = OR(I308, v9E)
C195D = OR(C180DE, v9)
C183D = OR(I305, I306)
C35D = OR(I202, I203)
C123D = OR(C157DE, I208, I209, I210)
C65D = OR(I199, I200)
C205D = OR(I287, I288)
C152D = OR(I205, I206)
C169D = OR(I232, I233, v12, I234)
C223D = OR(I284, I285)
C140D = OR(I226, I227)
C46D = OR(I247, I248)
C58D = OR(I212, I213)
C28D = OR(I275, I276)
C173D = OR(I302, I303)
C99D = OR(I111, I113, II114)
C126D = OR(I239, I240)
Av13_D_22B = OR(I266, I267)
C88D = OR(I259, I260)
C210D = OR(I296, I297)
Av13_D_19B = OR(I293, II294)
I491 = OR(I173, I174, I175)
C202D = OR(I272, I273)
C52D = OR(I218, I219, I220)
C199D = OR(I191, I192)
C164D = OR(I222, I223, I224)
C216D = OR(I256, I257)
C110D = OR(I229, I230)
C186D = OR(C49DE, I245)
C73D = OR(I269, I270)
C115D = OR(I299, I300)
C37D = OR(I280, I281, I282)
C72D = OR(I310, I311)
C134D = OR(I163, I164)
C85D = OR(I156, I157, I158)
C190D = OR(I215, I216)
C40D = OR(I253, II254)
C43D = OR(I262, I263)
C225D = OR(I236, I237)
C132D = OR(I242, I243)
C176D = OR(I188, I189)
C162D = OR(I196, I197)
C113D = OR(I148, I149)
I497 = OR(C208DE, C83DE, I169)
C184D = OR(I182, I183)
C147D = OR(I176, I177, I491)
C67D = OR(I160, I161)
C206D = OR(I166, I167)
C153D = OR(I133, I134)
Av13_D_11B = OR(I140, I141, II142)
C224D = OR(I145, I146)
C48D = OR(I136, I137)
C174D = OR(I179, I180)
I610 = OR(I62, I63, I64)
Av13_D_6B = OR(I119, I120)
C181D = OR(I185, I186)
C196D = OR(I170, v12, I171, I497)
I542 = OR(I126, I127, I128)
C38D = OR(I116, I117)
C135D = OR(I100, II101)
C89D = OR(I95, I96, I97, I98)
C53D = OR(I151, I152, I153, I154)
Av13_D_10B = OR(I123, I124)
C116D = OR(I103, I104, I105, I106)
C102D = OR(I65, I66, I610)
Av13_D_8B = OR(I91, I92, I93)
C207D = OR(I68, I69)
C74D = OR(I129, I130, I131, I542)
Av13_D_24B = OR(I82, I83, I84)
C177D = OR(I75, I76)
C187D = OR(I108, I109)
Av13_D_14B = OR(I78, I79, I80)
Av13_D_0B = OR(I71, I72, I73)
Av13_D_7B = OR(I51, I52)
Av13_D_3B = OR(I34, I35, I36)
Av13_D_1B = OR(I86, I87, I88, I89)
Av13_D_5B = OR(I43, I44, I45, I46)
Av13_D_4B = OR(I38, I39, I40, I41)
Av13_D_17B = OR(I31, I32)
Av13_D_2B = OR(I58, I59, I60)
Av13_D_12B = OR(I48, I49)
C188D = OR(I54, I55)
Av13_D_13B = OR(I27, I28, I29)