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