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