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