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