emulator/internal_doc/dec.dat

{[59],894}.
{[96],8175}.
{[180],8189}.
{[183],903}.
{[198],1236}.
{[230],1237}.
{[399],1240}.
{[415],1256}.
{[439],1248}.
{[601],1241}.
{[629],1257}.
{[658],1249}.
{[697],884}.
{[768],832}.
{[768,65],192}.
{[768,69],200}.
{[768,73],204}.
{[768,79],210}.
{[768,85],217}.
{[768,87],7808}.
{[768,89],7922}.
{[768,97],224}.
{[768,101],232}.
{[768,105],236}.
{[768,111],242}.
{[768,117],249}.
{[768,119],7809}.
{[768,121],7923}.
{[768,168],8173}.
{[768,770,65],7846}.
{[768,770,69],7872}.
{[768,770,79],7890}.
{[768,770,97],7847}.
{[768,770,101],7873}.
{[768,770,111],7891}.
{[768,772,69],7700}.
{[768,772,79],7760}.
{[768,772,101],7701}.
{[768,772,111],7761}.
{[768,774,65],7856}.
{[768,774,97],7857}.
{[768,776,85],475}.
{[768,776,117],476}.
{[768,776,953],8146}.
{[768,776,965],8162}.
{[768,787,837,913],8074}.
{[768,787,837,919],8090}.
{[768,787,837,937],8106}.
{[768,787,837,945],8066}.
{[768,787,837,951],8082}.
{[768,787,837,969],8098}.
{[768,787,913],7946}.
{[768,787,917],7962}.
{[768,787,919],7978}.
{[768,787,921],7994}.
{[768,787,927],8010}.
{[768,787,937],8042}.
{[768,787,945],7938}.
{[768,787,949],7954}.
{[768,787,951],7970}.
{[768,787,953],7986}.
{[768,787,959],8002}.
{[768,787,965],8018}.
{[768,787,969],8034}.
{[768,788,837,913],8075}.
{[768,788,837,919],8091}.
{[768,788,837,937],8107}.
{[768,788,837,945],8067}.
{[768,788,837,951],8083}.
{[768,788,837,969],8099}.
{[768,788,913],7947}.
{[768,788,917],7963}.
{[768,788,919],7979}.
{[768,788,921],7995}.
{[768,788,927],8011}.
{[768,788,933],8027}.
{[768,788,937],8043}.
{[768,788,945],7939}.
{[768,788,949],7955}.
{[768,788,951],7971}.
{[768,788,953],7987}.
{[768,788,959],8003}.
{[768,788,965],8019}.
{[768,788,969],8035}.
{[768,795,79],7900}.
{[768,795,85],7914}.
{[768,795,111],7901}.
{[768,795,117],7915}.
{[768,837,945],8114}.
{[768,837,951],8130}.
{[768,837,969],8178}.
{[768,913],8122}.
{[768,917],8136}.
{[768,919],8138}.
{[768,921],8154}.
{[768,927],8184}.
{[768,933],8170}.
{[768,937],8186}.
{[768,945],8048}.
{[768,949],8050}.
{[768,951],8052}.
{[768,953],8054}.
{[768,959],8056}.
{[768,965],8058}.
{[768,969],8060}.
{[768,8127],8141}.
{[768,8190],8157}.
{[769],833}.
{[769,65],193}.
{[769,67],262}.
{[769,69],201}.
{[769,71],500}.
{[769,73],205}.
{[769,75],7728}.
{[769,76],313}.
{[769,77],7742}.
{[769,78],323}.
{[769,79],211}.
{[769,80],7764}.
{[769,82],340}.
{[769,83],346}.
{[769,85],218}.
{[769,87],7810}.
{[769,89],221}.
{[769,90],377}.
{[769,97],225}.
{[769,99],263}.
{[769,101],233}.
{[769,103],501}.
{[769,105],237}.
{[769,107],7729}.
{[769,108],314}.
{[769,109],7743}.
{[769,110],324}.
{[769,111],243}.
{[769,112],7765}.
{[769,114],341}.
{[769,115],347}.
{[769,117],250}.
{[769,119],7811}.
{[769,121],253}.
{[769,122],378}.
{[769,168],8174}.
{[769,198],508}.
{[769,216],510}.
{[769,230],509}.
{[769,248],511}.
{[769,770,65],7844}.
{[769,770,69],7870}.
{[769,770,79],7888}.
{[769,770,97],7845}.
{[769,770,101],7871}.
{[769,770,111],7889}.
{[769,771,79],7756}.
{[769,771,85],7800}.
{[769,771,111],7757}.
{[769,771,117],7801}.
{[769,772,69],7702}.
{[769,772,79],7762}.
{[769,772,101],7703}.
{[769,772,111],7763}.
{[769,774,65],7854}.
{[769,774,97],7855}.
{[769,776,73],7726}.
{[769,776,85],471}.
{[769,776,105],7727}.
{[769,776,117],472}.
{[769,776,953],8147}.
{[769,776,965],8163}.
{[769,778,65],506}.
{[769,778,97],507}.
{[769,787,837,913],8076}.
{[769,787,837,919],8092}.
{[769,787,837,937],8108}.
{[769,787,837,945],8068}.
{[769,787,837,951],8084}.
{[769,787,837,969],8100}.
{[769,787,913],7948}.
{[769,787,917],7964}.
{[769,787,919],7980}.
{[769,787,921],7996}.
{[769,787,927],8012}.
{[769,787,937],8044}.
{[769,787,945],7940}.
{[769,787,949],7956}.
{[769,787,951],7972}.
{[769,787,953],7988}.
{[769,787,959],8004}.
{[769,787,965],8020}.
{[769,787,969],8036}.
{[769,788,837,913],8077}.
{[769,788,837,919],8093}.
{[769,788,837,937],8109}.
{[769,788,837,945],8069}.
{[769,788,837,951],8085}.
{[769,788,837,969],8101}.
{[769,788,913],7949}.
{[769,788,917],7965}.
{[769,788,919],7981}.
{[769,788,921],7997}.
{[769,788,927],8013}.
{[769,788,933],8029}.
{[769,788,937],8045}.
{[769,788,945],7941}.
{[769,788,949],7957}.
{[769,788,951],7973}.
{[769,788,953],7989}.
{[769,788,959],8005}.
{[769,788,965],8021}.
{[769,788,969],8037}.
{[769,795,79],7898}.
{[769,795,85],7912}.
{[769,795,111],7899}.
{[769,795,117],7913}.
{[769,807,67],7688}.
{[769,807,99],7689}.
{[769,837,945],8116}.
{[769,837,951],8132}.
{[769,837,959],8180}.
{[769,913],8123}.
{[769,917],8137}.
{[769,919],8139}.
{[769,921],8155}.
{[769,927],8185}.
{[769,933],8171}.
{[769,937],8187}.
{[769,945],8049}.
{[769,949],8051}.
{[769,951],8053}.
{[769,953],8055}.
{[769,959],8057}.
{[769,965],8059}.
{[769,969],8061}.
{[769,1043],1027}.
{[769,1050],1036}.
{[769,1075],1107}.
{[769,1082],1116}.
{[769,8127],8142}.
{[769,8190],8158}.
{[770,65],194}.
{[770,67],264}.
{[770,69],202}.
{[770,71],284}.
{[770,72],292}.
{[770,73],206}.
{[770,74],308}.
{[770,79],212}.
{[770,83],348}.
{[770,85],219}.
{[770,87],372}.
{[770,89],374}.
{[770,90],7824}.
{[770,97],226}.
{[770,99],265}.
{[770,101],234}.
{[770,103],285}.
{[770,104],293}.
{[770,105],238}.
{[770,106],309}.
{[770,111],244}.
{[770,115],349}.
{[770,117],251}.
{[770,119],373}.
{[770,121],375}.
{[770,122],7825}.
{[770,803,65],7852}.
{[770,803,69],7878}.
{[770,803,79],7896}.
{[770,803,97],7853}.
{[770,803,101],7879}.
{[770,803,111],7897}.
{[771,65],195}.
{[771,69],7868}.
{[771,73],296}.
{[771,78],209}.
{[771,79],213}.
{[771,85],360}.
{[771,86],7804}.
{[771,89],7928}.
{[771,97],227}.
{[771,101],7869}.
{[771,105],297}.
{[771,110],241}.
{[771,111],245}.
{[771,117],361}.
{[771,118],7805}.
{[771,121],7929}.
{[771,770,65],7850}.
{[771,770,69],7876}.
{[771,770,79],7894}.
{[771,770,97],7851}.
{[771,770,101],7877}.
{[771,770,111],7895}.
{[771,774,65],7860}.
{[771,774,97],7861}.
{[771,795,79],7904}.
{[771,795,85],7918}.
{[771,795,111],7905}.
{[771,795,117],7919}.
{[772,65],256}.
{[772,69],274}.
{[772,71],7712}.
{[772,73],298}.
{[772,79],332}.
{[772,85],362}.
{[772,97],257}.
{[772,101],275}.
{[772,103],7713}.
{[772,105],299}.
{[772,111],333}.
{[772,117],363}.
{[772,198],482}.
{[772,230],483}.
{[772,775,65],480}.
{[772,775,97],481}.
{[772,776,65],478}.
{[772,776,85],469}.
{[772,776,97],479}.
{[772,776,117],470}.
{[772,803,76],7736}.
{[772,803,82],7772}.
{[772,803,108],7737}.
{[772,803,114],7773}.
{[772,808,79],492}.
{[772,808,111],493}.
{[772,913],8121}.
{[772,921],8153}.
{[772,933],8169}.
{[772,945],8113}.
{[772,953],8145}.
{[772,965],8161}.
{[772,1048],1250}.
{[772,1059],1262}.
{[772,1080],1251}.
{[772,1091],1263}.
{[774,65],258}.
{[774,69],276}.
{[774,71],286}.
{[774,73],300}.
{[774,79],334}.
{[774,85],364}.
{[774,97],259}.
{[774,101],277}.
{[774,103],287}.
{[774,105],301}.
{[774,111],335}.
{[774,117],365}.
{[774,803,65],7862}.
{[774,803,97],7863}.
{[774,807,69],7708}.
{[774,807,101],7709}.
{[774,913],8120}.
{[774,921],8152}.
{[774,933],8168}.
{[774,945],8112}.
{[774,953],8144}.
{[774,965],8160}.
{[774,1040],1232}.
{[774,1045],1238}.
{[774,1046],1217}.
{[774,1048],1049}.
{[774,1059],1038}.
{[774,1072],1233}.
{[774,1077],1239}.
{[774,1078],1218}.
{[774,1080],1081}.
{[774,1091],1118}.
{[775,66],7682}.
{[775,67],266}.
{[775,68],7690}.
{[775,69],278}.
{[775,70],7710}.
{[775,71],288}.
{[775,72],7714}.
{[775,73],304}.
{[775,77],7744}.
{[775,78],7748}.
{[775,80],7766}.
{[775,82],7768}.
{[775,83],7776}.
{[775,84],7786}.
{[775,87],7814}.
{[775,88],7818}.
{[775,89],7822}.
{[775,90],379}.
{[775,98],7683}.
{[775,99],267}.
{[775,100],7691}.
{[775,101],279}.
{[775,102],7711}.
{[775,103],289}.
{[775,104],7715}.
{[775,109],7745}.
{[775,110],7749}.
{[775,112],7767}.
{[775,114],7769}.
{[775,115],7777}.
{[775,116],7787}.
{[775,119],7815}.
{[775,120],7819}.
{[775,121],7823}.
{[775,122],380}.
{[775,383],7835}.
{[775,769,83],7780}.
{[775,769,115],7781}.
{[775,774],784}.
{[775,780,83],7782}.
{[775,780,115],7783}.
{[775,803,83],7784}.
{[775,803,115],7785}.
{[776,65],196}.
{[776,69],203}.
{[776,72],7718}.
{[776,73],207}.
{[776,79],214}.
{[776,85],220}.
{[776,87],7812}.
{[776,88],7820}.
{[776,89],376}.
{[776,97],228}.
{[776,101],235}.
{[776,104],7719}.
{[776,105],239}.
{[776,111],246}.
{[776,116],7831}.
{[776,117],252}.
{[776,119],7813}.
{[776,120],7821}.
{[776,121],255}.
{[776,399],1242}.
{[776,415],1258}.
{[776,601],1243}.
{[776,629],1259}.
{[776,771,79],7758}.
{[776,771,111],7759}.
{[776,772,85],7802}.
{[776,772,117],7803}.
{[776,921],938}.
{[776,933],939}.
{[776,953],970}.
{[776,965],971}.
{[776,978],980}.
{[776,1030],1031}.
{[776,1040],1234}.
{[776,1045],1025}.
{[776,1046],1244}.
{[776,1047],1246}.
{[776,1048],1252}.
{[776,1054],1254}.
{[776,1059],1264}.
{[776,1063],1268}.
{[776,1067],1272}.
{[776,1072],1235}.
{[776,1077],1105}.
{[776,1078],1245}.
{[776,1079],1247}.
{[776,1080],1253}.
{[776,1086],1255}.
{[776,1091],1265}.
{[776,1095],1269}.
{[776,1099],1273}.
{[776,1110],1111}.
{[777,65],7842}.
{[777,69],7866}.
{[777,73],7880}.
{[777,79],7886}.
{[777,85],7910}.
{[777,89],7926}.
{[777,97],7843}.
{[777,101],7867}.
{[777,105],7881}.
{[777,111],7887}.
{[777,117],7911}.
{[777,121],7927}.
{[777,770,65],7848}.
{[777,770,69],7874}.
{[777,770,79],7892}.
{[777,770,97],7849}.
{[777,770,101],7875}.
{[777,770,111],7893}.
{[777,774,65],7858}.
{[777,774,97],7859}.
{[777,795,79],7902}.
{[777,795,85],7916}.
{[777,795,111],7903}.
{[777,795,117],7917}.
{[778,65],197}.
{[778,85],366}.
{[778,97],229}.
{[778,117],367}.
{[778,119],7832}.
{[778,121],7833}.
{[779,79],336}.
{[779,85],368}.
{[779,111],337}.
{[779,117],369}.
{[779,1059],1266}.
{[779,1091],1267}.
{[780,65],461}.
{[780,67],268}.
{[780,68],270}.
{[780,69],282}.
{[780,71],486}.
{[780,73],463}.
{[780,75],488}.
{[780,76],317}.
{[780,78],327}.
{[780,79],465}.
{[780,82],344}.
{[780,83],352}.
{[780,84],356}.
{[780,85],467}.
{[780,90],381}.
{[780,97],462}.
{[780,99],269}.
{[780,100],271}.
{[780,101],283}.
{[780,103],487}.
{[780,105],464}.
{[780,106],496}.
{[780,107],489}.
{[780,108],318}.
{[780,110],328}.
{[780,111],466}.
{[780,114],345}.
{[780,115],353}.
{[780,116],357}.
{[780,117],468}.
{[780,122],382}.
{[780,439],494}.
{[780,658],495}.
{[780,776,85],473}.
{[780,776,117],474}.
{[781,168],901}.
{[781,776],836}.
{[781,776,953],912}.
{[781,776,965],944}.
{[781,913],902}.
{[781,917],904}.
{[781,919],905}.
{[781,921],906}.
{[781,927],908}.
{[781,933],910}.
{[781,937],911}.
{[781,945],940}.
{[781,949],941}.
{[781,951],942}.
{[781,953],943}.
{[781,959],972}.
{[781,965],973}.
{[781,969],974}.
{[781,978],979}.
{[783,65],512}.
{[783,69],516}.
{[783,73],520}.
{[783,79],524}.
{[783,82],528}.
{[783,85],532}.
{[783,97],513}.
{[783,101],517}.
{[783,105],521}.
{[783,111],525}.
{[783,114],529}.
{[783,117],533}.
{[783,1140],1142}.
{[783,1141],1143}.
{[785,65],514}.
{[785,69],518}.
{[785,73],522}.
{[785,79],526}.
{[785,82],530}.
{[785,85],534}.
{[785,97],515}.
{[785,101],519}.
{[785,105],523}.
{[785,111],527}.
{[785,114],531}.
{[785,117],535}.
{[787],835}.
{[787,837,913],8072}.
{[787,837,919],8088}.
{[787,837,937],8104}.
{[787,837,945],8064}.
{[787,837,951],8080}.
{[787,837,969],8096}.
{[787,913],7944}.
{[787,917],7960}.
{[787,919],7976}.
{[787,921],7992}.
{[787,927],8008}.
{[787,937],8040}.
{[787,945],7936}.
{[787,949],7952}.
{[787,951],7968}.
{[787,953],7984}.
{[787,959],8000}.
{[787,961],8164}.
{[787,965],8016}.
{[787,969],8032}.
{[788,837,913],8073}.
{[788,837,919],8089}.
{[788,837,937],8105}.
{[788,837,945],8065}.
{[788,837,951],8081}.
{[788,837,969],8097}.
{[788,913],7945}.
{[788,917],7961}.
{[788,919],7977}.
{[788,921],7993}.
{[788,927],8009}.
{[788,929],8172}.
{[788,933],8025}.
{[788,937],8041}.
{[788,945],7937}.
{[788,949],7953}.
{[788,951],7969}.
{[788,953],7985}.
{[788,959],8001}.
{[788,961],8165}.
{[788,965],8017}.
{[788,969],8033}.
{[795,79],416}.
{[795,85],431}.
{[795,111],417}.
{[795,117],432}.
{[803,65],7840}.
{[803,66],7684}.
{[803,68],7692}.
{[803,69],7864}.
{[803,72],7716}.
{[803,73],7882}.
{[803,75],7730}.
{[803,76],7734}.
{[803,77],7746}.
{[803,78],7750}.
{[803,79],7884}.
{[803,82],7770}.
{[803,83],7778}.
{[803,84],7788}.
{[803,85],7908}.
{[803,86],7806}.
{[803,87],7816}.
{[803,89],7924}.
{[803,90],7826}.
{[803,97],7841}.
{[803,98],7685}.
{[803,100],7693}.
{[803,101],7865}.
{[803,104],7717}.
{[803,105],7883}.
{[803,107],7731}.
{[803,108],7735}.
{[803,109],7747}.
{[803,110],7751}.
{[803,111],7885}.
{[803,114],7771}.
{[803,115],7779}.
{[803,116],7789}.
{[803,117],7909}.
{[803,118],7807}.
{[803,119],7817}.
{[803,121],7925}.
{[803,122],7827}.
{[803,795,79],7906}.
{[803,795,85],7920}.
{[803,795,111],7907}.
{[803,795,117],7921}.
{[804,85],7794}.
{[804,117],7795}.
{[805,65],7680}.
{[805,97],7681}.
{[807,67],199}.
{[807,68],7696}.
{[807,71],290}.
{[807,72],7720}.
{[807,75],310}.
{[807,76],315}.
{[807,78],325}.
{[807,82],342}.
{[807,83],350}.
{[807,84],354}.
{[807,99],231}.
{[807,100],7697}.
{[807,103],291}.
{[807,104],7721}.
{[807,107],311}.
{[807,108],316}.
{[807,110],326}.
{[807,114],343}.
{[807,115],351}.
{[807,116],355}.
{[808,65],260}.
{[808,69],280}.
{[808,73],302}.
{[808,79],490}.
{[808,85],370}.
{[808,97],261}.
{[808,101],281}.
{[808,105],303}.
{[808,111],491}.
{[808,117],371}.
{[813,68],7698}.
{[813,69],7704}.
{[813,76],7740}.
{[813,78],7754}.
{[813,84],7792}.
{[813,85],7798}.
{[813,100],7699}.
{[813,101],7705}.
{[813,108],7741}.
{[813,110],7755}.
{[813,116],7793}.
{[813,117],7799}.
{[814,72],7722}.
{[814,104],7723}.
{[816,69],7706}.
{[816,73],7724}.
{[816,85],7796}.
{[816,101],7707}.
{[816,105],7725}.
{[816,117],7797}.
{[817,66],7686}.
{[817,68],7694}.
{[817,75],7732}.
{[817,76],7738}.
{[817,78],7752}.
{[817,82],7774}.
{[817,84],7790}.
{[817,90],7828}.
{[817,98],7687}.
{[817,100],7695}.
{[817,104],7830}.
{[817,107],7733}.
{[817,108],7739}.
{[817,110],7753}.
{[817,114],7775}.
{[817,116],7791}.
{[817,122],7829}.
{[834,168],8129}.
{[834,776,953],8151}.
{[834,776,965],8167}.
{[834,787,837,913],8078}.
{[834,787,837,919],8094}.
{[834,787,837,937],8110}.
{[834,787,837,945],8070}.
{[834,787,837,951],8086}.
{[834,787,837,969],8102}.
{[834,787,913],7950}.
{[834,787,919],7982}.
{[834,787,921],7998}.
{[834,787,937],8046}.
{[834,787,945],7942}.
{[834,787,951],7974}.
{[834,787,953],7990}.
{[834,787,965],8022}.
{[834,787,969],8038}.
{[834,788,837,913],8079}.
{[834,788,837,919],8095}.
{[834,788,837,937],8111}.
{[834,788,837,945],8071}.
{[834,788,837,951],8087}.
{[834,788,837,969],8103}.
{[834,788,913],7951}.
{[834,788,919],7983}.
{[834,788,921],7999}.
{[834,788,933],8031}.
{[834,788,937],8047}.
{[834,788,945],7943}.
{[834,788,951],7975}.
{[834,788,953],7991}.
{[834,788,965],8023}.
{[834,788,969],8039}.
{[834,837,945],8119}.
{[834,837,951],8135}.
{[834,837,969],8183}.
{[834,945],8118}.
{[834,951],8134}.
{[834,953],8150}.
{[834,965],8166}.
{[834,969],8182}.
{[834,8127],8143}.
{[834,8190],8159}.
{[837,913],8124}.
{[837,919],8140}.
{[837,937],8188}.
{[837,945],8115}.
{[837,951],8131}.
{[837,969],8179}.
{[953],8126}.
{[1463,1488],64302}.
{[1463,1522],64287}.
{[1464,1488],64303}.
{[1465,1493],64331}.
{[1468,1488],64304}.
{[1468,1489],64305}.
{[1468,1490],64306}.
{[1468,1491],64307}.
{[1468,1492],64308}.
{[1468,1493],64309}.
{[1468,1494],64310}.
{[1468,1496],64312}.
{[1468,1497],64313}.
{[1468,1498],64314}.
{[1468,1499],64315}.
{[1468,1500],64316}.
{[1468,1502],64318}.
{[1468,1504],64320}.
{[1468,1505],64321}.
{[1468,1507],64323}.
{[1468,1508],64324}.
{[1468,1510],64326}.
{[1468,1511],64327}.
{[1468,1512],64328}.
{[1468,1513],64329}.
{[1468,1514],64330}.
{[1471,1489],64332}.
{[1471,1499],64333}.
{[1471,1508],64334}.
{[1473,1468,1513],64300}.
{[1473,1513],64298}.
{[1474,1468,1513],64301}.
{[1474,1513],64299}.
{[2364,2325],2392}.
{[2364,2326],2393}.
{[2364,2327],2394}.
{[2364,2332],2395}.
{[2364,2337],2396}.
{[2364,2338],2397}.
{[2364,2344],2345}.
{[2364,2347],2398}.
{[2364,2351],2399}.
{[2364,2352],2353}.
{[2364,2355],2356}.
{[2492,2465],2524}.
{[2492,2466],2525}.
{[2492,2476],2480}.
{[2492,2479],2527}.
{[2494,2503],2507}.
{[2519,2503],2508}.
{[2620,2582],2649}.
{[2620,2583],2650}.
{[2620,2588],2651}.
{[2620,2593],2652}.
{[2620,2603],2654}.
{[2876,2849],2908}.
{[2876,2850],2909}.
{[2876,2863],2911}.
{[2878,2887],2891}.
{[2902,2887],2888}.
{[2903,2887],2892}.
{[3006,3014],3018}.
{[3006,3015],3019}.
{[3031,2962],2964}.
{[3031,3014],3020}.
{[3158,3142],3144}.
{[3266,3270],3274}.
{[3285,3263],3264}.
{[3285,3266,3270],3275}.
{[3285,3270],3271}.
{[3286,3270],3272}.
{[3390,3398],3402}.
{[3390,3399],3403}.
{[3415,3398],3404}.
{[3634,3661],3635}.
{[3762,3789],3763}.
{[3953,3954],3955}.
{[3953,3956],3957}.
{[3953,3968],3969}.
{[3953,3968,4018],3959}.
{[3953,3968,4019],3961}.
{[3968,4018],3958}.
{[3968,4019],3960}.
{[4021,3904],3945}.
{[4021,3984],4025}.
{[4023,3906],3907}.
{[4023,3916],3917}.
{[4023,3921],3922}.
{[4023,3926],3927}.
{[4023,3931],3932}.
{[4023,3986],3987}.
{[4023,3996],3997}.
{[4023,4001],4002}.
{[4023,4006],4007}.
{[4023,4011],4012}.
{[12441,12358],12436}.
{[12441,12363],12364}.
{[12441,12365],12366}.
{[12441,12367],12368}.
{[12441,12369],12370}.
{[12441,12371],12372}.
{[12441,12373],12374}.
{[12441,12375],12376}.
{[12441,12377],12378}.
{[12441,12379],12380}.
{[12441,12381],12382}.
{[12441,12383],12384}.
{[12441,12385],12386}.
{[12441,12388],12389}.
{[12441,12390],12391}.
{[12441,12392],12393}.
{[12441,12399],12400}.
{[12441,12402],12403}.
{[12441,12405],12406}.
{[12441,12408],12409}.
{[12441,12411],12412}.
{[12441,12445],12446}.
{[12441,12454],12532}.
{[12441,12459],12460}.
{[12441,12461],12462}.
{[12441,12463],12464}.
{[12441,12465],12466}.
{[12441,12467],12468}.
{[12441,12469],12470}.
{[12441,12471],12472}.
{[12441,12473],12474}.
{[12441,12475],12476}.
{[12441,12477],12478}.
{[12441,12479],12480}.
{[12441,12481],12482}.
{[12441,12484],12485}.
{[12441,12486],12487}.
{[12441,12488],12489}.
{[12441,12495],12496}.
{[12441,12498],12499}.
{[12441,12501],12502}.
{[12441,12504],12505}.
{[12441,12507],12508}.
{[12441,12527],12535}.
{[12441,12528],12536}.
{[12441,12529],12537}.
{[12441,12530],12538}.
{[12441,12541],12542}.
{[12442,12399],12401}.
{[12442,12402],12404}.
{[12442,12405],12407}.
{[12442,12408],12410}.
{[12442,12411],12413}.
{[12442,12495],12497}.
{[12442,12498],12500}.
{[12442,12501],12503}.
{[12442,12504],12506}.
{[12442,12507],12509}.