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