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