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