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