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