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