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