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