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