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