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