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