[
    <12, 1, [ <0, 1>, <16, 759>, <24, 2576>, <32, 759>, <48, 1> ]>,
    <12, 2, [ <0, 1>, <16, 407>, <24, 3280>, <32, 407>, <48, 1> ]>,
    <12, 3, [ <0, 1>, <16, 375>, <24, 3344>, <32, 375>, <48, 1> ]>,
    <12, 4, [ <0, 1>, <8, 24>, <16, 663>, <24, 2720>, <32, 663>, <40, 24>, <48, 
    1> ]>,
    <12, 5, [ <0, 1>, <8, 16>, <16, 343>, <24, 3376>, <32, 343>, <40, 16>, <48, 
    1> ]>,
    <12, 6, [ <0, 1>, <8, 18>, <16, 367>, <24, 3324>, <32, 367>, <40, 18>, <48, 
    1> ]>,
    <12, 7, [ <0, 1>, <8, 14>, <16, 319>, <24, 3428>, <32, 319>, <40, 14>, <48, 
    1> ]>,
    <12, 8, [ <0, 1>, <8, 20>, <16, 295>, <24, 3464>, <32, 295>, <40, 20>, <48, 
    1> ]>,
    <12, 9, [ <0, 1>, <8, 16>, <16, 343>, <24, 3376>, <32, 343>, <40, 16>, <48, 
    1> ]>,
    <12, 10, [ <0, 1>, <8, 10>, <16, 335>, <24, 3404>, <32, 335>, <40, 10>, <48,
    1> ]>,
    <12, 11, [ <0, 1>, <8, 12>, <16, 327>, <24, 3416>, <32, 327>, <40, 12>, <48,
    1> ]>,
    <12, 12, [ <0, 1>, <8, 20>, <16, 391>, <24, 3272>, <32, 391>, <40, 20>, <48,
    1> ]>,
    <12, 13, [ <0, 1>, <8, 20>, <16, 295>, <24, 3464>, <32, 295>, <40, 20>, <48,
    1> ]>,
    <12, 14, [ <0, 1>, <8, 16>, <16, 311>, <24, 3440>, <32, 311>, <40, 16>, <48,
    1> ]>,
    <12, 15, [ <0, 1>, <8, 24>, <16, 439>, <24, 3168>, <32, 439>, <40, 24>, <48,
    1> ]>,
    <12, 16, [ <0, 1>, <8, 66>, <16, 495>, <24, 2972>, <32, 495>, <40, 66>, <48,
    1> ]>,
    <12, 17, [ <0, 1>, <8, 46>, <16, 255>, <24, 3492>, <32, 255>, <40, 46>, <48,
    1> ]>,
    <12, 18, [ <0, 1>, <8, 34>, <16, 239>, <24, 3548>, <32, 239>, <40, 34>, <48,
    1> ]>,
    <12, 19, [ <0, 1>, <8, 30>, <16, 255>, <24, 3524>, <32, 255>, <40, 30>, <48,
    1> ]>,
    <12, 20, [ <0, 1>, <8, 30>, <16, 639>, <24, 2756>, <32, 639>, <40, 30>, <48,
    1> ]>,
    <12, 21, [ <0, 1>, <8, 20>, <16, 327>, <24, 3400>, <32, 327>, <40, 20>, <48,
    1> ]>,
    <12, 22, [ <0, 1>, <8, 22>, <16, 351>, <24, 3348>, <32, 351>, <40, 22>, <48,
    1> ]>,
    <12, 23, [ <0, 1>, <8, 22>, <16, 287>, <24, 3476>, <32, 287>, <40, 22>, <48,
    1> ]>,
    <12, 24, [ <0, 1>, <8, 30>, <16, 447>, <24, 3140>, <32, 447>, <40, 30>, <48,
    1> ]>,
    <12, 25, [ <0, 1>, <8, 14>, <16, 319>, <24, 3428>, <32, 319>, <40, 14>, <48,
    1> ]>,
    <12, 26, [ <0, 1>, <8, 12>, <16, 327>, <24, 3416>, <32, 327>, <40, 12>, <48,
    1> ]>,
    <12, 27, [ <0, 1>, <8, 6>, <16, 735>, <24, 2612>, <32, 735>, <40, 6>, <48, 
    1> ]>,
    <12, 28, [ <0, 1>, <8, 4>, <16, 391>, <24, 3304>, <32, 391>, <40, 4>, <48, 
    1> ]>,
    <12, 29, [ <0, 1>, <8, 2>, <16, 367>, <24, 3356>, <32, 367>, <40, 2>, <48, 
    1> ]>,
    <12, 30, [ <0, 1>, <8, 6>, <16, 415>, <24, 3252>, <32, 415>, <40, 6>, <48, 
    1> ]>,
    <12, 31, [ <0, 1>, <8, 4>, <16, 359>, <24, 3368>, <32, 359>, <40, 4>, <48, 
    1> ]>,
    <12, 32, [ <0, 1>, <8, 6>, <16, 351>, <24, 3380>, <32, 351>, <40, 6>, <48, 
    1> ]>,
    <12, 33, [ <0, 1>, <8, 12>, <16, 711>, <24, 2648>, <32, 711>, <40, 12>, <48,
    1> ]>,
    <12, 34, [ <0, 1>, <8, 8>, <16, 375>, <24, 3328>, <32, 375>, <40, 8>, <48, 
    1> ]>,
    <12, 35, [ <0, 1>, <8, 10>, <16, 399>, <24, 3276>, <32, 399>, <40, 10>, <48,
    1> ]>,
    <12, 36, [ <0, 1>, <8, 6>, <16, 351>, <24, 3380>, <32, 351>, <40, 6>, <48, 
    1> ]>,
    <12, 37, [ <0, 1>, <8, 8>, <16, 343>, <24, 3392>, <32, 343>, <40, 8>, <48, 
    1> ]>,
    <12, 38, [ <0, 1>, <8, 12>, <16, 423>, <24, 3224>, <32, 423>, <40, 12>, <48,
    1> ]>,
    <12, 39, [ <0, 1>, <8, 18>, <16, 687>, <24, 2684>, <32, 687>, <40, 18>, <48,
    1> ]>,
    <12, 40, [ <0, 1>, <8, 12>, <16, 359>, <24, 3352>, <32, 359>, <40, 12>, <48,
    1> ]>,
    <12, 41, [ <0, 1>, <8, 14>, <16, 383>, <24, 3300>, <32, 383>, <40, 14>, <48,
    1> ]>,
    <12, 42, [ <0, 1>, <8, 10>, <16, 335>, <24, 3404>, <32, 335>, <40, 10>, <48,
    1> ]>,
    <12, 43, [ <0, 1>, <8, 18>, <16, 303>, <24, 3452>, <32, 303>, <40, 18>, <48,
    1> ]>,
    <12, 44, [ <0, 1>, <8, 18>, <16, 431>, <24, 3196>, <32, 431>, <40, 18>, <48,
    1> ]>,
    <12, 45, [ <0, 1>, <8, 18>, <16, 303>, <24, 3452>, <32, 303>, <40, 18>, <48,
    1> ]>,
    <12, 46, [ <0, 1>, <8, 28>, <16, 423>, <24, 3192>, <32, 423>, <40, 28>, <48,
    1> ]>,
    <12, 47, [ <0, 1>, <8, 36>, <16, 519>, <24, 2984>, <32, 519>, <40, 36>, <48,
    1> ]>,
    <12, 48, [ <0, 1>, <8, 28>, <16, 295>, <24, 3448>, <32, 295>, <40, 28>, <48,
    1> ]>,
    <12, 49, [ <0, 1>, <8, 30>, <16, 351>, <24, 3332>, <32, 351>, <40, 30>, <48,
    1> ]>,
    <12, 50, [ <0, 1>, <8, 22>, <16, 319>, <24, 3412>, <32, 319>, <40, 22>, <48,
    1> ]>,
    <12, 51, [ <0, 1>, <8, 26>, <16, 351>, <24, 3340>, <32, 351>, <40, 26>, <48,
    1> ]>,
    <12, 52, [ <0, 1>, <8, 18>, <16, 319>, <24, 3420>, <32, 319>, <40, 18>, <48,
    1> ]>,
    <12, 53, [ <0, 1>, <8, 24>, <16, 295>, <24, 3456>, <32, 295>, <40, 24>, <48,
    1> ]>,
    <12, 54, [ <0, 1>, <8, 16>, <16, 327>, <24, 3408>, <32, 327>, <40, 16>, <48,
    1> ]>,
    <12, 55, [ <0, 1>, <8, 34>, <16, 623>, <24, 2780>, <32, 623>, <40, 34>, <48,
    1> ]>,
    <12, 56, [ <0, 1>, <8, 42>, <16, 591>, <24, 2828>, <32, 591>, <40, 42>, <48,
    1> ]>,
    <12, 57, [ <0, 1>, <8, 34>, <16, 367>, <24, 3292>, <32, 367>, <40, 34>, <48,
    1> ]>,
    <12, 58, [ <0, 1>, <8, 30>, <16, 447>, <24, 3140>, <32, 447>, <40, 30>, <48,
    1> ]>,
    <12, 59, [ <0, 1>, <8, 22>, <16, 415>, <24, 3220>, <32, 415>, <40, 22>, <48,
    1> ]>,
    <12, 60, [ <0, 1>, <8, 20>, <16, 423>, <24, 3208>, <32, 423>, <40, 20>, <48,
    1> ]>,
    <12, 61, [ <0, 1>, <8, 26>, <16, 399>, <24, 3244>, <32, 399>, <40, 26>, <48,
    1> ]>,
    <12, 62, [ <0, 1>, <8, 18>, <16, 431>, <24, 3196>, <32, 431>, <40, 18>, <48,
    1> ]>,
    <12, 63, [ <0, 1>, <8, 58>, <16, 911>, <24, 2156>, <32, 911>, <40, 58>, <48,
    1> ]>,
    <12, 64, [ <0, 1>, <8, 42>, <16, 463>, <24, 3084>, <32, 463>, <40, 42>, <48,
    1> ]>,
    <12, 65, [ <0, 1>, <8, 46>, <16, 575>, <24, 2852>, <32, 575>, <40, 46>, <48,
    1> ]>,
    <12, 66, [ <0, 1>, <8, 30>, <16, 511>, <24, 3012>, <32, 511>, <40, 30>, <48,
    1> ]>,
    <12, 67, [ <0, 1>, <8, 28>, <16, 519>, <24, 3000>, <32, 519>, <40, 28>, <48,
    1> ]>,
    <12, 68, [ <0, 1>, <8, 42>, <16, 463>, <24, 3084>, <32, 463>, <40, 42>, <48,
    1> ]>,
    <12, 69, [ <0, 1>, <8, 26>, <16, 527>, <24, 2988>, <32, 527>, <40, 26>, <48,
    1> ]>,
    <12, 70, [ <0, 1>, <8, 30>, <16, 319>, <24, 3396>, <32, 319>, <40, 30>, <48,
    1> ]>,
    <12, 71, [ <0, 1>, <8, 26>, <16, 271>, <24, 3500>, <32, 271>, <40, 26>, <48,
    1> ]>,
    <12, 72, [ <0, 1>, <8, 40>, <16, 407>, <24, 3200>, <32, 407>, <40, 40>, <48,
    1> ]>,
    <12, 73, [ <0, 1>, <8, 24>, <16, 343>, <24, 3360>, <32, 343>, <40, 24>, <48,
    1> ]>,
    <12, 74, [ <0, 1>, <8, 38>, <16, 351>, <24, 3316>, <32, 351>, <40, 38>, <48,
    1> ]>,
    <12, 75, [ <0, 1>, <8, 22>, <16, 351>, <24, 3348>, <32, 351>, <40, 22>, <48,
    1> ]>,
    <12, 76, [ <0, 1>, <8, 22>, <16, 351>, <24, 3348>, <32, 351>, <40, 22>, <48,
    1> ]>,
    <12, 77, [ <0, 1>, <8, 36>, <16, 295>, <24, 3432>, <32, 295>, <40, 36>, <48,
    1> ]>,
    <12, 78, [ <0, 1>, <8, 22>, <16, 351>, <24, 3348>, <32, 351>, <40, 22>, <48,
    1> ]>,
    <12, 79, [ <0, 1>, <8, 20>, <16, 359>, <24, 3336>, <32, 359>, <40, 20>, <48,
    1> ]>,
    <12, 80, [ <0, 1>, <8, 16>, <16, 311>, <24, 3440>, <32, 311>, <40, 16>, <48,
    1> ]>,
    <12, 81, [ <0, 1>, <8, 14>, <16, 319>, <24, 3428>, <32, 319>, <40, 14>, <48,
    1> ]>,
    <12, 82, [ <0, 1>, <8, 14>, <16, 319>, <24, 3428>, <32, 319>, <40, 14>, <48,
    1> ]>,
    <12, 83, [ <0, 1>, <8, 22>, <16, 287>, <24, 3476>, <32, 287>, <40, 22>, <48,
    1> ]>,
    <12, 84, [ <0, 1>, <8, 20>, <16, 295>, <24, 3464>, <32, 295>, <40, 20>, <48,
    1> ]>,
    <12, 85, [ <0, 1>, <8, 14>, <16, 319>, <24, 3428>, <32, 319>, <40, 14>, <48,
    1> ]>,
    <12, 86, [ <0, 1>, <8, 12>, <16, 327>, <24, 3416>, <32, 327>, <40, 12>, <48,
    1> ]>,
    <12, 87, [ <0, 1>, <8, 12>, <16, 327>, <24, 3416>, <32, 327>, <40, 12>, <48,
    1> ]>,
    <12, 88, [ <0, 1>, <8, 20>, <16, 295>, <24, 3464>, <32, 295>, <40, 20>, <48,
    1> ]>,
    <12, 89, [ <0, 1>, <8, 34>, <16, 239>, <24, 3548>, <32, 239>, <40, 34>, <48,
    1> ]>,
    <12, 90, [ <0, 1>, <8, 18>, <16, 303>, <24, 3452>, <32, 303>, <40, 18>, <48,
    1> ]>,
    <12, 91, [ <0, 1>, <8, 10>, <16, 335>, <24, 3404>, <32, 335>, <40, 10>, <48,
    1> ]>,
    <12, 92, [ <0, 1>, <8, 48>, <16, 631>, <24, 2736>, <32, 631>, <40, 48>, <48,
    1> ]>,
    <12, 93, [ <0, 1>, <8, 37>, <16, 435>, <24, 3150>, <32, 435>, <40, 37>, <48,
    1> ]>,
    <12, 94, [ <0, 1>, <8, 33>, <16, 435>, <24, 3158>, <32, 435>, <40, 33>, <48,
    1> ]>,
    <12, 95, [ <0, 1>, <8, 36>, <16, 519>, <24, 2984>, <32, 519>, <40, 36>, <48,
    1> ]>,
    <12, 96, [ <0, 1>, <8, 32>, <16, 407>, <24, 3216>, <32, 407>, <40, 32>, <48,
    1> ]>,
    <12, 97, [ <0, 1>, <8, 44>, <16, 519>, <24, 2968>, <32, 519>, <40, 44>, <48,
    1> ]>,
    <12, 98, [ <0, 1>, <8, 40>, <16, 407>, <24, 3200>, <32, 407>, <40, 40>, <48,
    1> ]>,
    <12, 99, [ <0, 1>, <8, 29>, <16, 435>, <24, 3166>, <32, 435>, <40, 29>, <48,
    1> ]>,
    <12, 100, [ <0, 1>, <8, 25>, <16, 435>, <24, 3174>, <32, 435>, <40, 25>, 
    <48, 1> ]>,
    <12, 101, [ <0, 1>, <8, 28>, <16, 423>, <24, 3192>, <32, 423>, <40, 28>, 
    <48, 1> ]>,
    <12, 102, [ <0, 1>, <8, 24>, <16, 439>, <24, 3168>, <32, 439>, <40, 24>, 
    <48, 1> ]>,
    <12, 103, [ <0, 1>, <8, 29>, <16, 323>, <24, 3390>, <32, 323>, <40, 29>, 
    <48, 1> ]>,
    <12, 104, [ <0, 1>, <8, 21>, <16, 339>, <24, 3374>, <32, 339>, <40, 21>, 
    <48, 1> ]>,
    <12, 105, [ <0, 1>, <8, 25>, <16, 323>, <24, 3398>, <32, 323>, <40, 25>, 
    <48, 1> ]>,
    <12, 106, [ <0, 1>, <8, 21>, <16, 339>, <24, 3374>, <32, 339>, <40, 21>, 
    <48, 1> ]>,
    <12, 107, [ <0, 1>, <8, 17>, <16, 339>, <24, 3382>, <32, 339>, <40, 17>, 
    <48, 1> ]>,
    <12, 108, [ <0, 1>, <8, 21>, <16, 323>, <24, 3406>, <32, 323>, <40, 21>, 
    <48, 1> ]>,
    <12, 109, [ <0, 1>, <8, 36>, <16, 631>, <24, 2760>, <32, 631>, <40, 36>, 
    <48, 1> ]>,
    <12, 110, [ <0, 1>, <8, 28>, <16, 407>, <24, 3224>, <32, 407>, <40, 28>, 
    <48, 1> ]>,
    <12, 111, [ <0, 1>, <8, 28>, <16, 423>, <24, 3192>, <32, 423>, <40, 28>, 
    <48, 1> ]>,
    <12, 112, [ <0, 1>, <8, 21>, <16, 435>, <24, 3182>, <32, 435>, <40, 21>, 
    <48, 1> ]>,
    <12, 113, [ <0, 1>, <8, 20>, <16, 439>, <24, 3176>, <32, 439>, <40, 20>, 
    <48, 1> ]>,
    <12, 114, [ <0, 1>, <8, 24>, <16, 311>, <24, 3424>, <32, 311>, <40, 24>, 
    <48, 1> ]>,
    <12, 115, [ <0, 1>, <8, 17>, <16, 323>, <24, 3414>, <32, 323>, <40, 17>, 
    <48, 1> ]>,
    <12, 116, [ <0, 1>, <8, 28>, <16, 295>, <24, 3448>, <32, 295>, <40, 28>, 
    <48, 1> ]>,
    <12, 117, [ <0, 1>, <8, 20>, <16, 311>, <24, 3432>, <32, 311>, <40, 20>, 
    <48, 1> ]>,
    <12, 118, [ <0, 1>, <8, 16>, <16, 327>, <24, 3408>, <32, 327>, <40, 16>, 
    <48, 1> ]>,
    <12, 119, [ <0, 1>, <8, 21>, <16, 323>, <24, 3406>, <32, 323>, <40, 21>, 
    <48, 1> ]>,
    <12, 120, [ <0, 1>, <8, 20>, <16, 327>, <24, 3400>, <32, 327>, <40, 20>, 
    <48, 1> ]>,
    <12, 121, [ <0, 1>, <8, 13>, <16, 339>, <24, 3390>, <32, 339>, <40, 13>, 
    <48, 1> ]>,
    <12, 122, [ <0, 1>, <8, 12>, <16, 343>, <24, 3384>, <32, 343>, <40, 12>, 
    <48, 1> ]>,
    <12, 123, [ <0, 1>, <8, 62>, <16, 1023>, <24, 1924>, <32, 1023>, <40, 62>, 
    <48, 1> ]>,
    <12, 124, [ <0, 1>, <8, 32>, <16, 631>, <24, 2768>, <32, 631>, <40, 32>, 
    <48, 1> ]>,
    <12, 125, [ <0, 1>, <8, 50>, <16, 687>, <24, 2620>, <32, 687>, <40, 50>, 
    <48, 1> ]>,
    <12, 126, [ <0, 1>, <8, 32>, <16, 631>, <24, 2768>, <32, 631>, <40, 32>, 
    <48, 1> ]>,
    <12, 127, [ <0, 1>, <8, 46>, <16, 575>, <24, 2852>, <32, 575>, <40, 46>, 
    <48, 1> ]>,
    <12, 128, [ <0, 1>, <8, 34>, <16, 623>, <24, 2780>, <32, 623>, <40, 34>, 
    <48, 1> ]>,
    <12, 129, [ <0, 1>, <8, 30>, <16, 639>, <24, 2756>, <32, 639>, <40, 30>, 
    <48, 1> ]>,
    <12, 130, [ <0, 1>, <8, 24>, <16, 407>, <24, 3232>, <32, 407>, <40, 24>, 
    <48, 1> ]>,
    <12, 131, [ <0, 1>, <8, 28>, <16, 519>, <24, 3000>, <32, 519>, <40, 28>, 
    <48, 1> ]>,
    <12, 132, [ <0, 1>, <8, 17>, <16, 435>, <24, 3190>, <32, 435>, <40, 17>, 
    <48, 1> ]>,
    <12, 133, [ <0, 1>, <8, 16>, <16, 439>, <24, 3184>, <32, 439>, <40, 16>, 
    <48, 1> ]>,
    <12, 134, [ <0, 1>, <8, 20>, <16, 423>, <24, 3208>, <32, 423>, <40, 20>, 
    <48, 1> ]>,
    <12, 135, [ <0, 1>, <8, 42>, <16, 591>, <24, 2828>, <32, 591>, <40, 42>, 
    <48, 1> ]>,
    <12, 136, [ <0, 1>, <8, 34>, <16, 495>, <24, 3036>, <32, 495>, <40, 34>, 
    <48, 1> ]>,
    <12, 137, [ <0, 1>, <8, 28>, <16, 519>, <24, 3000>, <32, 519>, <40, 28>, 
    <48, 1> ]>,
    <12, 138, [ <0, 1>, <8, 26>, <16, 527>, <24, 2988>, <32, 527>, <40, 26>, 
    <48, 1> ]>,
    <12, 139, [ <0, 1>, <8, 24>, <16, 407>, <24, 3232>, <32, 407>, <40, 24>, 
    <48, 1> ]>,
    <12, 140, [ <0, 1>, <8, 24>, <16, 407>, <24, 3232>, <32, 407>, <40, 24>, 
    <48, 1> ]>,
    <12, 141, [ <0, 1>, <8, 20>, <16, 423>, <24, 3208>, <32, 423>, <40, 20>, 
    <48, 1> ]>,
    <12, 142, [ <0, 1>, <8, 16>, <16, 439>, <24, 3184>, <32, 439>, <40, 16>, 
    <48, 1> ]>,
    <12, 143, [ <0, 1>, <8, 30>, <16, 383>, <24, 3268>, <32, 383>, <40, 30>, 
    <48, 1> ]>,
    <12, 144, [ <0, 1>, <8, 34>, <16, 367>, <24, 3292>, <32, 367>, <40, 34>, 
    <48, 1> ]>,
    <12, 145, [ <0, 1>, <8, 26>, <16, 399>, <24, 3244>, <32, 399>, <40, 26>, 
    <48, 1> ]>,
    <12, 146, [ <0, 1>, <8, 22>, <16, 415>, <24, 3220>, <32, 415>, <40, 22>, 
    <48, 1> ]>,
    <12, 147, [ <0, 1>, <8, 18>, <16, 431>, <24, 3196>, <32, 431>, <40, 18>, 
    <48, 1> ]>,
    <12, 148, [ <0, 1>, <8, 14>, <16, 447>, <24, 3172>, <32, 447>, <40, 14>, 
    <48, 1> ]>,
    <12, 149, [ <0, 1>, <8, 16>, <16, 311>, <24, 3440>, <32, 311>, <40, 16>, 
    <48, 1> ]>,
    <12, 150, [ <0, 1>, <8, 13>, <16, 323>, <24, 3422>, <32, 323>, <40, 13>, 
    <48, 1> ]>,
    <12, 151, [ <0, 1>, <8, 12>, <16, 327>, <24, 3416>, <32, 327>, <40, 12>, 
    <48, 1> ]>,
    <12, 152, [ <0, 1>, <8, 16>, <16, 311>, <24, 3440>, <32, 311>, <40, 16>, 
    <48, 1> ]>,
    <12, 153, [ <0, 1>, <8, 9>, <16, 339>, <24, 3398>, <32, 339>, <40, 9>, <48, 
    1> ]>,
    <12, 154, [ <0, 1>, <8, 8>, <16, 343>, <24, 3392>, <32, 343>, <40, 8>, <48, 
    1> ]>,
    <12, 155, [ <0, 1>, <8, 12>, <16, 327>, <24, 3416>, <32, 327>, <40, 12>, 
    <48, 1> ]>,
    <12, 156, [ <0, 1>, <8, 18>, <16, 303>, <24, 3452>, <32, 303>, <40, 18>, 
    <48, 1> ]>,
    <12, 157, [ <0, 1>, <8, 14>, <16, 319>, <24, 3428>, <32, 319>, <40, 14>, 
    <48, 1> ]>,
    <12, 158, [ <0, 1>, <8, 10>, <16, 335>, <24, 3404>, <32, 335>, <40, 10>, 
    <48, 1> ]>,
    <12, 159, [ <0, 1>, <8, 6>, <16, 351>, <24, 3380>, <32, 351>, <40, 6>, <48, 
    1> ]>
]