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