[Home] [Table] [Glossary]
[Families]
On this page are computer-accessible forms for the graph C4[ 384, 256 ] =
UG(ATD[384,478]).
(I) Following is a form readable by MAGMA:
g:=Graph<384|{ {64, 67}, {80, 83}, {1, 5}, {234, 238}, {194, 199}, {267, 270},
{161, 167}, {259, 261}, {120, 127}, {1, 9}, {21, 28}, {82, 88}, {135, 140},
{231, 236}, {1, 13}, {69, 73}, {9, 25}, {239, 255}, {171, 186}, {258, 275},
{196, 214}, {1, 21}, {270, 282}, {73, 93}, {5, 17}, {160, 180}, {76, 89}, {128,
149}, {230, 243}, {104, 126}, {136, 158}, {196, 211}, {5, 29}, {166, 190}, {13,
20}, {45, 52}, {64, 90}, {271, 277}, {239, 245}, {67, 88}, {107, 112}, {132,
159}, {134, 152}, {224, 254}, {231, 249}, {128, 159}, {322, 354}, {351, 383},
{335, 367}, {326, 359}, {149, 183}, {154, 184}, {259, 288}, {9, 45}, {338, 374},
{335, 363}, {322, 358}, {148, 176}, {12, 41}, {331, 366}, {76, 105}, {131, 165},
{140, 170}, {153, 191}, {9, 33}, {346, 370}, {25, 49}, {21, 61}, {17, 57}, {8,
33}, {350, 375}, {339, 378}, {323, 362}, {195, 233}, {218, 240}, {223, 244}, {5,
41}, {343, 379}, {16, 61}, {350, 371}, {339, 382}, {334, 355}, {143, 161}, {192,
239}, {88, 104}, {338, 354}, {156, 172}, {331, 378}, {347, 362}, {342, 359},
{17, 37}, {351, 363}, {194, 246}, {29, 40}, {347, 366}, {342, 355}, {326, 371},
{85, 96}, {13, 53}, {343, 367}, {330, 370}, {327, 383}, {78, 118}, {129, 185},
{141, 181}, {128, 185}, {334, 375}, {212, 237}, {134, 188}, {219, 224}, {151,
171}, {346, 358}, {330, 374}, {327, 379}, {193, 252}, {323, 382}, {222, 227},
{13, 77}, {294, 358}, {290, 354}, {282, 346}, {25, 89}, {21, 85}, {17, 81}, {28,
93}, {274, 339}, {55, 118}, {186, 251}, {144, 210}, {319, 381}, {315, 377},
{303, 365}, {299, 361}, {43, 104}, {319, 380}, {33, 101}, {148, 208}, {4, 65},
{306, 375}, {290, 359}, {34, 100}, {283, 349}, {44, 106}, {133, 195}, {144,
215}, {37, 109}, {318, 374}, {314, 370}, {142, 198}, {155, 211}, {266, 323},
{187, 241}, {287, 341}, {48, 123}, {315, 368}, {295, 364}, {275, 344}, {167,
236}, {49, 125}, {286, 338}, {137, 197}, {152, 213}, {318, 371}, {302, 355},
{278, 347}, {262, 331}, {163, 238}, {169, 231}, {263, 328}, {287, 336}, {186,
234}, {310, 358}, {306, 354}, {274, 322}, {20, 69}, {36, 117}, {32, 113}, {141,
220}, {166, 247}, {263, 341}, {54, 101}, {303, 380}, {283, 328}, {139, 216}, {4,
81}, {310, 355}, {294, 371}, {286, 331}, {24, 77}, {182, 224}, {275, 325}, {267,
349}, {35, 116}, {53, 98}, {25, 65}, {302, 374}, {298, 370}, {266, 338}, {45,
117}, {41, 113}, {190, 230}, {52, 109}, {282, 323}, {160, 249}, {32, 122}, {311,
365}, {307, 361}, {295, 381}, {291, 377}, {279, 333}, {46, 116}, {139, 209},
{132, 223}, {311, 364}, {299, 368}, {267, 336}, {166, 253}, {262, 346}, {278,
330}, {62, 99}, {314, 359}, {298, 375}, {150, 200}, {36, 123}, {189, 223}, {28,
121}, {140, 235}, {150, 241}, {148, 253}, {58, 80}, {56, 83}, {131, 232}, {143,
228}, {37, 73}, {160, 204}, {136, 229}, {150, 251}, {153, 246}, {172, 195},
{138, 250}, {12, 125}, {129, 240}, {137, 248}, {143, 253}, {57, 76}, {151, 226},
{279, 352}, {49, 73}, {142, 247}, {165, 220}, {56, 66}, {168, 210}, {187, 192},
{29, 97}, {162, 222}, {4, 121}, {53, 72}, {20, 105}, {156, 225}, {28, 157}, {68,
197}, {64, 193}, {60, 189}, {56, 185}, {102, 228}, {111, 237}, {59, 184}, {91,
216}, {63, 188}, {121, 253}, {20, 145}, {40, 173}, {72, 206}, {115, 245}, {90,
220}, {93, 213}, {109, 229}, {97, 235}, {120, 242}, {68, 207}, {93, 209}, {8,
133}, {114, 255}, {80, 221}, {30, 144}, {70, 200}, {60, 179}, {91, 212}, {100,
244}, {114, 226}, {105, 249}, {92, 207}, {29, 137}, {103, 243}, {85, 193}, {117,
225}, {4, 145}, {92, 202}, {126, 232}, {95, 200}, {48, 168}, {98, 250}, {61,
165}, {57, 161}, {40, 177}, {52, 173}, {66, 216}, {69, 217}, {89, 197}, {72,
213}, {103, 249}, {37, 133}, {108, 204}, {81, 241}, {77, 237}, {56, 152}, {100,
197}, {103, 198}, {48, 146}, {125, 223}, {71, 228}, {291, 384}, {113, 213}, {44,
137}, {113, 212}, {79, 232}, {95, 248}, {65, 233}, {40, 129}, {14, 164}, {24,
178}, {33, 141}, {89, 245}, {116, 218}, {119, 217}, {49, 129}, {70, 244}, {101,
215}, {32, 147}, {307, 384}, {112, 195}, {45, 153}, {62, 138}, {68, 241}, {92,
233}, {84, 225}, {42, 156}, {99, 219}, {8, 177}, {36, 158}, {98, 216}, {94,
228}, {23, 172}, {115, 200}, {43, 144}, {35, 152}, {30, 165}, {41, 149}, {108,
208}, {48, 141}, {88, 229}, {44, 147}, {8, 201}, {12, 205}, {46, 237}, {97,
162}, {86, 149}, {116, 183}, {12, 201}, {109, 168}, {120, 191}, {124, 180}, {16,
217}, {60, 245}, {24, 209}, {124, 176}, {15, 192}, {102, 169}, {96, 175}, {85,
154}, {63, 240}, {119, 184}, {32, 240}, {76, 157}, {114, 163}, {117, 164}, {96,
178}, {24, 203}, {111, 188}, {78, 155}, {96, 181}, {22, 192}, {57, 225}, {61,
229}, {16, 203}, {39, 252}, {31, 194}, {104, 181}, {87, 138}, {16, 206}, {54,
232}, {14, 236}, {112, 146}, {110, 140}, {71, 164}, {107, 136}, {100, 135},
{127, 156}, {97, 132}, {59, 220}, {84, 179}, {79, 168}, {72, 175}, {42, 194},
{65, 169}, {53, 221}, {112, 153}, {68, 174}, {106, 128}, {86, 188}, {82, 184},
{81, 189}, {101, 136}, {22, 248}, {58, 212}, {69, 181}, {47, 222}, {94, 172},
{77, 185}, {60, 202}, {52, 205}, {6, 252}, {84, 174}, {120, 130}, {15, 244},
{23, 236}, {34, 222}, {84, 169}, {92, 161}, {122, 132}, {62, 318}, {10, 264},
{63, 313}, {106, 365}, {122, 381}, {54, 319}, {107, 353}, {123, 369}, {11, 256},
{55, 316}, {107, 357}, {123, 373}, {7, 264}, {75, 324}, {31, 272}, {54, 294},
{62, 303}, {74, 344}, {11, 280}, {106, 377}, {63, 300}, {51, 288}, {122, 361},
{55, 289}, {74, 336}, {7, 284}, {6, 280}, {75, 340}, {90, 378}, {94, 382}, {71,
357}, {83, 369}, {71, 356}, {91, 376}, {50, 276}, {36, 269}, {110, 327}, {126,
343}, {2, 296}, {95, 373}, {38, 268}, {10, 288}, {19, 312}, {111, 324}, {47,
260}, {27, 304}, {127, 340}, {44, 257}, {82, 383}, {18, 316}, {26, 308}, {3,
300}, {126, 334}, {50, 256}, {67, 369}, {39, 276}, {90, 367}, {94, 363}, {18,
292}, {26, 300}, {127, 329}, {55, 271}, {110, 342}, {82, 362}, {70, 382}, {66,
378}, {38, 284}, {91, 353}, {19, 296}, {95, 356}, {83, 360}, {67, 376}, {66,
383}, {70, 379}, {111, 337}, {3, 316}, {51, 268}, {30, 351}, {2, 320}, {31,
348}, {39, 356}, {2, 328}, {38, 364}, {26, 336}, {18, 344}, {51, 376}, {50,
380}, {64, 270}, {3, 332}, {39, 360}, {27, 340}, {19, 348}, {58, 362}, {80,
258}, {59, 360}, {87, 259}, {58, 367}, {19, 324}, {51, 356}, {27, 332}, {30,
326}, {18, 328}, {59, 353}, {27, 320}, {31, 321}, {3, 348}, {14, 366}, {102,
262}, {2, 352}, {43, 329}, {23, 373}, {119, 277}, {23, 372}, {47, 332}, {114,
278}, {124, 281}, {79, 297}, {87, 305}, {78, 294}, {86, 318}, {118, 286}, {46,
327}, {108, 261}, {6, 364}, {110, 260}, {99, 265}, {15, 357}, {115, 281}, {42,
326}, {121, 277}, {34, 335}, {7, 360}, {75, 292}, {35, 332}, {46, 350}, {86,
295}, {108, 285}, {74, 312}, {7, 372}, {79, 316}, {11, 376}, {14, 379}, {98,
279}, {124, 265}, {6, 368}, {10, 380}, {43, 348}, {119, 256}, {22, 366}, {105,
273}, {78, 311}, {102, 287}, {10, 368}, {74, 304}, {35, 345}, {26, 352}, {15,
372}, {87, 300}, {115, 264}, {34, 350}, {125, 257}, {22, 363}, {42, 343}, {118,
267}, {47, 337}, {11, 372}, {103, 280}, {99, 284}, {75, 308}, {150, 278}, {157,
285}, {162, 290}, {170, 298}, {182, 310}, {203, 329}, {154, 286}, {177, 309},
{190, 314}, {148, 273}, {180, 305}, {183, 305}, {207, 329}, {202, 333}, {133,
269}, {142, 262}, {145, 281}, {151, 285}, {155, 273}, {191, 309}, {206, 325},
{173, 289}, {176, 317}, {139, 261}, {163, 301}, {171, 293}, {182, 295}, {130,
272}, {203, 345}, {183, 292}, {145, 261}, {157, 265}, {177, 293}, {142, 283},
{176, 293}, {190, 299}, {139, 284}, {143, 280}, {191, 296}, {138, 275}, {162,
315}, {170, 307}, {155, 256}, {163, 312}, {206, 341}, {173, 305}, {154, 263},
{180, 297}, {207, 337}, {151, 264}, {255, 352}, {202, 341}, {250, 347}, {251,
344}, {38, 384}, {187, 285}, {186, 274}, {170, 257}, {235, 320}, {167, 266},
{254, 339}, {50, 384}, {166, 276}, {164, 272}, {254, 330}, {160, 277}, {182,
259}, {251, 333}, {187, 268}, {250, 322}, {189, 260}, {255, 325}, {167, 283},
{226, 290}, {234, 298}, {131, 321}, {247, 309}, {135, 324}, {196, 263}, {246,
306}, {227, 293}, {235, 301}, {247, 304}, {242, 314}, {134, 335}, {199, 269},
{130, 334}, {243, 317}, {134, 342}, {193, 273}, {226, 307}, {242, 291}, {234,
315}, {209, 258}, {221, 265}, {131, 340}, {217, 270}, {214, 271}, {227, 312},
{243, 296}, {130, 351}, {246, 299}, {135, 345}, {196, 282}, {201, 297}, {205,
301}, {204, 301}, {147, 369}, {238, 268}, {219, 313}, {227, 257}, {215, 308},
{198, 291}, {210, 311}, {211, 308}, {208, 313}, {214, 319}, {159, 373}, {179,
345}, {146, 377}, {171, 320}, {174, 325}, {218, 310}, {230, 266}, {175, 321},
{146, 381}, {178, 349}, {201, 313}, {205, 317}, {208, 289}, {179, 321}, {158,
365}, {252, 271}, {174, 349}, {231, 276}, {198, 306}, {218, 303}, {147, 357},
{215, 289}, {158, 361}, {238, 281}, {199, 304}, {224, 279}, {214, 302}, {204,
309}, {230, 287}, {233, 272}, {199, 317}, {211, 297}, {210, 302}, {254, 258},
{248, 260}, {221, 288}, {239, 274}, {159, 353}, {175, 337}, {178, 333}, {242,
269}, {219, 292} }>;
(II) A more general form is to represent the graph as the orbit of {64, 67}
under the group generated by the following permutations:
a: (5, 13)(6, 14)(7, 15)(8, 16)(9, 21)(10, 22)(11, 23)(12, 24)(17, 20)(18,
19)(25, 28)(26, 27)(29, 53)(30, 54)(31, 55)(32, 56)(33, 61)(34, 62)(35, 63)(36,
64)(37, 69)(38, 70)(39, 71)(40, 72)(41, 77)(42, 78)(43, 79)(44, 80)(45, 85)(46,
86)(47, 87)(48, 88)(49, 93)(50, 94)(51, 95)(52, 96)(57, 105)(58, 106)(59,
107)(60, 108)(65, 121)(66, 122)(67, 123)(68, 124)(81, 145)(82, 146)(83, 147)(84,
148)(89, 157)(90, 158)(91, 159)(92, 160)(97, 98)(99, 100)(101, 165)(102,
166)(103, 167)(104, 168)(109, 181)(110, 182)(111, 183)(112, 184)(113, 185)(114,
186)(115, 187)(116, 188)(117, 193)(118, 194)(119, 195)(120, 196)(125, 209)(126,
210)(127, 211)(128, 212)(129, 213)(130, 214)(131, 215)(132, 216)(133, 217)(134,
218)(135, 219)(136, 220)(137, 221)(138, 222)(139, 223)(140, 224)(141, 229)(142,
230)(143, 231)(144, 232)(149, 237)(150, 238)(151, 239)(152, 240)(153, 154)(155,
156)(161, 249)(162, 250)(163, 251)(164, 252)(169, 253)(170, 254)(171, 255)(172,
256)(173, 175)(174, 176)(177, 206)(178, 205)(179, 208)(180, 207)(189, 261)(190,
262)(191, 263)(192, 264)(197, 265)(198, 266)(199, 267)(200, 268)(201, 203)(202,
204)(225, 273)(226, 274)(227, 275)(228, 276)(233, 277)(234, 278)(235, 279)(236,
280)(241, 281)(242, 282)(243, 283)(244, 284)(245, 285)(246, 286)(247, 287)(248,
288)(257, 258)(259, 260)(269, 270)(271, 272)(289, 321)(290, 322)(291, 323)(292,
324)(293, 325)(294, 326)(295, 327)(296, 328)(297, 329)(298, 330)(299, 331)(300,
332)(301, 333)(302, 334)(303, 335)(304, 336)(305, 337)(306, 338)(307, 339)(308,
340)(309, 341)(310, 342)(311, 343)(312, 344)(313, 345)(314, 346)(315, 347)(316,
348)(317, 349)(318, 350)(319, 351)(320, 352)(357, 360)(358, 359)(361, 378)(362,
377)(363, 380)(364, 379)(365, 367)(366, 368)(373, 376)(374, 375)(381, 383)(382,
384) (III) Last is Groups&Graphs. Copy everything between (not including)
the lines of asterisks into a plain text file and save it as "graph.txt". Then
launch G&G (Groups&Graphs) and select Read Text from the File menu.
**************
&Graph **************
b: (5, 9)(6, 10)(7, 11)(8, 12)(13, 21)(14, 22)(15, 23)(16, 24)(17, 25)(18,
26)(19, 27)(20, 28)(29, 45)(30, 46)(31, 47)(32, 48)(33, 41)(34, 42)(35, 43)(36,
44)(37, 49)(38, 50)(39, 51)(40, 52)(53, 85)(54, 86)(55, 87)(56, 88)(57, 89)(58,
90)(59, 91)(60, 92)(61, 77)(62, 78)(63, 79)(64, 80)(65, 81)(66, 82)(67, 83)(68,
84)(69, 93)(70, 94)(71, 95)(72, 96)(97, 153)(98, 154)(99, 155)(100, 156)(101,
149)(102, 150)(103, 151)(104, 152)(105, 157)(106, 158)(107, 159)(108, 160)(109,
129)(110, 130)(111, 131)(112, 132)(113, 141)(114, 142)(115, 143)(116, 144)(117,
137)(118, 138)(119, 139)(120, 140)(121, 145)(122, 146)(123, 147)(124, 148)(125,
133)(126, 134)(127, 135)(128, 136)(161, 245)(162, 246)(163, 247)(164, 248)(165,
237)(166, 238)(167, 239)(168, 240)(169, 241)(170, 242)(171, 243)(172, 244)(177,
205)(178, 206)(179, 207)(180, 208)(181, 213)(182, 214)(183, 215)(184, 216)(185,
229)(186, 230)(187, 231)(188, 232)(189, 233)(190, 234)(191, 235)(192, 236)(193,
221)(194, 222)(195, 223)(196, 224)(197, 225)(198, 226)(199, 227)(200, 228)(209,
217)(210, 218)(211, 219)(212, 220)(249, 285)(250, 286)(251, 287)(252, 288)(253,
281)(254, 282)(255, 283)(256, 284)(257, 269)(258, 270)(259, 271)(260, 272)(261,
277)(262, 278)(263, 279)(264, 280)(265, 273)(266, 274)(267, 275)(268, 276)(289,
305)(290, 306)(291, 307)(292, 308)(293, 317)(294, 318)(295, 319)(296, 320)(297,
313)(298, 314)(299, 315)(300, 316)(301, 309)(302, 310)(303, 311)(304, 312)(321,
337)(322, 338)(323, 339)(324, 340)(325, 349)(326, 350)(327, 351)(328, 352)(329,
345)(330, 346)(331, 347)(332, 348)(333, 341)(334, 342)(335, 343)(336, 344)(357,
373)(358, 374)(359, 375)(360, 376)(361, 377)(362, 378)(363, 379)(364, 380)
c: (1, 5)(2, 6)(3, 7)(4, 8)(9, 17)(10, 18)(11, 19)(12, 20)(13, 41)(14, 42)(15,
43)(16, 44)(21, 29)(22, 30)(23, 31)(24, 32)(25, 37)(26, 38)(27, 39)(28, 40)(33,
81)(34, 82)(35, 83)(36, 84)(45, 57)(46, 58)(47, 59)(48, 60)(49, 73)(50, 74)(51,
75)(52, 76)(53, 149)(54, 150)(55, 151)(56, 152)(61, 137)(62, 138)(63, 139)(64,
140)(65, 133)(66, 134)(67, 135)(68, 136)(69, 125)(70, 126)(71, 127)(72, 128)(77,
113)(78, 114)(79, 115)(80, 116)(85, 97)(86, 98)(87, 99)(88, 100)(89, 109)(90,
110)(91, 111)(92, 112)(93, 129)(94, 130)(95, 131)(96, 132)(101, 241)(102,
242)(103, 243)(104, 244)(105, 205)(106, 206)(107, 207)(108, 208)(117, 225)(118,
226)(119, 227)(120, 228)(121, 177)(122, 178)(123, 179)(124, 180)(141, 189)(142,
190)(143, 191)(144, 192)(145, 201)(146, 202)(147, 203)(148, 204)(153, 161)(154,
162)(155, 163)(156, 164)(157, 173)(158, 174)(159, 175)(160, 176)(165, 248)(166,
247)(167, 246)(168, 245)(169, 269)(170, 270)(171, 271)(172, 272)(181, 223)(182,
224)(183, 221)(184, 222)(185, 213)(186, 214)(187, 215)(188, 216)(193, 235)(194,
236)(195, 233)(196, 234)(197, 229)(198, 230)(199, 231)(200, 232)(209, 240)(210,
239)(211, 238)(212, 237)(217, 257)(218, 258)(219, 259)(220, 260)(249, 317)(250,
318)(251, 319)(252, 320)(253, 309)(254, 310)(255, 311)(256, 312)(261, 313)(262,
314)(263, 315)(264, 316)(265, 305)(266, 306)(267, 307)(268, 308)(273, 301)(274,
302)(275, 303)(276, 304)(277, 293)(278, 294)(279, 295)(280, 296)(281, 297)(282,
298)(283, 299)(284, 300)(285, 289)(286, 290)(287, 291)(288, 292)(321, 373)(322,
374)(323, 375)(324, 376)(325, 365)(326, 366)(327, 367)(328, 368)(329, 357)(330,
358)(331, 359)(332, 360)(333, 381)(334, 382)(335, 383)(336, 384)(337, 353)(338,
354)(339, 355)(340, 356)(341, 377)(342, 378)(343, 379)(344, 380)(345, 369)(346,
370)(347, 371)(348, 372)(349, 361)(350, 362)(351, 363)(352, 364)
d: (1, 3)(2, 4)(5, 332)(6, 331)(7, 330)(8, 329)(9, 348)(10, 347)(11, 346)(12,
345)(13, 300)(14, 299)(15, 298)(16, 297)(17, 27)(18, 28)(19, 25)(20, 26)(21,
316)(22, 315)(23, 314)(24, 313)(29, 47)(30, 48)(31, 45)(32, 46)(33, 43)(34,
44)(35, 41)(36, 42)(37, 340)(38, 339)(39, 338)(40, 337)(49, 324)(50, 323)(51,
322)(52, 321)(53, 87)(54, 88)(55, 85)(56, 86)(57, 304)(58, 303)(59, 302)(60,
301)(61, 79)(62, 80)(63, 77)(64, 78)(65, 296)(66, 295)(67, 294)(68, 293)(69,
308)(70, 307)(71, 306)(72, 305)(73, 75)(74, 76)(81, 320)(82, 319)(83, 318)(84,
317)(89, 312)(90, 311)(91, 310)(92, 309)(93, 292)(94, 291)(95, 290)(96, 289)(97,
260)(98, 259)(99, 258)(100, 257)(101, 104)(102, 103)(105, 336)(106, 335)(107,
334)(108, 333)(109, 131)(110, 132)(111, 129)(112, 130)(113, 116)(114, 115)(117,
194)(118, 193)(119, 196)(120, 195)(121, 328)(122, 327)(123, 326)(124, 325)(125,
135)(126, 136)(127, 133)(128, 134)(137, 222)(138, 221)(139, 224)(140, 223)(141,
144)(142, 143)(145, 352)(146, 351)(147, 350)(148, 349)(149, 152)(150, 151)(153,
272)(154, 271)(155, 270)(156, 269)(157, 344)(158, 343)(159, 342)(160, 341)(161,
247)(162, 248)(163, 245)(164, 246)(165, 168)(166, 167)(169, 243)(170, 244)(171,
241)(172, 242)(173, 175)(174, 176)(177, 207)(178, 208)(179, 205)(180, 206)(181,
215)(182, 216)(183, 213)(184, 214)(185, 188)(186, 187)(189, 235)(190, 236)(191,
233)(192, 234)(197, 227)(198, 228)(199, 225)(200, 226)(201, 203)(202, 204)(209,
219)(210, 220)(211, 217)(212, 218)(229, 232)(230, 231)(237, 240)(238, 239)(249,
287)(250, 288)(251, 285)(252, 286)(253, 283)(254, 284)(255, 281)(256, 282)(261,
279)(262, 280)(263, 277)(264, 278)(265, 275)(266, 276)(267, 273)(268, 274)(353,
355)(354, 356)(357, 375)(358, 376)(359, 373)(360, 374)(361, 379)(362, 380)(363,
377)(364, 378)(365, 367)(366, 368)(369, 371)(370, 372)(381, 383)(382, 384)
e: (1, 2)(3, 4)(5, 352)(6, 351)(7, 350)(8, 349)(9, 328)(10, 327)(11, 326)(12,
325)(13, 320)(14, 319)(15, 318)(16, 317)(17, 26)(18, 25)(19, 28)(20, 27)(21,
296)(22, 295)(23, 294)(24, 293)(29, 279)(30, 280)(31, 277)(32, 278)(33, 283)(34,
284)(35, 281)(36, 282)(37, 336)(38, 335)(39, 334)(40, 333)(41, 255)(42, 256)(43,
253)(44, 254)(45, 263)(46, 264)(47, 261)(48, 262)(49, 344)(50, 343)(51, 342)(52,
341)(53, 235)(54, 236)(55, 233)(56, 234)(57, 308)(58, 307)(59, 306)(60, 305)(61,
243)(62, 244)(63, 241)(64, 242)(65, 316)(66, 315)(67, 314)(68, 313)(69, 304)(70,
303)(71, 302)(72, 301)(73, 74)(75, 76)(77, 171)(78, 172)(79, 169)(80, 170)(81,
300)(82, 299)(83, 298)(84, 297)(85, 191)(86, 192)(87, 189)(88, 190)(89, 292)(90,
291)(91, 290)(92, 289)(93, 312)(94, 311)(95, 310)(96, 309)(97, 98)(99, 100)(101,
167)(102, 168)(103, 165)(104, 166)(105, 340)(106, 339)(107, 338)(108, 337)(109,
287)(110, 288)(111, 285)(112, 286)(113, 114)(115, 116)(117, 196)(118, 195)(119,
194)(120, 193)(121, 348)(122, 347)(123, 346)(124, 345)(125, 275)(126, 276)(127,
273)(128, 274)(129, 251)(130, 252)(131, 249)(132, 250)(133, 267)(134, 268)(135,
265)(136, 266)(137, 224)(138, 223)(139, 222)(140, 221)(141, 142)(143, 144)(145,
332)(146, 331)(147, 330)(148, 329)(149, 239)(150, 240)(151, 237)(152, 238)(153,
154)(155, 156)(157, 324)(158, 323)(159, 322)(160, 321)(161, 215)(162, 216)(163,
213)(164, 214)(173, 202)(174, 201)(175, 204)(176, 203)(177, 178)(179, 180)(181,
247)(182, 248)(183, 245)(184, 246)(185, 186)(187, 188)(197, 219)(198, 220)(199,
217)(200, 218)(205, 206)(207, 208)(209, 227)(210, 228)(211, 225)(212, 226)(229,
230)(231, 232)(257, 258)(259, 260)(269, 270)(271, 272)(353, 354)(355, 356)(357,
374)(358, 373)(359, 376)(360, 375)(361, 362)(363, 364)(365, 382)(366, 381)(367,
384)(368, 383)(369, 370)(371, 372)(377, 378)(379, 380)
C4[ 384, 256 ]
384
-1 13 5 9 21
-2 352 320 328 296
-3 332 300 348 316
-4 121 145 81 65
-5 1 17 29 41
-6 364 280 368 252
-7 264 360 284 372
-8 33 133 177 201
-9 33 1 45 25
-10 264 288 368 380
-11 376 256 280 372
-12 201 125 205 41
-13 77 1 20 53
-14 366 236 379 164
-15 244 192 357 372
-16 203 61 206 217
-17 57 37 81 5
-18 344 292 316 328
-19 312 324 348 296
-20 13 145 69 105
-21 1 28 61 85
-22 363 366 192 248
-23 236 172 372 373
-24 77 209 178 203
-25 89 49 9 65
-26 308 352 300 336
-27 320 332 304 340
-28 121 157 93 21
-29 5 137 40 97
-30 165 144 326 351
-31 321 194 348 272
-32 122 113 147 240
-33 101 8 9 141
-34 100 222 335 350
-35 332 345 116 152
-36 123 158 269 117
-37 133 17 73 109
-38 364 268 284 384
-39 276 356 360 252
-40 177 29 129 173
-41 12 113 5 149
-42 156 343 194 326
-43 144 104 348 329
-44 147 257 137 106
-45 117 52 9 153
-46 116 237 327 350
-47 222 332 260 337
-48 123 146 168 141
-49 25 125 73 129
-50 276 256 380 384
-51 288 376 268 356
-52 45 205 173 109
-53 221 13 72 98
-54 319 232 101 294
-55 289 271 118 316
-56 66 83 152 185
-57 225 17 161 76
-58 80 212 367 362
-59 220 353 184 360
-60 189 179 245 202
-61 165 16 229 21
-62 99 138 303 318
-63 188 300 313 240
-64 67 90 193 270
-65 233 25 4 169
-66 56 378 216 383
-67 88 376 369 64
-68 174 207 197 241
-69 181 73 217 20
-70 200 244 379 382
-71 356 357 228 164
-72 213 206 53 175
-73 69 37 49 93
-74 344 312 336 304
-75 308 324 292 340
-76 89 57 157 105
-77 13 24 237 185
-78 155 311 118 294
-79 297 232 168 316
-80 221 58 258 83
-81 189 4 17 241
-82 88 184 383 362
-83 56 80 369 360
-84 179 169 225 174
-85 154 193 96 21
-86 188 149 295 318
-87 300 138 259 305
-88 67 82 104 229
-89 25 245 76 197
-90 220 367 378 64
-91 353 376 212 216
-92 233 202 161 207
-93 209 213 28 73
-94 363 172 228 382
-95 200 356 248 373
-96 178 181 85 175
-97 132 235 29 162
-98 279 216 250 53
-99 265 62 284 219
-100 34 244 135 197
-101 33 136 215 54
-102 287 169 228 262
-103 198 243 280 249
-104 88 126 181 43
-105 249 20 273 76
-106 44 365 377 128
-107 353 112 136 357
-108 204 261 208 285
-109 168 37 52 229
-110 342 260 140 327
-111 188 324 237 337
-112 146 107 195 153
-113 212 213 41 32
-114 255 278 226 163
-115 264 200 245 281
-116 35 46 183 218
-117 45 36 225 164
-118 55 286 78 267
-119 277 256 184 217
-120 242 191 127 130
-121 253 277 4 28
-122 132 381 361 32
-123 36 48 369 373
-124 176 265 180 281
-125 12 223 257 49
-126 232 343 334 104
-127 156 120 329 340
-128 159 149 106 185
-129 49 40 185 240
-130 334 272 120 351
-131 165 232 321 340
-132 122 223 159 97
-133 37 269 8 195
-134 188 342 335 152
-135 100 345 324 140
-136 101 158 107 229
-137 44 248 29 197
-138 275 62 250 87
-139 209 216 261 284
-140 110 135 235 170
-141 33 220 48 181
-142 198 247 283 262
-143 253 280 161 228
-144 210 215 30 43
-145 4 281 261 20
-146 112 377 48 381
-147 44 357 369 32
-148 176 253 273 208
-149 128 183 41 86
-150 200 278 251 241
-151 264 171 226 285
-152 56 35 134 213
-153 45 112 191 246
-154 286 85 184 263
-155 78 211 256 273
-156 225 127 172 42
-157 265 28 76 285
-158 365 36 136 361
-159 132 353 128 373
-160 277 180 204 249
-161 143 57 167 92
-162 222 290 315 97
-163 114 301 312 238
-164 14 71 117 272
-165 220 61 30 131
-166 253 276 190 247
-167 266 236 161 283
-168 210 79 48 109
-169 231 102 84 65
-170 298 257 140 307
-171 320 293 151 186
-172 23 156 94 195
-173 289 40 52 305
-174 68 325 84 349
-175 321 72 337 96
-176 124 148 293 317
-177 309 40 293 8
-178 24 333 96 349
-179 321 345 60 84
-180 297 124 160 305
-181 69 104 96 141
-182 310 224 259 295
-183 116 149 292 305
-184 154 59 82 119
-185 77 56 128 129
-186 234 171 251 274
-187 268 192 241 285
-188 111 134 63 86
-189 223 81 60 260
-190 166 299 314 230
-191 309 120 153 296
-192 22 187 15 239
-193 85 64 273 252
-194 199 246 31 42
-195 133 112 233 172
-196 211 214 282 263
-197 89 100 68 137
-198 103 291 306 142
-199 269 194 304 317
-200 70 115 95 150
-201 297 12 313 8
-202 341 333 92 60
-203 24 345 16 329
-204 309 301 160 108
-205 12 301 52 317
-206 341 16 72 325
-207 68 92 337 329
-208 289 148 313 108
-209 24 93 258 139
-210 144 168 311 302
-211 297 308 155 196
-212 58 91 113 237
-213 113 93 72 152
-214 319 302 271 196
-215 308 144 101 289
-216 66 91 139 98
-217 69 16 270 119
-218 310 116 303 240
-219 99 224 313 292
-220 165 90 59 141
-221 265 288 80 53
-222 34 47 227 162
-223 132 189 244 125
-224 254 279 182 219
-225 57 156 84 117
-226 114 290 151 307
-227 222 257 312 293
-228 143 102 71 94
-229 88 136 61 109
-230 243 287 266 190
-231 276 169 236 249
-232 79 126 54 131
-233 92 195 272 65
-234 298 238 315 186
-235 320 301 140 97
-236 231 23 167 14
-237 77 111 46 212
-238 234 268 281 163
-239 255 245 192 274
-240 63 129 218 32
-241 187 68 81 150
-242 269 291 314 120
-243 103 317 230 296
-244 100 223 15 70
-245 89 60 115 239
-246 299 194 306 153
-247 166 309 304 142
-248 22 137 95 260
-249 231 103 105 160
-250 322 138 347 98
-251 333 344 150 186
-252 6 39 193 271
-253 121 143 166 148
-254 330 224 258 339
-255 352 114 325 239
-256 11 155 50 119
-257 44 125 170 227
-258 209 275 254 80
-259 288 182 261 87
-260 110 189 47 248
-261 145 259 139 108
-262 331 102 346 142
-263 154 341 196 328
-264 115 7 151 10
-265 99 221 124 157
-266 167 323 338 230
-267 270 336 118 349
-268 187 38 51 238
-269 242 133 199 36
-270 267 282 217 64
-271 55 277 214 252
-272 233 31 130 164
-273 155 148 105 193
-274 322 239 339 186
-275 344 258 138 325
-276 231 166 39 50
-277 121 160 271 119
-278 330 114 347 150
-279 352 333 224 98
-280 11 143 103 6
-281 145 124 115 238
-282 323 346 270 196
-283 167 349 328 142
-284 99 38 7 139
-285 187 157 151 108
-286 154 331 118 338
-287 341 102 336 230
-288 221 259 51 10
-289 55 215 173 208
-290 354 226 359 162
-291 198 242 377 384
-292 18 183 75 219
-293 176 177 171 227
-294 78 358 371 54
-295 364 182 381 86
-296 243 2 191 19
-297 79 211 201 180
-298 375 234 170 370
-299 190 246 368 361
-300 3 26 63 87
-301 235 204 205 163
-302 374 210 355 214
-303 365 380 62 218
-304 199 27 247 74
-305 180 183 173 87
-306 198 375 354 246
-307 170 226 361 384
-308 211 26 215 75
-309 177 191 247 204
-310 355 182 358 218
-311 78 210 364 365
-312 227 19 74 163
-313 201 63 208 219
-314 242 190 359 370
-315 234 377 368 162
-316 55 79 3 18
-317 176 199 243 205
-318 374 62 371 86
-319 214 380 381 54
-320 2 235 27 171
-321 179 31 131 175
-322 354 358 250 274
-323 266 282 382 362
-324 111 135 19 75
-325 275 255 206 174
-326 359 30 371 42
-327 110 46 379 383
-328 2 18 283 263
-329 203 127 207 43
-330 374 254 278 370
-331 286 366 378 262
-332 35 3 47 27
-333 178 202 279 251
-334 375 355 126 130
-335 363 34 134 367
-336 287 267 26 74
-337 111 47 207 175
-338 286 374 266 354
-339 254 378 382 274
-340 27 127 75 131
-341 287 202 206 263
-342 110 134 355 359
-343 367 126 379 42
-344 275 18 74 251
-345 35 135 179 203
-346 358 282 370 262
-347 278 366 250 362
-348 3 19 31 43
-349 178 267 283 174
-350 34 375 46 371
-351 363 30 130 383
-352 2 255 26 279
-353 91 59 159 107
-354 322 290 338 306
-355 342 310 334 302
-356 71 39 51 95
-357 15 147 71 107
-358 310 322 346 294
-359 342 290 314 326
-360 59 39 83 7
-361 122 299 158 307
-362 58 323 82 347
-363 22 335 94 351
-364 311 38 6 295
-365 311 158 303 106
-366 22 331 14 347
-367 90 343 58 335
-368 299 6 315 10
-369 67 123 147 83
-370 330 298 346 314
-371 326 294 350 318
-372 11 23 15 7
-373 23 123 159 95
-374 330 302 338 318
-375 298 334 306 350
-376 11 67 91 51
-377 146 291 106 315
-378 66 331 90 339
-379 343 14 70 327
-380 319 50 303 10
-381 319 122 146 295
-382 70 323 94 339
-383 66 82 327 351
-384 38 291 50 307
0