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