# test that we can allocate a lot of decks
c0
c1
c2
c3
c4
c5
c6
c7
c8
c9
c10
c11
c12
c13
c14
c15
c16
c17
c18
c19
c20
c21
c22
c23
c24
c25
c26
c27
c28
c29
c30
c31
c32
c33
c34
c35
c36
c37
c38
c39
c40
c41
c42
c43
c44
c45
c46
c47
c48
c49
c50
c51
c52
c53
c54
c55
c56
c57
c58
c59
c60
c61
c62
c63
c64
c65
c66
c67
c68
c69
c70
c71
c72
c73
c74
c75
c76
c77
c78
c79
c80
c81
c82
c83
c84
c85
c86
c87
c88
c89
c90
c91
c92
c93
c94
c95
c96
c97
c98
c99
c100
c101
c102
c103
c104
c105
c106
c107
c108
c109
c110
c111
c112
c113
c114
c115
c116
c117
c118
c119
c120
c121
c122
c123
c124
c125
c126
c127
c128
c129
c130
c131
c132
c133
c134
c135
c136
c137
c138
c139
c140
c141
c142
c143
c144
c145
c146
c147
c148
c149
c150
c151
c152
c153
c154
c155
c156
c157
c158
c159
c160
c161
c162
c163
c164
c165
c166
c167
c168
c169
c170
c171
c172
c173
c174
c175
c176
c177
c178
c179
c180
c181
c182
c183
c184
c185
c186
c187
c188
c189
c190
c191
c192
c193
c194
c195
c196
c197
c198
c199
c200
c201
c202
c203
c204
c205
c206
c207
c208
c209
c210
c211
c212
c213
c214
c215
c216
c217
c218
c219
c220
c221
c222
c223
c224
c225
c226
c227
c228
c229
c230
c231
c232
c233
c234
c235
c236
c237
c238
c239
c240
c241
c242
c243
c244
c245
c246
c247
c248
c249
c250
c251
c252
c253
c254
c255
c256
c257
c258
c259
c260
c261
c262
c263
c264
c265
c266
c267
c268
c269
c270
c271
c272
c273
c274
c275
c276
c277
c278
c279
c280
c281
c282
c283
c284
c285
c286
c287
c288
c289
c290
c291
c292
c293
c294
c295
c296
c297
c298
c299
c300
c301
c302
c303
c304
c305
c306
c307
c308
c309
c310
c311
c312
c313
c314
c315
c316
c317
c318
c319
c320
c321
c322
c323
c324
c325
c326
c327
c328
c329
c330
c331
c332
c333
c334
c335
c336
c337
c338
c339
c340
c341
c342
c343
c344
c345
c346
c347
c348
c349
c350
c351
c352
c353
c354
c355
c356
c357
c358
c359
c360
c361
c362
c363
c364
c365
c366
c367
c368
c369
c370
c371
c372
c373
c374
c375
c376
c377
c378
c379
c380
c381
c382
c383
c384
c385
c386
c387
c388
c389
c390
c391
c392
c393
c394
c395
c396
c397
c398
c399
c400
c401
c402
c403
c404
c405
c406
c407
c408
c409
c410
c411
c412
c413
c414
c415
c416
c417
c418
c419
c420
c421
c422
c423
c424
c425
c426
c427
c428
c429
c430
c431
c432
c433
c434
c435
c436
c437
c438
c439
c440
c441
c442
c443
c444
c445
c446
c447
c448
c449
c450
c451
c452
c453
c454
c455
c456
c457
c458
c459
c460
c461
c462
c463
c464
c465
c466
c467
c468
c469
c470
c471
c472
c473
c474
c475
c476
c477
c478
c479
c480
c481
c482
c483
c484
c485
c486
c487
c488
c489
c490
c491
c492
c493
c494
c495
c496
c497
c498
c499
c500
c501
c502
c503
c504
c505
c506
c507
c508
c509
c510
c511
c512
c513
c514
c515
c516
c517
c518
c519
c520
c521
c522
c523
c524
c525
c526
c527
c528
c529
c530
c531
c532
c533
c534
c535
c536
c537
c538
c539
c540
c541
c542
c543
c544
c545
c546
c547
c548
c549
c550
c551
c552
c553
c554
c555
c556
c557
c558
c559
c560
c561
c562
c563
c564
c565
c566
c567
c568
c569
c570
c571
c572
c573
c574
c575
c576
c577
c578
c579
c580
c581
c582
c583
c584
c585
c586
c587
c588
c589
c590
c591
c592
c593
c594
c595
c596
c597
c598
c599
c600
c601
c602
c603
c604
c605
c606
c607
c608
c609
c610
c611
c612
c613
c614
c615
c616
c617
c618
c619
c620
c621
c622
c623
c624
c625
c626
c627
c628
c629
c630
c631
c632
c633
c634
c635
c636
c637
c638
c639
c640
c641
c642
c643
c644
c645
c646
c647
c648
c649
c650
c651
c652
c653
c654
c655
c656
c657
c658
c659
c660
c661
c662
c663
c664
c665
c666
c667
c668
c669
c670
c671
c672
c673
c674
c675
c676
c677
c678
c679
c680
c681
c682
c683
c684
c685
c686
c687
c688
c689
c690
c691
c692
c693
c694
c695
c696
c697
c698
c699
c700
c701
c702
c703
c704
c705
c706
c707
c708
c709
c710
c711
c712
c713
c714
c715
c716
c717
c718
c719
c720
c721
c722
c723
c724
c725
c726
c727
c728
c729
c730
c731
c732
c733
c734
c735
c736
c737
c738
c739
c740
c741
c742
c743
c744
c745
c746
c747
c748
c749
c750
c751
c752
c753
c754
c755
c756
c757
c758
c759
c760
c761
c762
c763
c764
c765
c766
c767
c768
c769
c770
c771
c772
c773
c774
c775
c776
c777
c778
c779
c780
c781
c782
c783
c784
c785
c786
c787
c788
c789
c790
c791
c792
c793
c794
c795
c796
c797
c798
c799
c800
c801
c802
c803
c804
c805
c806
c807
c808
c809
c810
c811
c812
c813
c814
c815
c816
c817
c818
c819
c820
c821
c822
c823
c824
c825
c826
c827
c828
c829
c830
c831
c832
c833
c834
c835
c836
c837
c838
c839
c840
c841
c842
c843
c844
c845
c846
c847
c848
c849
c850
c851
c852
c853
c854
c855
c856
c857
c858
c859
c860
c861
c862
c863
c864
c865
c866
c867
c868
c869
c870
c871
c872
c873
c874
c875
c876
c877
c878
c879
c880
c881
c882
c883
c884
c885
c886
c887
c888
c889
c890
c891
c892
c893
c894
c895
c896
c897
c898
c899
c900
c901
c902
c903
c904
c905
c906
c907
c908
c909
c910
c911
c912
c913
c914
c915
c916
c917
c918
c919
c920
c921
c922
c923
c924
c925
c926
c927
c928
c929
c930
c931
c932
c933
c934
c935
c936
c937
c938
c939
c940
c941
c942
c943
c944
c945
c946
c947
c948
c949
c950
c951
c952
c953
c954
c955
c956
c957
c958
c959
c960
c961
c962
c963
c964
c965
c966
c967
c968
c969
c970
c971
c972
c973
c974
c975
c976
c977
c978
c979
c980
c981
c982
c983
c984
c985
c986
c987
c988
c989
c990
c991
c992
c993
c994
c995
c996
c997
c998
c999
c1000
c1001
c1002
c1003
c1004
c1005
c1006
c1007
c1008
c1009
c1010
c1011
c1012
c1013
c1014
c1015
c1016
c1017
c1018
c1019
c1020
c1021
c1022
c1023
# tweak a few to make sure they are unique
-12 -12 -13 -14 -14 -14
p12 p13 p14
# shuffle them all together
* 1022 1023
* 1021 1022
* 1020 1021
* 1019 1020
* 1018 1019
* 1017 1018
* 1016 1017
* 1015 1016
* 1014 1015
* 1013 1014
* 1012 1013
* 1011 1012
* 1010 1011
* 1009 1010
* 1008 1009
* 1007 1008
* 1006 1007
* 1005 1006
* 1004 1005
* 1003 1004
* 1002 1003
* 1001 1002
* 1000 1001
* 999 1000
* 998 999
* 997 998
* 996 997
* 995 996
* 994 995
* 993 994
* 992 993
* 991 992
* 990 991
* 989 990
* 988 989
* 987 988
* 986 987
* 985 986
* 984 985
* 983 984
* 982 983
* 981 982
* 980 981
* 979 980
* 978 979
* 977 978
* 976 977
* 975 976
* 974 975
* 973 974
* 972 973
* 971 972
* 970 971
* 969 970
* 968 969
* 967 968
* 966 967
* 965 966
* 964 965
* 963 964
* 962 963
* 961 962
* 960 961
* 959 960
* 958 959
* 957 958
* 956 957
* 955 956
* 954 955
* 953 954
* 952 953
* 951 952
* 950 951
* 949 950
* 948 949
* 947 948
* 946 947
* 945 946
* 944 945
* 943 944
* 942 943
* 941 942
* 940 941
* 939 940
* 938 939
* 937 938
* 936 937
* 935 936
* 934 935
* 933 934
* 932 933
* 931 932
* 930 931
* 929 930
* 928 929
* 927 928
* 926 927
* 925 926
* 924 925
* 923 924
* 922 923
* 921 922
* 920 921
* 919 920
* 918 919
* 917 918
* 916 917
* 915 916
* 914 915
* 913 914
* 912 913
* 911 912
* 910 911
* 909 910
* 908 909
* 907 908
* 906 907
* 905 906
* 904 905
* 903 904
* 902 903
* 901 902
* 900 901
* 899 900
* 898 899
* 897 898
* 896 897
* 895 896
* 894 895
* 893 894
* 892 893
* 891 892
* 890 891
* 889 890
* 888 889
* 887 888
* 886 887
* 885 886
* 884 885
* 883 884
* 882 883
* 881 882
* 880 881
* 879 880
* 878 879
* 877 878
* 876 877
* 875 876
* 874 875
* 873 874
* 872 873
* 871 872
* 870 871
* 869 870
* 868 869
* 867 868
* 866 867
* 865 866
* 864 865
* 863 864
* 862 863
* 861 862
* 860 861
* 859 860
* 858 859
* 857 858
* 856 857
* 855 856
* 854 855
* 853 854
* 852 853
* 851 852
* 850 851
* 849 850
* 848 849
* 847 848
* 846 847
* 845 846
* 844 845
* 843 844
* 842 843
* 841 842
* 840 841
* 839 840
* 838 839
* 837 838
* 836 837
* 835 836
* 834 835
* 833 834
* 832 833
* 831 832
* 830 831
* 829 830
* 828 829
* 827 828
* 826 827
* 825 826
* 824 825
* 823 824
* 822 823
* 821 822
* 820 821
* 819 820
* 818 819
* 817 818
* 816 817
* 815 816
* 814 815
* 813 814
* 812 813
* 811 812
* 810 811
* 809 810
* 808 809
* 807 808
* 806 807
* 805 806
* 804 805
* 803 804
* 802 803
* 801 802
* 800 801
* 799 800
* 798 799
* 797 798
* 796 797
* 795 796
* 794 795
* 793 794
* 792 793
* 791 792
* 790 791
* 789 790
* 788 789
* 787 788
* 786 787
* 785 786
* 784 785
* 783 784
* 782 783
* 781 782
* 780 781
* 779 780
* 778 779
* 777 778
* 776 777
* 775 776
* 774 775
* 773 774
* 772 773
* 771 772
* 770 771
* 769 770
* 768 769
* 767 768
* 766 767
* 765 766
* 764 765
* 763 764
* 762 763
* 761 762
* 760 761
* 759 760
* 758 759
* 757 758
* 756 757
* 755 756
* 754 755
* 753 754
* 752 753
* 751 752
* 750 751
* 749 750
* 748 749
* 747 748
* 746 747
* 745 746
* 744 745
* 743 744
* 742 743
* 741 742
* 740 741
* 739 740
* 738 739
* 737 738
* 736 737
* 735 736
* 734 735
* 733 734
* 732 733
* 731 732
* 730 731
* 729 730
* 728 729
* 727 728
* 726 727
* 725 726
* 724 725
* 723 724
* 722 723
* 721 722
* 720 721
* 719 720
* 718 719
* 717 718
* 716 717
* 715 716
* 714 715
* 713 714
* 712 713
* 711 712
* 710 711
* 709 710
* 708 709
* 707 708
* 706 707
* 705 706
* 704 705
* 703 704
* 702 703
* 701 702
* 700 701
* 699 700
* 698 699
* 697 698
* 696 697
* 695 696
* 694 695
* 693 694
* 692 693
* 691 692
* 690 691
* 689 690
* 688 689
* 687 688
* 686 687
* 685 686
* 684 685
* 683 684
* 682 683
* 681 682
* 680 681
* 679 680
* 678 679
* 677 678
* 676 677
* 675 676
* 674 675
* 673 674
* 672 673
* 671 672
* 670 671
* 669 670
* 668 669
* 667 668
* 666 667
* 665 666
* 664 665
* 663 664
* 662 663
* 661 662
* 660 661
* 659 660
* 658 659
* 657 658
* 656 657
* 655 656
* 654 655
* 653 654
* 652 653
* 651 652
* 650 651
* 649 650
* 648 649
* 647 648
* 646 647
* 645 646
* 644 645
* 643 644
* 642 643
* 641 642
* 640 641
* 639 640
* 638 639
* 637 638
* 636 637
* 635 636
* 634 635
* 633 634
* 632 633
* 631 632
* 630 631
* 629 630
* 628 629
* 627 628
* 626 627
* 625 626
* 624 625
* 623 624
* 622 623
* 621 622
* 620 621
* 619 620
* 618 619
* 617 618
* 616 617
* 615 616
* 614 615
* 613 614
* 612 613
* 611 612
* 610 611
* 609 610
* 608 609
* 607 608
* 606 607
* 605 606
* 604 605
* 603 604
* 602 603
* 601 602
* 600 601
* 599 600
* 598 599
* 597 598
* 596 597
* 595 596
* 594 595
* 593 594
* 592 593
* 591 592
* 590 591
* 589 590
* 588 589
* 587 588
* 586 587
* 585 586
* 584 585
* 583 584
* 582 583
* 581 582
* 580 581
* 579 580
* 578 579
* 577 578
* 576 577
* 575 576
* 574 575
* 573 574
* 572 573
* 571 572
* 570 571
* 569 570
* 568 569
* 567 568
* 566 567
* 565 566
* 564 565
* 563 564
* 562 563
* 561 562
* 560 561
* 559 560
* 558 559
* 557 558
* 556 557
* 555 556
* 554 555
* 553 554
* 552 553
* 551 552
* 550 551
* 549 550
* 548 549
* 547 548
* 546 547
* 545 546
* 544 545
* 543 544
* 542 543
* 541 542
* 540 541
* 539 540
* 538 539
* 537 538
* 536 537
* 535 536
* 534 535
* 533 534
* 532 533
* 531 532
* 530 531
* 529 530
* 528 529
* 527 528
* 526 527
* 525 526
* 524 525
* 523 524
* 522 523
* 521 522
* 520 521
* 519 520
* 518 519
* 517 518
* 516 517
* 515 516
* 514 515
* 513 514
* 512 513
* 511 512
* 510 511
* 509 510
* 508 509
* 507 508
* 506 507
* 505 506
* 504 505
* 503 504
* 502 503
* 501 502
* 500 501
* 499 500
* 498 499
* 497 498
* 496 497
* 495 496
* 494 495
* 493 494
* 492 493
* 491 492
* 490 491
* 489 490
* 488 489
* 487 488
* 486 487
* 485 486
* 484 485
* 483 484
* 482 483
* 481 482
* 480 481
* 479 480
* 478 479
* 477 478
* 476 477
* 475 476
* 474 475
* 473 474
* 472 473
* 471 472
* 470 471
* 469 470
* 468 469
* 467 468
* 466 467
* 465 466
* 464 465
* 463 464
* 462 463
* 461 462
* 460 461
* 459 460
* 458 459
* 457 458
* 456 457
* 455 456
* 454 455
* 453 454
* 452 453
* 451 452
* 450 451
* 449 450
* 448 449
* 447 448
* 446 447
* 445 446
* 444 445
* 443 444
* 442 443
* 441 442
* 440 441
* 439 440
* 438 439
* 437 438
* 436 437
* 435 436
* 434 435
* 433 434
* 432 433
* 431 432
* 430 431
* 429 430
* 428 429
* 427 428
* 426 427
* 425 426
* 424 425
* 423 424
* 422 423
* 421 422
* 420 421
* 419 420
* 418 419
* 417 418
* 416 417
* 415 416
* 414 415
* 413 414
* 412 413
* 411 412
* 410 411
* 409 410
* 408 409
* 407 408
* 406 407
* 405 406
* 404 405
* 403 404
* 402 403
* 401 402
* 400 401
* 399 400
* 398 399
* 397 398
* 396 397
* 395 396
* 394 395
* 393 394
* 392 393
* 391 392
* 390 391
* 389 390
* 388 389
* 387 388
* 386 387
* 385 386
* 384 385
* 383 384
* 382 383
* 381 382
* 380 381
* 379 380
* 378 379
* 377 378
* 376 377
* 375 376
* 374 375
* 373 374
* 372 373
* 371 372
* 370 371
* 369 370
* 368 369
* 367 368
* 366 367
* 365 366
* 364 365
* 363 364
* 362 363
* 361 362
* 360 361
* 359 360
* 358 359
* 357 358
* 356 357
* 355 356
* 354 355
* 353 354
* 352 353
* 351 352
* 350 351
* 349 350
* 348 349
* 347 348
* 346 347
* 345 346
* 344 345
* 343 344
* 342 343
* 341 342
* 340 341
* 339 340
* 338 339
* 337 338
* 336 337
* 335 336
* 334 335
* 333 334
* 332 333
* 331 332
* 330 331
* 329 330
* 328 329
* 327 328
* 326 327
* 325 326
* 324 325
* 323 324
* 322 323
* 321 322
* 320 321
* 319 320
* 318 319
* 317 318
* 316 317
* 315 316
* 314 315
* 313 314
* 312 313
* 311 312
* 310 311
* 309 310
* 308 309
* 307 308
* 306 307
* 305 306
* 304 305
* 303 304
* 302 303
* 301 302
* 300 301
* 299 300
* 298 299
* 297 298
* 296 297
* 295 296
* 294 295
* 293 294
* 292 293
* 291 292
* 290 291
* 289 290
* 288 289
* 287 288
* 286 287
* 285 286
* 284 285
* 283 284
* 282 283
* 281 282
* 280 281
* 279 280
* 278 279
* 277 278
* 276 277
* 275 276
* 274 275
* 273 274
* 272 273
* 271 272
* 270 271
* 269 270
* 268 269
* 267 268
* 266 267
* 265 266
* 264 265
* 263 264
* 262 263
* 261 262
* 260 261
* 259 260
* 258 259
* 257 258
* 256 257
* 255 256
* 254 255
* 253 254
* 252 253
* 251 252
* 250 251
* 249 250
* 248 249
* 247 248
* 246 247
* 245 246
* 244 245
* 243 244
* 242 243
* 241 242
* 240 241
* 239 240
* 238 239
* 237 238
* 236 237
* 235 236
* 234 235
* 233 234
* 232 233
* 231 232
* 230 231
* 229 230
* 228 229
* 227 228
* 226 227
* 225 226
* 224 225
* 223 224
* 222 223
* 221 222
* 220 221
* 219 220
* 218 219
* 217 218
* 216 217
* 215 216
* 214 215
* 213 214
* 212 213
* 211 212
* 210 211
* 209 210
* 208 209
* 207 208
* 206 207
* 205 206
* 204 205
* 203 204
* 202 203
* 201 202
* 200 201
* 199 200
* 198 199
* 197 198
* 196 197
* 195 196
* 194 195
* 193 194
* 192 193
* 191 192
* 190 191
* 189 190
* 188 189
* 187 188
* 186 187
* 185 186
* 184 185
* 183 184
* 182 183
* 181 182
* 180 181
* 179 180
* 178 179
* 177 178
* 176 177
* 175 176
* 174 175
* 173 174
* 172 173
* 171 172
* 170 171
* 169 170
* 168 169
* 167 168
* 166 167
* 165 166
* 164 165
* 163 164
* 162 163
* 161 162
* 160 161
* 159 160
* 158 159
* 157 158
* 156 157
* 155 156
* 154 155
* 153 154
* 152 153
* 151 152
* 150 151
* 149 150
* 148 149
* 147 148
* 146 147
* 145 146
* 144 145
* 143 144
* 142 143
* 141 142
* 140 141
* 139 140
* 138 139
* 137 138
* 136 137
* 135 136
* 134 135
* 133 134
* 132 133
* 131 132
* 130 131
* 129 130
* 128 129
* 127 128
* 126 127
* 125 126
* 124 125
* 123 124
* 122 123
* 121 122
* 120 121
* 119 120
* 118 119
* 117 118
* 116 117
* 115 116
* 114 115
* 113 114
* 112 113
* 111 112
* 110 111
* 109 110
* 108 109
* 107 108
* 106 107
* 105 106
* 104 105
* 103 104
* 102 103
* 101 102
* 100 101
* 99 100
* 98 99
* 97 98
* 96 97
* 95 96
* 94 95
* 93 94
* 92 93
* 91 92
* 90 91
* 89 90
* 88 89
* 87 88
* 86 87
* 85 86
* 84 85
* 83 84
* 82 83
* 81 82
* 80 81
* 79 80
* 78 79
* 77 78
* 76 77
* 75 76
* 74 75
* 73 74
* 72 73
* 71 72
* 70 71
* 69 70
* 68 69
* 67 68
* 66 67
* 65 66
* 64 65
* 63 64
* 62 63
* 61 62
* 60 61
* 59 60
* 58 59
* 57 58
* 56 57
* 55 56
* 54 55
* 53 54
* 52 53
* 51 52
* 50 51
* 49 50
* 48 49
* 47 48
* 46 47
* 45 46
* 44 45
* 43 44
* 42 43
* 41 42
* 40 41
* 39 40
* 38 39
* 37 38
* 36 37
* 35 36
* 34 35
* 33 34
* 32 33
* 31 32
* 30 31
* 29 30
* 28 29
* 27 28
* 26 27
* 25 26
* 24 25
* 23 24
* 22 23
* 21 22
* 20 21
* 19 20
* 18 19
* 17 18
* 16 17
* 15 16
* 14 15
* 13 14
* 12 13
* 11 12
* 10 11
* 9 10
* 8 9
* 7 8
* 6 7
* 5 6
* 4 5
* 3 4
* 2 3
* 1 2
* 0 1
# and print the result
p0
# clean up and exit
d0 q
