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