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