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