mod7_red_anti_pairs.m

mod7_red_anti_pairs := [\
["507b1", "78585b1"]\
, ["507b2", "10309d2"]\
, ["27885f2", "169845m2"]\
, ["16055c2", "124215j1"]\
, ["49200cs1", "114800by1"]\
, ["51600de1", "189200c1"]\
, ["5200bc1", "109200gm1"]\
, ["58800jb1", "135600t2"]\
, ["32400db2", "356400gn2"]\
, ["99225a1", "99225j2"]\
, ["154154cu1", "462462bi1"]\
, ["117045w1", "117045x1"]\
, ["117045w2", "257499g2"]\
, ["10816bk1", "227136t1"]\
, ["5184p3", "160704u2"]\
, ["4050bh3", "125550dh2"]\
, ["162b1", "17334h1"]\
, ["167994c2", "184518g2"]\
, ["11025y1", "143325ev2"]\
, ["11025y3", "143325eq2"]\
, ["24336bl1", "170352z1"]\
, ["214245y2", "471339m2"]\
, ["6480l1", "110160by1"]\
, ["6480l2", "14256m2"]\
, ["6480l2", "63504bm1"]\
, ["21866c1", "459186h1"]\
, ["891d1", "223641h1"]\
, ["405c1", "6885c1"]\
, ["405c1", "284715m1"]\
, ["405c2", "891d2"]\
, ["405c2", "3969c1"]\
, ["196800ew1", "459200gr1"]\
, ["20800cs1", "436800jy1"]\
, ["3042k1", "21294cd1"]\
, ["149058ba1", "343746v2"]\
, ["150410t2", "474890f2"]\
, ["214245e2", "471339f2"]\
, ["5929e1", "77077a2"]\
, ["5929e3", "77077n2"]\
, ["4050f1", "433350g1"]\
, ["17689h1", "229957g2"]\
, ["17689h3", "229957f2"]\
, ["68445w2", "150579e2"]\
, ["2704j1", "56784by1"]\
, ["1296e1", "138672m1"]\
, ["23534u1", "50430u1"]\
, ["480249g2", "480249i1"]\
, ["25920bq1", "440640ej1"]\
, ["25920bq2", "57024bo2"]\
, ["25920bq2", "254016fz1"]\
, ["2025c1", "34425d1"]\
, ["2025c2", "22275f2"]\
, ["2025c2", "99225l1"]\
, ["11094d1", "203390r1"]\
, ["61103g1", "117943b2"]\
, ["27391f1", "61789g1"]\
, ["27391f1", "88543g1"]\
, ["49a1", "637a2"]\
, ["49a1", "8869d1"]\
, ["27391b2", "61789d2"]\
, ["27391b2", "88543d2"]\
, ["61103a1", "117943f2"]\
, ["49a3", "637c2"]\
, ["49a3", "8869i2"]\
, ["25921a1", "336973z2"]\
, ["25921a3", "336973ba2"]\
, ["286650je1", "286650ol1"]\
, ["286650je1", "286650om2"]\
, ["149093a2", "356307e2"]\
, ["2352r1", "265776ci2"]\
, ["10192bn1", "30576cu1"]\
, ["10192bn1", "152880cr2"]\
, ["32144bf1", "482160ez1"]\
, ["162c1", "293706x2"]\
, ["162c3", "5022d2"]\
, ["167994i2", "184518l2"]\
, ["74529w2", "74529x3"]\
, ["74529m2", "74529x1"]\
, ["480249bo2", "480249bq1"]\
, ["3136d1", "40768f2"]\
, ["3136d3", "40768k2"]\
, ["891g1", "223641c1"]\
, ["405d1", "6885h1"]\
, ["405d1", "284715e1"]\
, ["405d2", "891g2"]\
, ["405d2", "3969f1"]\
, ["5850bq1", "40950ea1"]\
, ["5850bq1", "286650ou2"]\
, ["19350by1", "212850v1"]\
, ["18450bu1", "129150cr1"]\
, ["22050ev1", "50850bd2"]\
, ["7056bq1", "91728df2"]\
, ["7056bq3", "91728ey2"]\
, ["149093d2", "356307j2"]\
, ["207025ca1", "207025cd2"]\
, ["207025ca3", "207025cc2"]\
, ["366912kd1", "366912lm1"]\
, ["28224fg1", "366912jb2"]\
, ["28224fg3", "366912ja2"]\
, ["249744u1", "416240co1"]\
, ["99225bf1", "99225bh2"]\
, ["20800r1", "436800kt1"]\
, ["196800hg1", "459200e1"]\
, ["245025r2", "245025v2"]\
, ["1296k3", "40176r2"]\
, ["14161a1", "184093l2"]\
, ["14161a3", "184093k2"]\
, ["7488x1", "52416cz1"]\
, ["118080cm1", "165312eg1"]\
, ["28224bs1", "65088ba2"]\
, ["8256bp1", "151360b1"]\
, ["832j1", "17472cs1"]\
, ["18368u1", "39360ch1"]\
, ["9408ct1", "21696by2"]\
, ["146205i2", "321651n2"]\
, ["7514i1", "157794bc1"]\
, ["165886k1", "355470bj1"]\
, ["84966ct1", "195942p2"]\
, ["12675y1", "392925v1"]\
, ["12675y2", "257725a2"]\
, ["338f1", "7098i1"]\
, ["338f1", "248430dm2"]\
, ["97006e1", "207870bx1"]\
, ["49686bg1", "114582f2"]\
, ["28224bn1", "366912hl2"]\
, ["28224bn3", "366912hk2"]\
, ["7938m1", "293706w2"]\
, ["7938m3", "246078m2"]\
, ["91728fk1", "91728fl1"]\
, ["91728fk1", "458640jr2"]\
, ["28314cb1", "198198ba1"]\
, ["93654bh1", "468270cp1"]\
, ["106722gm1", "246114o2"]\
, ["507a1", "78585g1"]\
, ["507a2", "10309b2"]\
, ["27885n2", "169845bb2"]\
, ["16055e2", "124215bc1"]\
, ["8450t1", "177450di1"]\
, ["16562r1", "49686i1"]\
, ["16562r1", "248430ci2"]\
, ["32370bk1", "463638ca2"]\
, ["26b1", "546f1"]\
, ["26b1", "19110db2"]\
, ["258f1", "4730k1"]\
, ["174b1", "196098h2"]\
, ["574i1", "1230k1"]\
, ["24882bj1", "71630x1"]\
, ["164346i1", "229242b2"]\
, ["20622k2", "22386w2"]\
, ["20622k2", "52878f2"]\
, ["46090p2", "442090b2"]\
, ["294b1", "678d2"]\
, ["7530l2", "37830z2"]\
, ["42630dl1", "157470b2"]\
, ["32400bx2", "356400ge2"]\
, ["117045n1", "117045o1"]\
, ["117045n2", "257499p2"]\
, ["18368j1", "39360b1"]\
, ["832f1", "17472m1"]\
, ["8256c1", "151360da1"]\
, ["9408h1", "21696h2"]\
, ["8281f2", "8281g3"]\
, ["8281b2", "8281g1"]\
, ["46800dr1", "327600nn1"]\
, ["176400gt1", "406800dc2"]\
, ["19600cb1", "254800ei2"]\
, ["19600cb3", "254800eh2"]\
, ["25920bf1", "440640iw1"]\
, ["25920bf2", "57024g2"]\
, ["25920bf2", "254016ch1"]\
, ["118080fv1", "165312z1"]\
, ["7488bz1", "52416fg1"]\
, ["28224fo1", "65088dg2"]\
, ["1521c1", "235755bs1"]\
, ["1521c2", "92781g2"]\
, ["144495bh2", "372645ef1"]\
, ["69454e1", "148830bz1"]\
, ["3146i1", "66066v1"]\
, ["31218e1", "52030m1"]\
, ["35574bd1", "82038e2"]\
, ["441d1", "5733d2"]\
, ["441d1", "79821f1"]\
, ["441d3", "5733k2"]\
, ["441d3", "79821m2"]\
, ["150410i2", "474890s2"]\
, ["3136r1", "40768ce2"]\
, ["3136r3", "40768cj2"]\
, ["9801f2", "49005c2"]\
, ["9801f2", "480249s1"]\
, ["149058bq1", "149058bw1"]\
, ["3690g1", "5166r1"]\
, ["774d1", "42570g1"]\
, ["234a1", "1638h1"]\
, ["234a1", "57330x2"]\
, ["127890bl1", "472410c2"]\
, ["22590b2", "113490b2"]\
, ["882d1", "2034c2"]\
, ["61866d2", "67158r2"]\
, ["61866d2", "158634p2"]\
, ["151290bq1", "211806cm1"]\
, ["63504y1", "317520hf2"]\
, ["1521e1", "235755q1"]\
, ["144495n2", "372645bi1"]\
, ["1521e2", "92781i2"]\
, ["40768db1", "122304fe1"]\
, ["8112ba2", "164944e2"]\
, ["784h1", "10192m2"]\
, ["784h1", "141904s1"]\
, ["784h3", "10192bd2"]\
, ["784h3", "141904t2"]\
, ["25920db1", "440640g1"]\
, ["25920db2", "57024dk2"]\
, ["25920db2", "254016es1"]\
, ["650f1", "13650f1"]\
, ["650f1", "95550bi2"]\
, ["6150a1", "14350b1"]\
, ["6450a1", "23650f1"]\
, ["7350j1", "16950e2"]\
, ["37650b2", "189150cs2"]\
, ["29520bn1", "41328bi1"]\
, ["1872n1", "13104bq1"]\
, ["1872n1", "458640by2"]\
, ["6192o1", "340560s1"]\
, ["7056bs1", "16272y2"]\
, ["144354g2", "156702bg2"]\
, ["144354g2", "370146z2"]\
, ["294a1", "33222p2"]\
, ["1274n1", "3822v1"]\
, ["1274n1", "19110bm2"]\
, ["8526o1", "196098bc2"]\
, ["12642z1", "231770co1"]\
, ["4018s1", "60270t1"]\
, ["40768bc1", "122304dd1"]\
, ["146205e2", "321651f2"]\
, ["25920cw1", "440640fd1"]\
, ["25920cw2", "57024cx2"]\
, ["25920cw2", "254016do1"]\
, ["63504ck1", "317520bm2"]\
, ["8112bd2", "164944b2"]\
, ["2064e1", "37840w1"]\
, ["208d1", "4368n1"]\
, ["208d1", "152880dn2"]\
, ["4592f1", "9840r1"]\
, ["164976n2", "179088bh2"]\
, ["164976n2", "423024l2"]\
, ["2352l1", "5424l2"]\
, ["60240o2", "302640y2"]\
, ["9386f1", "197106ce1"]\
, ["207214bb1", "444030r1"]\
, ["106134m1", "244758e2"]\
, ["132496br1", "132496bs2"]\
, ["132496bp2", "132496br3"]\
, ["9801k2", "49005n2"]\
, ["9801k2", "480249be1"]\
, ["433062g2", "470106bj2"]\
, ["882c1", "99666i2"]\
, ["11466w1", "11466x1"]\
, ["11466w1", "57330ca2"]\
, ["36162r1", "180810bw1"]\
, ["67626h1", "473382x1"]\
, ["13754j1", "288834cc1"]\
, ["155526p1", "358662y2"]\
, ["155682n2", "155682o3"]\
, ["366912ju1", "366912lb1"]\
, ["132496d1", "397488hi1"]\
, ["1225b1", "15925d2"]\
, ["1225b1", "221725f1"]\
, ["1225b3", "15925h2"]\
, ["1225b3", "221725e2"]\
, ["68445bf2", "150579m2"]\
, ["2025f1", "34425q1"]\
, ["2025f2", "22275j2"]\
, ["2025f2", "99225bi1"]\
, ["5184bd3", "160704d2"]\
, ["31850q1", "95550da2"]\
, ["31850q1", "95550ee1"]\
, ["100450u1", "301350cc1"]\
, ["10816p1", "227136hz1"]\
, ["3969a1", "19845h2"]\
, ["3969a1", "43659l2"]\
, ["19845h1", "337365by1"]\
, ["6480z1", "110160dm1"]\
, ["6480z2", "14256be2"]\
, ["6480z2", "63504cr1"]\
, ["188272a1", "403440dd1"]\
, ["12675v1", "392925cf1"]\
, ["12675v2", "257725i2"]\
, ["245025e2", "245025i2"]\
, ["3969e1", "19845m2"]\
, ["3969e1", "43659y2"]\
, ["19845m1", "337365r1"]\