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