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