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