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