@lucid-evolution/utils 0.1.65 → 0.1.67

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (6) hide show
  1. package/LICENSE +21 -0
  2. package/dist/index.cjs +647 -647
  3. package/dist/index.d.cts +1 -1
  4. package/dist/index.d.ts +1 -1
  5. package/dist/index.js +647 -647
  6. package/package.json +5 -5
package/dist/index.cjs CHANGED
@@ -562,13 +562,13 @@ function createCostModels(costModels) {
562
562
  1: [],
563
563
  2: []
564
564
  };
565
- for (const cost of Object.values(costModels.PlutusV1)) {
565
+ for (const cost of costModels.PlutusV1) {
566
566
  costmodel[0]?.push(cost);
567
567
  }
568
- for (const cost of Object.values(costModels.PlutusV2)) {
568
+ for (const cost of costModels.PlutusV2) {
569
569
  costmodel[1]?.push(cost);
570
570
  }
571
- for (const cost of Object.values(costModels.PlutusV3)) {
571
+ for (const cost of costModels.PlutusV3) {
572
572
  costmodel[2]?.push(cost);
573
573
  }
574
574
  return CML.CostModels.from_json(JSON.stringify(costmodel));
@@ -591,650 +591,650 @@ var PROTOCOL_PARAMETERS_DEFAULT = {
591
591
  maxCollateralInputs: 3,
592
592
  minFeeRefScriptCostPerByte: 15,
593
593
  costModels: {
594
- PlutusV1: {
595
- "0": 100788,
596
- "1": 420,
597
- "2": 1,
598
- "3": 1,
599
- "4": 1e3,
600
- "5": 173,
601
- "6": 0,
602
- "7": 1,
603
- "8": 1e3,
604
- "9": 59957,
605
- "10": 4,
606
- "11": 1,
607
- "12": 11183,
608
- "13": 32,
609
- "14": 201305,
610
- "15": 8356,
611
- "16": 4,
612
- "17": 16e3,
613
- "18": 100,
614
- "19": 16e3,
615
- "20": 100,
616
- "21": 16e3,
617
- "22": 100,
618
- "23": 16e3,
619
- "24": 100,
620
- "25": 16e3,
621
- "26": 100,
622
- "27": 16e3,
623
- "28": 100,
624
- "29": 100,
625
- "30": 100,
626
- "31": 16e3,
627
- "32": 100,
628
- "33": 94375,
629
- "34": 32,
630
- "35": 132994,
631
- "36": 32,
632
- "37": 61462,
633
- "38": 4,
634
- "39": 72010,
635
- "40": 178,
636
- "41": 0,
637
- "42": 1,
638
- "43": 22151,
639
- "44": 32,
640
- "45": 91189,
641
- "46": 769,
642
- "47": 4,
643
- "48": 2,
644
- "49": 85848,
645
- "50": 228465,
646
- "51": 122,
647
- "52": 0,
648
- "53": 1,
649
- "54": 1,
650
- "55": 1e3,
651
- "56": 42921,
652
- "57": 4,
653
- "58": 2,
654
- "59": 24548,
655
- "60": 29498,
656
- "61": 38,
657
- "62": 1,
658
- "63": 898148,
659
- "64": 27279,
660
- "65": 1,
661
- "66": 51775,
662
- "67": 558,
663
- "68": 1,
664
- "69": 39184,
665
- "70": 1e3,
666
- "71": 60594,
667
- "72": 1,
668
- "73": 141895,
669
- "74": 32,
670
- "75": 83150,
671
- "76": 32,
672
- "77": 15299,
673
- "78": 32,
674
- "79": 76049,
675
- "80": 1,
676
- "81": 13169,
677
- "82": 4,
678
- "83": 22100,
679
- "84": 10,
680
- "85": 28999,
681
- "86": 74,
682
- "87": 1,
683
- "88": 28999,
684
- "89": 74,
685
- "90": 1,
686
- "91": 43285,
687
- "92": 552,
688
- "93": 1,
689
- "94": 44749,
690
- "95": 541,
691
- "96": 1,
692
- "97": 33852,
693
- "98": 32,
694
- "99": 68246,
695
- "100": 32,
696
- "101": 72362,
697
- "102": 32,
698
- "103": 7243,
699
- "104": 32,
700
- "105": 7391,
701
- "106": 32,
702
- "107": 11546,
703
- "108": 32,
704
- "109": 85848,
705
- "110": 228465,
706
- "111": 122,
707
- "112": 0,
708
- "113": 1,
709
- "114": 1,
710
- "115": 90434,
711
- "116": 519,
712
- "117": 0,
713
- "118": 1,
714
- "119": 74433,
715
- "120": 32,
716
- "121": 85848,
717
- "122": 228465,
718
- "123": 122,
719
- "124": 0,
720
- "125": 1,
721
- "126": 1,
722
- "127": 85848,
723
- "128": 228465,
724
- "129": 122,
725
- "130": 0,
726
- "131": 1,
727
- "132": 1,
728
- "133": 270652,
729
- "134": 22588,
730
- "135": 4,
731
- "136": 1457325,
732
- "137": 64566,
733
- "138": 4,
734
- "139": 20467,
735
- "140": 1,
736
- "141": 4,
737
- "142": 0,
738
- "143": 141992,
739
- "144": 32,
740
- "145": 100788,
741
- "146": 420,
742
- "147": 1,
743
- "148": 1,
744
- "149": 81663,
745
- "150": 32,
746
- "151": 59498,
747
- "152": 32,
748
- "153": 20142,
749
- "154": 32,
750
- "155": 24588,
751
- "156": 32,
752
- "157": 20744,
753
- "158": 32,
754
- "159": 25933,
755
- "160": 32,
756
- "161": 24623,
757
- "162": 32,
758
- "163": 53384111,
759
- "164": 14333,
760
- "165": 10
761
- },
762
- PlutusV2: {
763
- "0": 100788,
764
- "1": 420,
765
- "2": 1,
766
- "3": 1,
767
- "4": 1e3,
768
- "5": 173,
769
- "6": 0,
770
- "7": 1,
771
- "8": 1e3,
772
- "9": 59957,
773
- "10": 4,
774
- "11": 1,
775
- "12": 11183,
776
- "13": 32,
777
- "14": 201305,
778
- "15": 8356,
779
- "16": 4,
780
- "17": 16e3,
781
- "18": 100,
782
- "19": 16e3,
783
- "20": 100,
784
- "21": 16e3,
785
- "22": 100,
786
- "23": 16e3,
787
- "24": 100,
788
- "25": 16e3,
789
- "26": 100,
790
- "27": 16e3,
791
- "28": 100,
792
- "29": 100,
793
- "30": 100,
794
- "31": 16e3,
795
- "32": 100,
796
- "33": 94375,
797
- "34": 32,
798
- "35": 132994,
799
- "36": 32,
800
- "37": 61462,
801
- "38": 4,
802
- "39": 72010,
803
- "40": 178,
804
- "41": 0,
805
- "42": 1,
806
- "43": 22151,
807
- "44": 32,
808
- "45": 91189,
809
- "46": 769,
810
- "47": 4,
811
- "48": 2,
812
- "49": 85848,
813
- "50": 228465,
814
- "51": 122,
815
- "52": 0,
816
- "53": 1,
817
- "54": 1,
818
- "55": 1e3,
819
- "56": 42921,
820
- "57": 4,
821
- "58": 2,
822
- "59": 24548,
823
- "60": 29498,
824
- "61": 38,
825
- "62": 1,
826
- "63": 898148,
827
- "64": 27279,
828
- "65": 1,
829
- "66": 51775,
830
- "67": 558,
831
- "68": 1,
832
- "69": 39184,
833
- "70": 1e3,
834
- "71": 60594,
835
- "72": 1,
836
- "73": 141895,
837
- "74": 32,
838
- "75": 83150,
839
- "76": 32,
840
- "77": 15299,
841
- "78": 32,
842
- "79": 76049,
843
- "80": 1,
844
- "81": 13169,
845
- "82": 4,
846
- "83": 22100,
847
- "84": 10,
848
- "85": 28999,
849
- "86": 74,
850
- "87": 1,
851
- "88": 28999,
852
- "89": 74,
853
- "90": 1,
854
- "91": 43285,
855
- "92": 552,
856
- "93": 1,
857
- "94": 44749,
858
- "95": 541,
859
- "96": 1,
860
- "97": 33852,
861
- "98": 32,
862
- "99": 68246,
863
- "100": 32,
864
- "101": 72362,
865
- "102": 32,
866
- "103": 7243,
867
- "104": 32,
868
- "105": 7391,
869
- "106": 32,
870
- "107": 11546,
871
- "108": 32,
872
- "109": 85848,
873
- "110": 228465,
874
- "111": 122,
875
- "112": 0,
876
- "113": 1,
877
- "114": 1,
878
- "115": 90434,
879
- "116": 519,
880
- "117": 0,
881
- "118": 1,
882
- "119": 74433,
883
- "120": 32,
884
- "121": 85848,
885
- "122": 228465,
886
- "123": 122,
887
- "124": 0,
888
- "125": 1,
889
- "126": 1,
890
- "127": 85848,
891
- "128": 228465,
892
- "129": 122,
893
- "130": 0,
894
- "131": 1,
895
- "132": 1,
896
- "133": 955506,
897
- "134": 213312,
898
- "135": 0,
899
- "136": 2,
900
- "137": 270652,
901
- "138": 22588,
902
- "139": 4,
903
- "140": 1457325,
904
- "141": 64566,
905
- "142": 4,
906
- "143": 20467,
907
- "144": 1,
908
- "145": 4,
909
- "146": 0,
910
- "147": 141992,
911
- "148": 32,
912
- "149": 100788,
913
- "150": 420,
914
- "151": 1,
915
- "152": 1,
916
- "153": 81663,
917
- "154": 32,
918
- "155": 59498,
919
- "156": 32,
920
- "157": 20142,
921
- "158": 32,
922
- "159": 24588,
923
- "160": 32,
924
- "161": 20744,
925
- "162": 32,
926
- "163": 25933,
927
- "164": 32,
928
- "165": 24623,
929
- "166": 32,
930
- "167": 43053543,
931
- "168": 10,
932
- "169": 53384111,
933
- "170": 14333,
934
- "171": 10,
935
- "172": 43574283,
936
- "173": 26308,
937
- "174": 10
938
- },
939
- PlutusV3: {
940
- "0": 100788,
941
- "1": 420,
942
- "2": 1,
943
- "3": 1,
944
- "4": 1e3,
945
- "5": 173,
946
- "6": 0,
947
- "7": 1,
948
- "8": 1e3,
949
- "9": 59957,
950
- "10": 4,
951
- "11": 1,
952
- "12": 11183,
953
- "13": 32,
954
- "14": 201305,
955
- "15": 8356,
956
- "16": 4,
957
- "17": 16e3,
958
- "18": 100,
959
- "19": 16e3,
960
- "20": 100,
961
- "21": 16e3,
962
- "22": 100,
963
- "23": 16e3,
964
- "24": 100,
965
- "25": 16e3,
966
- "26": 100,
967
- "27": 16e3,
968
- "28": 100,
969
- "29": 100,
970
- "30": 100,
971
- "31": 16e3,
972
- "32": 100,
973
- "33": 94375,
974
- "34": 32,
975
- "35": 132994,
976
- "36": 32,
977
- "37": 61462,
978
- "38": 4,
979
- "39": 72010,
980
- "40": 178,
981
- "41": 0,
982
- "42": 1,
983
- "43": 22151,
984
- "44": 32,
985
- "45": 91189,
986
- "46": 769,
987
- "47": 4,
988
- "48": 2,
989
- "49": 85848,
990
- "50": 123203,
991
- "51": 7305,
992
- "52": -900,
993
- "53": 1716,
994
- "54": 549,
995
- "55": 57,
996
- "56": 85848,
997
- "57": 0,
998
- "58": 1,
999
- "59": 1,
1000
- "60": 1e3,
1001
- "61": 42921,
1002
- "62": 4,
1003
- "63": 2,
1004
- "64": 24548,
1005
- "65": 29498,
1006
- "66": 38,
1007
- "67": 1,
1008
- "68": 898148,
1009
- "69": 27279,
1010
- "70": 1,
1011
- "71": 51775,
1012
- "72": 558,
1013
- "73": 1,
1014
- "74": 39184,
1015
- "75": 1e3,
1016
- "76": 60594,
1017
- "77": 1,
1018
- "78": 141895,
1019
- "79": 32,
1020
- "80": 83150,
1021
- "81": 32,
1022
- "82": 15299,
1023
- "83": 32,
1024
- "84": 76049,
1025
- "85": 1,
1026
- "86": 13169,
1027
- "87": 4,
1028
- "88": 22100,
1029
- "89": 10,
1030
- "90": 28999,
1031
- "91": 74,
1032
- "92": 1,
1033
- "93": 28999,
1034
- "94": 74,
1035
- "95": 1,
1036
- "96": 43285,
1037
- "97": 552,
1038
- "98": 1,
1039
- "99": 44749,
1040
- "100": 541,
1041
- "101": 1,
1042
- "102": 33852,
1043
- "103": 32,
1044
- "104": 68246,
1045
- "105": 32,
1046
- "106": 72362,
1047
- "107": 32,
1048
- "108": 7243,
1049
- "109": 32,
1050
- "110": 7391,
1051
- "111": 32,
1052
- "112": 11546,
1053
- "113": 32,
1054
- "114": 85848,
1055
- "115": 123203,
1056
- "116": 7305,
1057
- "117": -900,
1058
- "118": 1716,
1059
- "119": 549,
1060
- "120": 57,
1061
- "121": 85848,
1062
- "122": 0,
1063
- "123": 1,
1064
- "124": 90434,
1065
- "125": 519,
1066
- "126": 0,
1067
- "127": 1,
1068
- "128": 74433,
1069
- "129": 32,
1070
- "130": 85848,
1071
- "131": 123203,
1072
- "132": 7305,
1073
- "133": -900,
1074
- "134": 1716,
1075
- "135": 549,
1076
- "136": 57,
1077
- "137": 85848,
1078
- "138": 0,
1079
- "139": 1,
1080
- "140": 1,
1081
- "141": 85848,
1082
- "142": 123203,
1083
- "143": 7305,
1084
- "144": -900,
1085
- "145": 1716,
1086
- "146": 549,
1087
- "147": 57,
1088
- "148": 85848,
1089
- "149": 0,
1090
- "150": 1,
1091
- "151": 955506,
1092
- "152": 213312,
1093
- "153": 0,
1094
- "154": 2,
1095
- "155": 270652,
1096
- "156": 22588,
1097
- "157": 4,
1098
- "158": 1457325,
1099
- "159": 64566,
1100
- "160": 4,
1101
- "161": 20467,
1102
- "162": 1,
1103
- "163": 4,
1104
- "164": 0,
1105
- "165": 141992,
1106
- "166": 32,
1107
- "167": 100788,
1108
- "168": 420,
1109
- "169": 1,
1110
- "170": 1,
1111
- "171": 81663,
1112
- "172": 32,
1113
- "173": 59498,
1114
- "174": 32,
1115
- "175": 20142,
1116
- "176": 32,
1117
- "177": 24588,
1118
- "178": 32,
1119
- "179": 20744,
1120
- "180": 32,
1121
- "181": 25933,
1122
- "182": 32,
1123
- "183": 24623,
1124
- "184": 32,
1125
- "185": 43053543,
1126
- "186": 10,
1127
- "187": 53384111,
1128
- "188": 14333,
1129
- "189": 10,
1130
- "190": 43574283,
1131
- "191": 26308,
1132
- "192": 10,
1133
- "193": 16e3,
1134
- "194": 100,
1135
- "195": 16e3,
1136
- "196": 100,
1137
- "197": 962335,
1138
- "198": 18,
1139
- "199": 2780678,
1140
- "200": 6,
1141
- "201": 442008,
1142
- "202": 1,
1143
- "203": 52538055,
1144
- "204": 3756,
1145
- "205": 18,
1146
- "206": 267929,
1147
- "207": 18,
1148
- "208": 76433006,
1149
- "209": 8868,
1150
- "210": 18,
1151
- "211": 52948122,
1152
- "212": 18,
1153
- "213": 1995836,
1154
- "214": 36,
1155
- "215": 3227919,
1156
- "216": 12,
1157
- "217": 901022,
1158
- "218": 1,
1159
- "219": 166917843,
1160
- "220": 4307,
1161
- "221": 36,
1162
- "222": 284546,
1163
- "223": 36,
1164
- "224": 158221314,
1165
- "225": 26549,
1166
- "226": 36,
1167
- "227": 74698472,
1168
- "228": 36,
1169
- "229": 333849714,
1170
- "230": 1,
1171
- "231": 254006273,
1172
- "232": 72,
1173
- "233": 2174038,
1174
- "234": 72,
1175
- "235": 2261318,
1176
- "236": 64571,
1177
- "237": 4,
1178
- "238": 207616,
1179
- "239": 8310,
1180
- "240": 4,
1181
- "241": 1293828,
1182
- "242": 28716,
1183
- "243": 63,
1184
- "244": 0,
1185
- "245": 1,
1186
- "246": 1006041,
1187
- "247": 43623,
1188
- "248": 251,
1189
- "249": 0,
1190
- "250": 1,
1191
- "251": 100181,
1192
- "252": 726,
1193
- "253": 719,
1194
- "254": 0,
1195
- "255": 1,
1196
- "256": 100181,
1197
- "257": 726,
1198
- "258": 719,
1199
- "259": 0,
1200
- "260": 1,
1201
- "261": 100181,
1202
- "262": 726,
1203
- "263": 719,
1204
- "264": 0,
1205
- "265": 1,
1206
- "266": 107878,
1207
- "267": 680,
1208
- "268": 0,
1209
- "269": 1,
1210
- "270": 95336,
1211
- "271": 1,
1212
- "272": 281145,
1213
- "273": 18848,
1214
- "274": 0,
1215
- "275": 1,
1216
- "276": 180194,
1217
- "277": 159,
1218
- "278": 1,
1219
- "279": 1,
1220
- "280": 158519,
1221
- "281": 8942,
1222
- "282": 0,
1223
- "283": 1,
1224
- "284": 159378,
1225
- "285": 8813,
1226
- "286": 0,
1227
- "287": 1,
1228
- "288": 107490,
1229
- "289": 3298,
1230
- "290": 1,
1231
- "291": 106057,
1232
- "292": 655,
1233
- "293": 1,
1234
- "294": 1964219,
1235
- "295": 24520,
1236
- "296": 3
1237
- }
594
+ PlutusV1: [
595
+ 100788,
596
+ 420,
597
+ 1,
598
+ 1,
599
+ 1e3,
600
+ 173,
601
+ 0,
602
+ 1,
603
+ 1e3,
604
+ 59957,
605
+ 4,
606
+ 1,
607
+ 11183,
608
+ 32,
609
+ 201305,
610
+ 8356,
611
+ 4,
612
+ 16e3,
613
+ 100,
614
+ 16e3,
615
+ 100,
616
+ 16e3,
617
+ 100,
618
+ 16e3,
619
+ 100,
620
+ 16e3,
621
+ 100,
622
+ 16e3,
623
+ 100,
624
+ 100,
625
+ 100,
626
+ 16e3,
627
+ 100,
628
+ 94375,
629
+ 32,
630
+ 132994,
631
+ 32,
632
+ 61462,
633
+ 4,
634
+ 72010,
635
+ 178,
636
+ 0,
637
+ 1,
638
+ 22151,
639
+ 32,
640
+ 91189,
641
+ 769,
642
+ 4,
643
+ 2,
644
+ 85848,
645
+ 228465,
646
+ 122,
647
+ 0,
648
+ 1,
649
+ 1,
650
+ 1e3,
651
+ 42921,
652
+ 4,
653
+ 2,
654
+ 24548,
655
+ 29498,
656
+ 38,
657
+ 1,
658
+ 898148,
659
+ 27279,
660
+ 1,
661
+ 51775,
662
+ 558,
663
+ 1,
664
+ 39184,
665
+ 1e3,
666
+ 60594,
667
+ 1,
668
+ 141895,
669
+ 32,
670
+ 83150,
671
+ 32,
672
+ 15299,
673
+ 32,
674
+ 76049,
675
+ 1,
676
+ 13169,
677
+ 4,
678
+ 22100,
679
+ 10,
680
+ 28999,
681
+ 74,
682
+ 1,
683
+ 28999,
684
+ 74,
685
+ 1,
686
+ 43285,
687
+ 552,
688
+ 1,
689
+ 44749,
690
+ 541,
691
+ 1,
692
+ 33852,
693
+ 32,
694
+ 68246,
695
+ 32,
696
+ 72362,
697
+ 32,
698
+ 7243,
699
+ 32,
700
+ 7391,
701
+ 32,
702
+ 11546,
703
+ 32,
704
+ 85848,
705
+ 228465,
706
+ 122,
707
+ 0,
708
+ 1,
709
+ 1,
710
+ 90434,
711
+ 519,
712
+ 0,
713
+ 1,
714
+ 74433,
715
+ 32,
716
+ 85848,
717
+ 228465,
718
+ 122,
719
+ 0,
720
+ 1,
721
+ 1,
722
+ 85848,
723
+ 228465,
724
+ 122,
725
+ 0,
726
+ 1,
727
+ 1,
728
+ 270652,
729
+ 22588,
730
+ 4,
731
+ 1457325,
732
+ 64566,
733
+ 4,
734
+ 20467,
735
+ 1,
736
+ 4,
737
+ 0,
738
+ 141992,
739
+ 32,
740
+ 100788,
741
+ 420,
742
+ 1,
743
+ 1,
744
+ 81663,
745
+ 32,
746
+ 59498,
747
+ 32,
748
+ 20142,
749
+ 32,
750
+ 24588,
751
+ 32,
752
+ 20744,
753
+ 32,
754
+ 25933,
755
+ 32,
756
+ 24623,
757
+ 32,
758
+ 53384111,
759
+ 14333,
760
+ 10
761
+ ],
762
+ PlutusV2: [
763
+ 100788,
764
+ 420,
765
+ 1,
766
+ 1,
767
+ 1e3,
768
+ 173,
769
+ 0,
770
+ 1,
771
+ 1e3,
772
+ 59957,
773
+ 4,
774
+ 1,
775
+ 11183,
776
+ 32,
777
+ 201305,
778
+ 8356,
779
+ 4,
780
+ 16e3,
781
+ 100,
782
+ 16e3,
783
+ 100,
784
+ 16e3,
785
+ 100,
786
+ 16e3,
787
+ 100,
788
+ 16e3,
789
+ 100,
790
+ 16e3,
791
+ 100,
792
+ 100,
793
+ 100,
794
+ 16e3,
795
+ 100,
796
+ 94375,
797
+ 32,
798
+ 132994,
799
+ 32,
800
+ 61462,
801
+ 4,
802
+ 72010,
803
+ 178,
804
+ 0,
805
+ 1,
806
+ 22151,
807
+ 32,
808
+ 91189,
809
+ 769,
810
+ 4,
811
+ 2,
812
+ 85848,
813
+ 228465,
814
+ 122,
815
+ 0,
816
+ 1,
817
+ 1,
818
+ 1e3,
819
+ 42921,
820
+ 4,
821
+ 2,
822
+ 24548,
823
+ 29498,
824
+ 38,
825
+ 1,
826
+ 898148,
827
+ 27279,
828
+ 1,
829
+ 51775,
830
+ 558,
831
+ 1,
832
+ 39184,
833
+ 1e3,
834
+ 60594,
835
+ 1,
836
+ 141895,
837
+ 32,
838
+ 83150,
839
+ 32,
840
+ 15299,
841
+ 32,
842
+ 76049,
843
+ 1,
844
+ 13169,
845
+ 4,
846
+ 22100,
847
+ 10,
848
+ 28999,
849
+ 74,
850
+ 1,
851
+ 28999,
852
+ 74,
853
+ 1,
854
+ 43285,
855
+ 552,
856
+ 1,
857
+ 44749,
858
+ 541,
859
+ 1,
860
+ 33852,
861
+ 32,
862
+ 68246,
863
+ 32,
864
+ 72362,
865
+ 32,
866
+ 7243,
867
+ 32,
868
+ 7391,
869
+ 32,
870
+ 11546,
871
+ 32,
872
+ 85848,
873
+ 228465,
874
+ 122,
875
+ 0,
876
+ 1,
877
+ 1,
878
+ 90434,
879
+ 519,
880
+ 0,
881
+ 1,
882
+ 74433,
883
+ 32,
884
+ 85848,
885
+ 228465,
886
+ 122,
887
+ 0,
888
+ 1,
889
+ 1,
890
+ 85848,
891
+ 228465,
892
+ 122,
893
+ 0,
894
+ 1,
895
+ 1,
896
+ 955506,
897
+ 213312,
898
+ 0,
899
+ 2,
900
+ 270652,
901
+ 22588,
902
+ 4,
903
+ 1457325,
904
+ 64566,
905
+ 4,
906
+ 20467,
907
+ 1,
908
+ 4,
909
+ 0,
910
+ 141992,
911
+ 32,
912
+ 100788,
913
+ 420,
914
+ 1,
915
+ 1,
916
+ 81663,
917
+ 32,
918
+ 59498,
919
+ 32,
920
+ 20142,
921
+ 32,
922
+ 24588,
923
+ 32,
924
+ 20744,
925
+ 32,
926
+ 25933,
927
+ 32,
928
+ 24623,
929
+ 32,
930
+ 43053543,
931
+ 10,
932
+ 53384111,
933
+ 14333,
934
+ 10,
935
+ 43574283,
936
+ 26308,
937
+ 10
938
+ ],
939
+ PlutusV3: [
940
+ 100788,
941
+ 420,
942
+ 1,
943
+ 1,
944
+ 1e3,
945
+ 173,
946
+ 0,
947
+ 1,
948
+ 1e3,
949
+ 59957,
950
+ 4,
951
+ 1,
952
+ 11183,
953
+ 32,
954
+ 201305,
955
+ 8356,
956
+ 4,
957
+ 16e3,
958
+ 100,
959
+ 16e3,
960
+ 100,
961
+ 16e3,
962
+ 100,
963
+ 16e3,
964
+ 100,
965
+ 16e3,
966
+ 100,
967
+ 16e3,
968
+ 100,
969
+ 100,
970
+ 100,
971
+ 16e3,
972
+ 100,
973
+ 94375,
974
+ 32,
975
+ 132994,
976
+ 32,
977
+ 61462,
978
+ 4,
979
+ 72010,
980
+ 178,
981
+ 0,
982
+ 1,
983
+ 22151,
984
+ 32,
985
+ 91189,
986
+ 769,
987
+ 4,
988
+ 2,
989
+ 85848,
990
+ 123203,
991
+ 7305,
992
+ -900,
993
+ 1716,
994
+ 549,
995
+ 57,
996
+ 85848,
997
+ 0,
998
+ 1,
999
+ 1,
1000
+ 1e3,
1001
+ 42921,
1002
+ 4,
1003
+ 2,
1004
+ 24548,
1005
+ 29498,
1006
+ 38,
1007
+ 1,
1008
+ 898148,
1009
+ 27279,
1010
+ 1,
1011
+ 51775,
1012
+ 558,
1013
+ 1,
1014
+ 39184,
1015
+ 1e3,
1016
+ 60594,
1017
+ 1,
1018
+ 141895,
1019
+ 32,
1020
+ 83150,
1021
+ 32,
1022
+ 15299,
1023
+ 32,
1024
+ 76049,
1025
+ 1,
1026
+ 13169,
1027
+ 4,
1028
+ 22100,
1029
+ 10,
1030
+ 28999,
1031
+ 74,
1032
+ 1,
1033
+ 28999,
1034
+ 74,
1035
+ 1,
1036
+ 43285,
1037
+ 552,
1038
+ 1,
1039
+ 44749,
1040
+ 541,
1041
+ 1,
1042
+ 33852,
1043
+ 32,
1044
+ 68246,
1045
+ 32,
1046
+ 72362,
1047
+ 32,
1048
+ 7243,
1049
+ 32,
1050
+ 7391,
1051
+ 32,
1052
+ 11546,
1053
+ 32,
1054
+ 85848,
1055
+ 123203,
1056
+ 7305,
1057
+ -900,
1058
+ 1716,
1059
+ 549,
1060
+ 57,
1061
+ 85848,
1062
+ 0,
1063
+ 1,
1064
+ 90434,
1065
+ 519,
1066
+ 0,
1067
+ 1,
1068
+ 74433,
1069
+ 32,
1070
+ 85848,
1071
+ 123203,
1072
+ 7305,
1073
+ -900,
1074
+ 1716,
1075
+ 549,
1076
+ 57,
1077
+ 85848,
1078
+ 0,
1079
+ 1,
1080
+ 1,
1081
+ 85848,
1082
+ 123203,
1083
+ 7305,
1084
+ -900,
1085
+ 1716,
1086
+ 549,
1087
+ 57,
1088
+ 85848,
1089
+ 0,
1090
+ 1,
1091
+ 955506,
1092
+ 213312,
1093
+ 0,
1094
+ 2,
1095
+ 270652,
1096
+ 22588,
1097
+ 4,
1098
+ 1457325,
1099
+ 64566,
1100
+ 4,
1101
+ 20467,
1102
+ 1,
1103
+ 4,
1104
+ 0,
1105
+ 141992,
1106
+ 32,
1107
+ 100788,
1108
+ 420,
1109
+ 1,
1110
+ 1,
1111
+ 81663,
1112
+ 32,
1113
+ 59498,
1114
+ 32,
1115
+ 20142,
1116
+ 32,
1117
+ 24588,
1118
+ 32,
1119
+ 20744,
1120
+ 32,
1121
+ 25933,
1122
+ 32,
1123
+ 24623,
1124
+ 32,
1125
+ 43053543,
1126
+ 10,
1127
+ 53384111,
1128
+ 14333,
1129
+ 10,
1130
+ 43574283,
1131
+ 26308,
1132
+ 10,
1133
+ 16e3,
1134
+ 100,
1135
+ 16e3,
1136
+ 100,
1137
+ 962335,
1138
+ 18,
1139
+ 2780678,
1140
+ 6,
1141
+ 442008,
1142
+ 1,
1143
+ 52538055,
1144
+ 3756,
1145
+ 18,
1146
+ 267929,
1147
+ 18,
1148
+ 76433006,
1149
+ 8868,
1150
+ 18,
1151
+ 52948122,
1152
+ 18,
1153
+ 1995836,
1154
+ 36,
1155
+ 3227919,
1156
+ 12,
1157
+ 901022,
1158
+ 1,
1159
+ 166917843,
1160
+ 4307,
1161
+ 36,
1162
+ 284546,
1163
+ 36,
1164
+ 158221314,
1165
+ 26549,
1166
+ 36,
1167
+ 74698472,
1168
+ 36,
1169
+ 333849714,
1170
+ 1,
1171
+ 254006273,
1172
+ 72,
1173
+ 2174038,
1174
+ 72,
1175
+ 2261318,
1176
+ 64571,
1177
+ 4,
1178
+ 207616,
1179
+ 8310,
1180
+ 4,
1181
+ 1293828,
1182
+ 28716,
1183
+ 63,
1184
+ 0,
1185
+ 1,
1186
+ 1006041,
1187
+ 43623,
1188
+ 251,
1189
+ 0,
1190
+ 1,
1191
+ 100181,
1192
+ 726,
1193
+ 719,
1194
+ 0,
1195
+ 1,
1196
+ 100181,
1197
+ 726,
1198
+ 719,
1199
+ 0,
1200
+ 1,
1201
+ 100181,
1202
+ 726,
1203
+ 719,
1204
+ 0,
1205
+ 1,
1206
+ 107878,
1207
+ 680,
1208
+ 0,
1209
+ 1,
1210
+ 95336,
1211
+ 1,
1212
+ 281145,
1213
+ 18848,
1214
+ 0,
1215
+ 1,
1216
+ 180194,
1217
+ 159,
1218
+ 1,
1219
+ 1,
1220
+ 158519,
1221
+ 8942,
1222
+ 0,
1223
+ 1,
1224
+ 159378,
1225
+ 8813,
1226
+ 0,
1227
+ 1,
1228
+ 107490,
1229
+ 3298,
1230
+ 1,
1231
+ 106057,
1232
+ 655,
1233
+ 1,
1234
+ 1964219,
1235
+ 24520,
1236
+ 3
1237
+ ]
1238
1238
  }
1239
1239
  };
1240
1240