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