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