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