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