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