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