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