;; froggy-gamma-nft
;; Froggy NFT - Gamma style NFT contract
;; contractType: public custom
(impl-trait 'SP2PABAF9FTAJYNFZH93XENAJ8FVY99RRM50D2JG9.nft-trait.nft-trait)
(define-non-fungible-token froggy uint)
;; Constants
(define-constant DEPLOYER tx-sender)
(define-constant COMM u1000)
(define-constant COMM-ADDR 'SPNWZ5V2TPWGQGVDR6T7B6RQ4XMGZ4PXTEE0VQ0S)
(define-constant ERR-NOT-AUTHORIZED u104)
(define-constant ERR-INVALID-USER u105)
(define-constant ERR-LISTING u106)
(define-constant ERR-WRONG-COMMISSION u107)
(define-constant ERR-NOT-FOUND u108)
(define-constant ERR-METADATA-FROZEN u111)
(define-constant ERR-INVALID-PERCENTAGE u114)
;; Internal variables
(define-data-var last-id uint u1)
;; Mint and Secondary payouts
;; 100% mint + 50% secondary
(define-data-var artist-address principal 'SP3E8B51MF5E28BD82FM95VDSQ71VK4KFNZX7ZK2R)
;; 50% secondary only
(define-data-var royalty-address-1 principal 'SP3ANWNWTHJAH4E1WNQ9RT7V07ERJN5S4DA7X6XEW)
(define-data-var ipfs-root (string-ascii 80) "https://froggy.wtf/api/froggy/")
(define-data-var metadata-frozen bool false)
(define-map reserved-ids uint bool)
(define-public (set-artist-address (address principal))
(begin
(asserts! (or (is-eq tx-sender (var-get artist-address)) (is-eq tx-sender DEPLOYER)) (err ERR-INVALID-USER))
(ok (var-set artist-address address))))
(define-public (burn (token-id uint))
(begin
(asserts! (is-owner token-id tx-sender) (err ERR-NOT-AUTHORIZED))
(asserts! (is-none (map-get? market token-id)) (err ERR-LISTING))
(nft-burn? froggy token-id tx-sender)))
(define-private (is-owner (token-id uint) (user principal))
(is-eq user (unwrap! (nft-get-owner? froggy token-id) false)))
(define-public (set-base-uri (new-base-uri (string-ascii 80)))
(begin
(asserts! (or (is-eq tx-sender (var-get artist-address)) (is-eq tx-sender DEPLOYER)) (err ERR-NOT-AUTHORIZED))
(asserts! (not (var-get metadata-frozen)) (err ERR-METADATA-FROZEN))
(print { notification: "token-metadata-update", payload: { token-class: "nft", contract-id: (as-contract tx-sender) }})
(var-set ipfs-root new-base-uri)
(ok true)))
(define-public (freeze-metadata)
(begin
(asserts! (or (is-eq tx-sender (var-get artist-address)) (is-eq tx-sender DEPLOYER)) (err ERR-NOT-AUTHORIZED))
(var-set metadata-frozen true)
(ok true)))
(define-public (reveal-artwork (new-base-uri (string-ascii 80)))
(begin
(asserts! (or (is-eq tx-sender (var-get artist-address)) (is-eq tx-sender DEPLOYER)) (err ERR-NOT-AUTHORIZED))
(asserts! (not (var-get metadata-frozen)) (err ERR-METADATA-FROZEN))
(var-set ipfs-root new-base-uri)
(ok true)))
;; Non-custodial SIP-009 transfer function
(define-public (transfer (id uint) (sender principal) (recipient principal))
(begin
(asserts! (is-eq tx-sender sender) (err ERR-NOT-AUTHORIZED))
(asserts! (is-none (map-get? market id)) (err ERR-LISTING))
(trnsfr id sender recipient)))
;; read-only functions
(define-read-only (get-owner (token-id uint))
(ok (nft-get-owner? froggy token-id)))
(define-read-only (get-last-token-id)
(ok (- (var-get last-id) u1)))
(define-read-only (get-token-uri (token-id uint))
(ok (some (concat (concat (var-get ipfs-root) "{id}") ".json"))))
(define-read-only (get-artist-address)
(ok (var-get artist-address)))
(define-data-var license-uri (string-ascii 80) "https://arweave.net/zmc1WTspIhFyVY82bwfAIcIExLFH5lUcHHUN0wXg4W8/5")
(define-data-var license-name (string-ascii 40) "PERSONAL-NO-HATE")
(define-read-only (get-license-uri)
(ok (var-get license-uri)))
(define-read-only (get-license-name)
(ok (var-get license-name)))
(define-public (set-license-uri (uri (string-ascii 80)))
(begin
(asserts! (or (is-eq tx-sender (var-get artist-address)) (is-eq tx-sender DEPLOYER)) (err ERR-NOT-AUTHORIZED))
(ok (var-set license-uri uri))))
(define-public (set-license-name (name (string-ascii 40)))
(begin
(asserts! (or (is-eq tx-sender (var-get artist-address)) (is-eq tx-sender DEPLOYER)) (err ERR-NOT-AUTHORIZED))
(ok (var-set license-name name))))
;; Non-custodial marketplace extras
(use-trait commission-trait 'SP3D6PV2ACBPEKYJTCMH7HEN02KP87QSP8KTEH335.commission-trait.commission)
(define-map token-count principal uint)
(define-map market uint {price: uint, commission: principal, royalty: uint})
(define-read-only (get-balance (account principal))
(default-to u0
(map-get? token-count account)))
(define-private (trnsfr (id uint) (sender principal) (recipient principal))
(match (nft-transfer? froggy id sender recipient)
success
(let
((sender-balance (get-balance sender))
(recipient-balance (get-balance recipient)))
(map-set token-count
sender
(- sender-balance u1))
(map-set token-count
recipient
(+ recipient-balance u1))
(ok success))
error (err error)))
(define-private (is-sender-owner (id uint))
(let ((owner (unwrap! (nft-get-owner? froggy id) false)))
(or (is-eq tx-sender owner) (is-eq contract-caller owner))))
(define-read-only (get-listing-in-ustx (id uint))
(map-get? market id))
(define-public (list-in-ustx (id uint) (price uint) (comm-trait <commission-trait>))
(let ((listing {price: price, commission: (contract-of comm-trait), royalty: (var-get royalty-percent)}))
(asserts! (is-sender-owner id) (err ERR-NOT-AUTHORIZED))
(map-set market id listing)
(print (merge listing {a: "list-in-ustx", id: id}))
(ok true)))
(define-public (unlist-in-ustx (id uint))
(begin
(asserts! (is-sender-owner id) (err ERR-NOT-AUTHORIZED))
(map-delete market id)
(print {a: "unlist-in-ustx", id: id})
(ok true)))
(define-public (buy-in-ustx (id uint) (comm-trait <commission-trait>))
(let ((owner (unwrap! (nft-get-owner? froggy id) (err ERR-NOT-FOUND)))
(listing (unwrap! (map-get? market id) (err ERR-LISTING)))
(price (get price listing))
(royalty (get royalty listing)))
(asserts! (is-eq (contract-of comm-trait) (get commission listing)) (err ERR-WRONG-COMMISSION))
(try! (stx-transfer? price tx-sender owner))
(try! (pay-royalty price royalty))
(try! (contract-call? comm-trait pay id price))
(try! (trnsfr id owner tx-sender))
(map-delete market id)
(print {a: "buy-in-ustx", id: id})
(ok true)))
(define-data-var royalty-percent uint u500)
(define-read-only (get-royalty-percent)
(ok (var-get royalty-percent)))
(define-public (set-royalty-percent (royalty uint))
(begin
(asserts! (or (is-eq tx-sender (var-get artist-address)) (is-eq tx-sender DEPLOYER)) (err ERR-INVALID-USER))
(asserts! (and (>= royalty u0) (<= royalty u1000)) (err ERR-INVALID-PERCENTAGE))
(ok (var-set royalty-percent royalty))))
(define-private (pay-royalty (price uint) (royalty uint))
(let (
(royalty-amount-artist (/ (* price (/ (* royalty u500) u1000)) u10000))
(royalty-amount-1 (/ (* price (/ (* royalty u500) u1000)) u10000))
)
(if (and (> royalty-amount-artist u0) (not (is-eq tx-sender (var-get artist-address))))
(try! (stx-transfer? royalty-amount-artist tx-sender (var-get artist-address)))
(print false)
)
(if (and (> royalty-amount-1 u0) (not (is-eq tx-sender (var-get royalty-address-1))))
(try! (stx-transfer? royalty-amount-1 tx-sender (var-get royalty-address-1)))
(print false)
)
(ok true)))
;; Reserved IDs functionality
(define-read-only (is-reserved (token-id uint))
(default-to false (map-get? reserved-ids token-id)))
;; Admin function to set multiple IDs as reserved (batch)
(define-public (admin-set-reserved (ids (list 200 uint)))
(begin
(asserts! (or (is-eq tx-sender (var-get artist-address)) (is-eq tx-sender DEPLOYER)) (err ERR-NOT-AUTHORIZED))
(ok (fold set-reserved-iter ids u0))))
(define-private (set-reserved-iter (token-id uint) (count uint))
(begin
(map-set reserved-ids token-id true)
(+ count u1)))
;; ========== DEPLOYMENT: RESERVE AND MINT TAKEN FROGGY IDS ==========
;; All 258 reserved IDs from takenfroggys.csv are set and minted on deployment
;; IDs are sorted in ascending order for readability
(define-constant ADMIN_RECIPIENT 'SP3E8B51MF5E28BD82FM95VDSQ71VK4KFNZX7ZK2R)
(define-constant MARKETPLACE .froggy-nft-marketplace)
;; Reserved IDs batch 1 (200 IDs) - sorted ascending: 1-5891
(define-constant RESERVED-BATCH-1 (list
u1 u5 u25 u65 u71 u101 u140 u264 u265 u303
u317 u326 u341 u355 u390 u443 u530 u558 u600 u817
u835 u849 u896 u901 u937 u957 u962 u982 u984 u1000
u1025 u1128 u1141 u1149 u1182 u1209 u1279 u1303 u1406 u1420
u1480 u1485 u1508 u1541 u1544 u1621 u1644 u1699 u1716 u1771
u1782 u2020 u2032 u2062 u2102 u2117 u2118 u2177 u2235 u2266
u2357 u2463 u2465 u2485 u2491 u2567 u2594 u2615 u2628 u2639
u2643 u2732 u2758 u2870 u2907 u2957 u3139 u3173 u3197 u3198
u3204 u3231 u3298 u3322 u3410 u3527 u3569 u3570 u3598 u3694
u3719 u3722 u3730 u3815 u3832 u3875 u3901 u3907 u3926 u3963
u4036 u4059 u4228 u4244 u4314 u4320 u4356 u4435 u4441 u4461
u4467 u4531 u4546 u4654 u4675 u4762 u4792 u4808 u4899 u5004
u5072 u5101 u5148 u5194 u5220 u5260 u5283 u5300 u5375 u5421
u5448 u5453 u5570 u5637 u5685 u5699 u5704 u5748 u5755 u5772
u5776 u5841 u5852 u5891 u5932 u5967 u6044 u6096 u6120 u6189
u6255 u6324 u6405 u6433 u6493 u6500 u6543 u6611 u6612 u6675
u6723 u6734 u6754 u6811 u6851 u6870 u6936 u6990 u7005 u7034
u7080 u7149 u7162 u7172 u7195 u7205 u7308 u7309 u7340 u7349
u7420 u7477 u7520 u7575 u7648 u7715 u7793 u7815 u7931 u7937
u7993 u8033 u8048 u8064 u8117 u8161 u8197 u8252 u8339 u8372
))
;; Reserved IDs batch 2 (58 IDs) - sorted ascending: 8408-9981
(define-constant RESERVED-BATCH-2 (list
u8408 u8453 u8466 u8514 u8556 u8561 u8564 u8604 u8709 u8712
u8727 u8778 u8784 u8792 u8793 u8794 u8807 u8813 u8878 u8921
u8953 u8967 u9001 u9002 u9012 u9025 u9061 u9074 u9076 u9090
u9114 u9154 u9181 u9232 u9240 u9249 u9319 u9382 u9407 u9468
u9537 u9601 u9604 u9639 u9651 u9743 u9755 u9759 u9774 u9793
u9798 u9842 u9904 u9905 u9911 u9921 u9953 u9981
))
;; Mint batches (25 IDs each, except last one with 8) - sorted ascending
(define-constant MINT-BATCH-1 (list u1 u5 u25 u65 u71 u101 u140 u264 u265 u303 u317 u326 u341 u355 u390 u443 u530 u558 u600 u817 u835 u849 u896 u901 u937))
(define-constant MINT-BATCH-2 (list u957 u962 u982 u984 u1000 u1025 u1128 u1141 u1149 u1182 u1209 u1279 u1303 u1406 u1420 u1480 u1485 u1508 u1541 u1544 u1621 u1644 u1699 u1716 u1771))
(define-constant MINT-BATCH-3 (list u1782 u2020 u2032 u2062 u2102 u2117 u2118 u2177 u2235 u2266 u2357 u2463 u2465 u2485 u2491 u2567 u2594 u2615 u2628 u2639 u2643 u2732 u2758 u2870 u2907))
(define-constant MINT-BATCH-4 (list u2957 u3139 u3173 u3197 u3198 u3204 u3231 u3298 u3322 u3410 u3527 u3569 u3570 u3598 u3694 u3719 u3722 u3730 u3815 u3832 u3875 u3901 u3907 u3926 u3963))
(define-constant MINT-BATCH-5 (list u4036 u4059 u4228 u4244 u4314 u4320 u4356 u4435 u4441 u4461 u4467 u4531 u4546 u4654 u4675 u4762 u4792 u4808 u4899 u5004 u5072 u5101 u5148 u5194 u5220))
(define-constant MINT-BATCH-6 (list u5260 u5283 u5300 u5375 u5421 u5448 u5453 u5570 u5637 u5685 u5699 u5704 u5748 u5755 u5772 u5776 u5841 u5852 u5891 u5932 u5967 u6044 u6096 u6120 u6189))
(define-constant MINT-BATCH-7 (list u6255 u6324 u6405 u6433 u6493 u6500 u6543 u6611 u6612 u6675 u6723 u6734 u6754 u6811 u6851 u6870 u6936 u6990 u7005 u7034 u7080 u7149 u7162 u7172 u7195))
(define-constant MINT-BATCH-8 (list u7205 u7308 u7309 u7340 u7349 u7420 u7477 u7520 u7575 u7648 u7715 u7793 u7815 u7931 u7937 u7993 u8033 u8048 u8064 u8117 u8161 u8197 u8252 u8339 u8372))
(define-constant MINT-BATCH-9 (list u8408 u8453 u8466 u8514 u8556 u8561 u8564 u8604 u8709 u8712 u8727 u8778 u8784 u8792 u8793 u8794 u8807 u8813 u8878 u8921 u8953 u8967 u9001 u9002 u9012))
(define-constant MINT-BATCH-10 (list u9025 u9061 u9074 u9076 u9090 u9114 u9154 u9181 u9232 u9240 u9249 u9319 u9382 u9407 u9468 u9537 u9601 u9604 u9639 u9651 u9743 u9755 u9759 u9774 u9793))
(define-constant MINT-BATCH-11 (list u9798 u9842 u9904 u9905 u9911 u9921 u9953 u9981))
;; Private helper for deployment minting (simpler than mint-reserved-iter)
(define-private (mint-deploy-iter (token-id uint) (count uint))
(begin
(unwrap-panic (nft-mint? froggy token-id ADMIN_RECIPIENT))
(+ count u1)))
;; Private helper for minting non-reserved to marketplace
(define-private (mint-marketplace-iter (token-id uint) (count uint))
(begin
(unwrap-panic (nft-mint? froggy token-id MARKETPLACE))
(+ count u1)))
;; === EXECUTE ON DEPLOYMENT ===
;; Step 1: Set all reserved IDs
(fold set-reserved-iter RESERVED-BATCH-1 u0)
(fold set-reserved-iter RESERVED-BATCH-2 u0)
;; Step 2: Mint all reserved IDs to ADMIN_RECIPIENT
(map-set token-count ADMIN_RECIPIENT
(+ (fold mint-deploy-iter MINT-BATCH-1 u0)
(fold mint-deploy-iter MINT-BATCH-2 u0)
(fold mint-deploy-iter MINT-BATCH-3 u0)
(fold mint-deploy-iter MINT-BATCH-4 u0)
(fold mint-deploy-iter MINT-BATCH-5 u0)
(fold mint-deploy-iter MINT-BATCH-6 u0)
(fold mint-deploy-iter MINT-BATCH-7 u0)
(fold mint-deploy-iter MINT-BATCH-8 u0)
(fold mint-deploy-iter MINT-BATCH-9 u0)
(fold mint-deploy-iter MINT-BATCH-10 u0)
(fold mint-deploy-iter MINT-BATCH-11 u0)))
;; ========== NON-RESERVED IDS: MINT TO MARKETPLACE ==========
;; 9742 non-reserved IDs in 49 batches - minted directly to custodial marketplace
(define-constant PUBLIC-BATCH-1 (list u2 u3 u4 u6 u7 u8 u9 u10 u11 u12 u13 u14 u15 u16 u17 u18 u19 u20 u21 u22 u23 u24 u26 u27 u28 u29 u30 u31 u32 u33 u34 u35 u36 u37 u38 u39 u40 u41 u42 u43 u44 u45 u46 u47 u48 u49 u50 u51 u52 u53 u54 u55 u56 u57 u58 u59 u60 u61 u62 u63 u64 u66 u67 u68 u69 u70 u72 u73 u74 u75 u76 u77 u78 u79 u80 u81 u82 u83 u84 u85 u86 u87 u88 u89 u90 u91 u92 u93 u94 u95 u96 u97 u98 u99 u100 u102 u103 u104 u105 u106 u107 u108 u109 u110 u111 u112 u113 u114 u115 u116 u117 u118 u119 u120 u121 u122 u123 u124 u125 u126 u127 u128 u129 u130 u131 u132 u133 u134 u135 u136 u137 u138 u139 u141 u142 u143 u144 u145 u146 u147 u148 u149 u150 u151 u152 u153 u154 u155 u156 u157 u158 u159 u160 u161 u162 u163 u164 u165 u166 u167 u168 u169 u170 u171 u172 u173 u174 u175 u176 u177 u178 u179 u180 u181 u182 u183 u184 u185 u186 u187 u188 u189 u190 u191 u192 u193 u194 u195 u196 u197 u198 u199 u200 u201 u202 u203 u204 u205 u206 u207))
(define-constant PUBLIC-BATCH-2 (list u208 u209 u210 u211 u212 u213 u214 u215 u216 u217 u218 u219 u220 u221 u222 u223 u224 u225 u226 u227 u228 u229 u230 u231 u232 u233 u234 u235 u236 u237 u238 u239 u240 u241 u242 u243 u244 u245 u246 u247 u248 u249 u250 u251 u252 u253 u254 u255 u256 u257 u258 u259 u260 u261 u262 u263 u266 u267 u268 u269 u270 u271 u272 u273 u274 u275 u276 u277 u278 u279 u280 u281 u282 u283 u284 u285 u286 u287 u288 u289 u290 u291 u292 u293 u294 u295 u296 u297 u298 u299 u300 u301 u302 u304 u305 u306 u307 u308 u309 u310 u311 u312 u313 u314 u315 u316 u318 u319 u320 u321 u322 u323 u324 u325 u327 u328 u329 u330 u331 u332 u333 u334 u335 u336 u337 u338 u339 u340 u342 u343 u344 u345 u346 u347 u348 u349 u350 u351 u352 u353 u354 u356 u357 u358 u359 u360 u361 u362 u363 u364 u365 u366 u367 u368 u369 u370 u371 u372 u373 u374 u375 u376 u377 u378 u379 u380 u381 u382 u383 u384 u385 u386 u387 u388 u389 u391 u392 u393 u394 u395 u396 u397 u398 u399 u400 u401 u402 u403 u404 u405 u406 u407 u408 u409 u410 u411 u412 u413 u414 u415))
(define-constant PUBLIC-BATCH-3 (list u416 u417 u418 u419 u420 u421 u422 u423 u424 u425 u426 u427 u428 u429 u430 u431 u432 u433 u434 u435 u436 u437 u438 u439 u440 u441 u442 u444 u445 u446 u447 u448 u449 u450 u451 u452 u453 u454 u455 u456 u457 u458 u459 u460 u461 u462 u463 u464 u465 u466 u467 u468 u469 u470 u471 u472 u473 u474 u475 u476 u477 u478 u479 u480 u481 u482 u483 u484 u485 u486 u487 u488 u489 u490 u491 u492 u493 u494 u495 u496 u497 u498 u499 u500 u501 u502 u503 u504 u505 u506 u507 u508 u509 u510 u511 u512 u513 u514 u515 u516 u517 u518 u519 u520 u521 u522 u523 u524 u525 u526 u527 u528 u529 u531 u532 u533 u534 u535 u536 u537 u538 u539 u540 u541 u542 u543 u544 u545 u546 u547 u548 u549 u550 u551 u552 u553 u554 u555 u556 u557 u559 u560 u561 u562 u563 u564 u565 u566 u567 u568 u569 u570 u571 u572 u573 u574 u575 u576 u577 u578 u579 u580 u581 u582 u583 u584 u585 u586 u587 u588 u589 u590 u591 u592 u593 u594 u595 u596 u597 u598 u599 u601 u602 u603 u604 u605 u606 u607 u608 u609 u610 u611 u612 u613 u614 u615 u616 u617 u618 u619))
(define-constant PUBLIC-BATCH-4 (list u620 u621 u622 u623 u624 u625 u626 u627 u628 u629 u630 u631 u632 u633 u634 u635 u636 u637 u638 u639 u640 u641 u642 u643 u644 u645 u646 u647 u648 u649 u650 u651 u652 u653 u654 u655 u656 u657 u658 u659 u660 u661 u662 u663 u664 u665 u666 u667 u668 u669 u670 u671 u672 u673 u674 u675 u676 u677 u678 u679 u680 u681 u682 u683 u684 u685 u686 u687 u688 u689 u690 u691 u692 u693 u694 u695 u696 u697 u698 u699 u700 u701 u702 u703 u704 u705 u706 u707 u708 u709 u710 u711 u712 u713 u714 u715 u716 u717 u718 u719 u720 u721 u722 u723 u724 u725 u726 u727 u728 u729 u730 u731 u732 u733 u734 u735 u736 u737 u738 u739 u740 u741 u742 u743 u744 u745 u746 u747 u748 u749 u750 u751 u752 u753 u754 u755 u756 u757 u758 u759 u760 u761 u762 u763 u764 u765 u766 u767 u768 u769 u770 u771 u772 u773 u774 u775 u776 u777 u778 u779 u780 u781 u782 u783 u784 u785 u786 u787 u788 u789 u790 u791 u792 u793 u794 u795 u796 u797 u798 u799 u800 u801 u802 u803 u804 u805 u806 u807 u808 u809 u810 u811 u812 u813 u814 u815 u816 u818 u819 u820))
(define-constant PUBLIC-BATCH-5 (list u821 u822 u823 u824 u825 u826 u827 u828 u829 u830 u831 u832 u833 u834 u836 u837 u838 u839 u840 u841 u842 u843 u844 u845 u846 u847 u848 u850 u851 u852 u853 u854 u855 u856 u857 u858 u859 u860 u861 u862 u863 u864 u865 u866 u867 u868 u869 u870 u871 u872 u873 u874 u875 u876 u877 u878 u879 u880 u881 u882 u883 u884 u885 u886 u887 u888 u889 u890 u891 u892 u893 u894 u895 u897 u898 u899 u900 u902 u903 u904 u905 u906 u907 u908 u909 u910 u911 u912 u913 u914 u915 u916 u917 u918 u919 u920 u921 u922 u923 u924 u925 u926 u927 u928 u929 u930 u931 u932 u933 u934 u935 u936 u938 u939 u940 u941 u942 u943 u944 u945 u946 u947 u948 u949 u950 u951 u952 u953 u954 u955 u956 u958 u959 u960 u961 u963 u964 u965 u966 u967 u968 u969 u970 u971 u972 u973 u974 u975 u976 u977 u978 u979 u980 u981 u983 u985 u986 u987 u988 u989 u990 u991 u992 u993 u994 u995 u996 u997 u998 u999 u1001 u1002 u1003 u1004 u1005 u1006 u1007 u1008 u1009 u1010 u1011 u1012 u1013 u1014 u1015 u1016 u1017 u1018 u1019 u1020 u1021 u1022 u1023 u1024 u1026 u1027 u1028 u1029 u1030 u1031))
(define-constant PUBLIC-BATCH-6 (list u1032 u1033 u1034 u1035 u1036 u1037 u1038 u1039 u1040 u1041 u1042 u1043 u1044 u1045 u1046 u1047 u1048 u1049 u1050 u1051 u1052 u1053 u1054 u1055 u1056 u1057 u1058 u1059 u1060 u1061 u1062 u1063 u1064 u1065 u1066 u1067 u1068 u1069 u1070 u1071 u1072 u1073 u1074 u1075 u1076 u1077 u1078 u1079 u1080 u1081 u1082 u1083 u1084 u1085 u1086 u1087 u1088 u1089 u1090 u1091 u1092 u1093 u1094 u1095 u1096 u1097 u1098 u1099 u1100 u1101 u1102 u1103 u1104 u1105 u1106 u1107 u1108 u1109 u1110 u1111 u1112 u1113 u1114 u1115 u1116 u1117 u1118 u1119 u1120 u1121 u1122 u1123 u1124 u1125 u1126 u1127 u1129 u1130 u1131 u1132 u1133 u1134 u1135 u1136 u1137 u1138 u1139 u1140 u1142 u1143 u1144 u1145 u1146 u1147 u1148 u1150 u1151 u1152 u1153 u1154 u1155 u1156 u1157 u1158 u1159 u1160 u1161 u1162 u1163 u1164 u1165 u1166 u1167 u1168 u1169 u1170 u1171 u1172 u1173 u1174 u1175 u1176 u1177 u1178 u1179 u1180 u1181 u1183 u1184 u1185 u1186 u1187 u1188 u1189 u1190 u1191 u1192 u1193 u1194 u1195 u1196 u1197 u1198 u1199 u1200 u1201 u1202 u1203 u1204 u1205 u1206 u1207 u1208 u1210 u1211 u1212 u1213 u1214 u1215 u1216 u1217 u1218 u1219 u1220 u1221 u1222 u1223 u1224 u1225 u1226 u1227 u1228 u1229 u1230 u1231 u1232 u1233 u1234 u1235 u1236))
(define-constant PUBLIC-BATCH-7 (list u1237 u1238 u1239 u1240 u1241 u1242 u1243 u1244 u1245 u1246 u1247 u1248 u1249 u1250 u1251 u1252 u1253 u1254 u1255 u1256 u1257 u1258 u1259 u1260 u1261 u1262 u1263 u1264 u1265 u1266 u1267 u1268 u1269 u1270 u1271 u1272 u1273 u1274 u1275 u1276 u1277 u1278 u1280 u1281 u1282 u1283 u1284 u1285 u1286 u1287 u1288 u1289 u1290 u1291 u1292 u1293 u1294 u1295 u1296 u1297 u1298 u1299 u1300 u1301 u1302 u1304 u1305 u1306 u1307 u1308 u1309 u1310 u1311 u1312 u1313 u1314 u1315 u1316 u1317 u1318 u1319 u1320 u1321 u1322 u1323 u1324 u1325 u1326 u1327 u1328 u1329 u1330 u1331 u1332 u1333 u1334 u1335 u1336 u1337 u1338 u1339 u1340 u1341 u1342 u1343 u1344 u1345 u1346 u1347 u1348 u1349 u1350 u1351 u1352 u1353 u1354 u1355 u1356 u1357 u1358 u1359 u1360 u1361 u1362 u1363 u1364 u1365 u1366 u1367 u1368 u1369 u1370 u1371 u1372 u1373 u1374 u1375 u1376 u1377 u1378 u1379 u1380 u1381 u1382 u1383 u1384 u1385 u1386 u1387 u1388 u1389 u1390 u1391 u1392 u1393 u1394 u1395 u1396 u1397 u1398 u1399 u1400 u1401 u1402 u1403 u1404 u1405 u1407 u1408 u1409 u1410 u1411 u1412 u1413 u1414 u1415 u1416 u1417 u1418 u1419 u1421 u1422 u1423 u1424 u1425 u1426 u1427 u1428 u1429 u1430 u1431 u1432 u1433 u1434 u1435 u1436 u1437 u1438 u1439 u1440))
(define-constant PUBLIC-BATCH-8 (list u1441 u1442 u1443 u1444 u1445 u1446 u1447 u1448 u1449 u1450 u1451 u1452 u1453 u1454 u1455 u1456 u1457 u1458 u1459 u1460 u1461 u1462 u1463 u1464 u1465 u1466 u1467 u1468 u1469 u1470 u1471 u1472 u1473 u1474 u1475 u1476 u1477 u1478 u1479 u1481 u1482 u1483 u1484 u1486 u1487 u1488 u1489 u1490 u1491 u1492 u1493 u1494 u1495 u1496 u1497 u1498 u1499 u1500 u1501 u1502 u1503 u1504 u1505 u1506 u1507 u1509 u1510 u1511 u1512 u1513 u1514 u1515 u1516 u1517 u1518 u1519 u1520 u1521 u1522 u1523 u1524 u1525 u1526 u1527 u1528 u1529 u1530 u1531 u1532 u1533 u1534 u1535 u1536 u1537 u1538 u1539 u1540 u1542 u1543 u1545 u1546 u1547 u1548 u1549 u1550 u1551 u1552 u1553 u1554 u1555 u1556 u1557 u1558 u1559 u1560 u1561 u1562 u1563 u1564 u1565 u1566 u1567 u1568 u1569 u1570 u1571 u1572 u1573 u1574 u1575 u1576 u1577 u1578 u1579 u1580 u1581 u1582 u1583 u1584 u1585 u1586 u1587 u1588 u1589 u1590 u1591 u1592 u1593 u1594 u1595 u1596 u1597 u1598 u1599 u1600 u1601 u1602 u1603 u1604 u1605 u1606 u1607 u1608 u1609 u1610 u1611 u1612 u1613 u1614 u1615 u1616 u1617 u1618 u1619 u1620 u1622 u1623 u1624 u1625 u1626 u1627 u1628 u1629 u1630 u1631 u1632 u1633 u1634 u1635 u1636 u1637 u1638 u1639 u1640 u1641 u1642 u1643 u1645 u1646 u1647))
(define-constant PUBLIC-BATCH-9 (list u1648 u1649 u1650 u1651 u1652 u1653 u1654 u1655 u1656 u1657 u1658 u1659 u1660 u1661 u1662 u1663 u1664 u1665 u1666 u1667 u1668 u1669 u1670 u1671 u1672 u1673 u1674 u1675 u1676 u1677 u1678 u1679 u1680 u1681 u1682 u1683 u1684 u1685 u1686 u1687 u1688 u1689 u1690 u1691 u1692 u1693 u1694 u1695 u1696 u1697 u1698 u1700 u1701 u1702 u1703 u1704 u1705 u1706 u1707 u1708 u1709 u1710 u1711 u1712 u1713 u1714 u1715 u1717 u1718 u1719 u1720 u1721 u1722 u1723 u1724 u1725 u1726 u1727 u1728 u1729 u1730 u1731 u1732 u1733 u1734 u1735 u1736 u1737 u1738 u1739 u1740 u1741 u1742 u1743 u1744 u1745 u1746 u1747 u1748 u1749 u1750 u1751 u1752 u1753 u1754 u1755 u1756 u1757 u1758 u1759 u1760 u1761 u1762 u1763 u1764 u1765 u1766 u1767 u1768 u1769 u1770 u1772 u1773 u1774 u1775 u1776 u1777 u1778 u1779 u1780 u1781 u1783 u1784 u1785 u1786 u1787 u1788 u1789 u1790 u1791 u1792 u1793 u1794 u1795 u1796 u1797 u1798 u1799 u1800 u1801 u1802 u1803 u1804 u1805 u1806 u1807 u1808 u1809 u1810 u1811 u1812 u1813 u1814 u1815 u1816 u1817 u1818 u1819 u1820 u1821 u1822 u1823 u1824 u1825 u1826 u1827 u1828 u1829 u1830 u1831 u1832 u1833 u1834 u1835 u1836 u1837 u1838 u1839 u1840 u1841 u1842 u1843 u1844 u1845 u1846 u1847 u1848 u1849 u1850 u1851))
(define-constant PUBLIC-BATCH-10 (list u1852 u1853 u1854 u1855 u1856 u1857 u1858 u1859 u1860 u1861 u1862 u1863 u1864 u1865 u1866 u1867 u1868 u1869 u1870 u1871 u1872 u1873 u1874 u1875 u1876 u1877 u1878 u1879 u1880 u1881 u1882 u1883 u1884 u1885 u1886 u1887 u1888 u1889 u1890 u1891 u1892 u1893 u1894 u1895 u1896 u1897 u1898 u1899 u1900 u1901 u1902 u1903 u1904 u1905 u1906 u1907 u1908 u1909 u1910 u1911 u1912 u1913 u1914 u1915 u1916 u1917 u1918 u1919 u1920 u1921 u1922 u1923 u1924 u1925 u1926 u1927 u1928 u1929 u1930 u1931 u1932 u1933 u1934 u1935 u1936 u1937 u1938 u1939 u1940 u1941 u1942 u1943 u1944 u1945 u1946 u1947 u1948 u1949 u1950 u1951 u1952 u1953 u1954 u1955 u1956 u1957 u1958 u1959 u1960 u1961 u1962 u1963 u1964 u1965 u1966 u1967 u1968 u1969 u1970 u1971 u1972 u1973 u1974 u1975 u1976 u1977 u1978 u1979 u1980 u1981 u1982 u1983 u1984 u1985 u1986 u1987 u1988 u1989 u1990 u1991 u1992 u1993 u1994 u1995 u1996 u1997 u1998 u1999 u2000 u2001 u2002 u2003 u2004 u2005 u2006 u2007 u2008 u2009 u2010 u2011 u2012 u2013 u2014 u2015 u2016 u2017 u2018 u2019 u2021 u2022 u2023 u2024 u2025 u2026 u2027 u2028 u2029 u2030 u2031 u2033 u2034 u2035 u2036 u2037 u2038 u2039 u2040 u2041 u2042 u2043 u2044 u2045 u2046 u2047 u2048 u2049 u2050 u2051 u2052 u2053))
(define-constant PUBLIC-BATCH-11 (list u2054 u2055 u2056 u2057 u2058 u2059 u2060 u2061 u2063 u2064 u2065 u2066 u2067 u2068 u2069 u2070 u2071 u2072 u2073 u2074 u2075 u2076 u2077 u2078 u2079 u2080 u2081 u2082 u2083 u2084 u2085 u2086 u2087 u2088 u2089 u2090 u2091 u2092 u2093 u2094 u2095 u2096 u2097 u2098 u2099 u2100 u2101 u2103 u2104 u2105 u2106 u2107 u2108 u2109 u2110 u2111 u2112 u2113 u2114 u2115 u2116 u2119 u2120 u2121 u2122 u2123 u2124 u2125 u2126 u2127 u2128 u2129 u2130 u2131 u2132 u2133 u2134 u2135 u2136 u2137 u2138 u2139 u2140 u2141 u2142 u2143 u2144 u2145 u2146 u2147 u2148 u2149 u2150 u2151 u2152 u2153 u2154 u2155 u2156 u2157 u2158 u2159 u2160 u2161 u2162 u2163 u2164 u2165 u2166 u2167 u2168 u2169 u2170 u2171 u2172 u2173 u2174 u2175 u2176 u2178 u2179 u2180 u2181 u2182 u2183 u2184 u2185 u2186 u2187 u2188 u2189 u2190 u2191 u2192 u2193 u2194 u2195 u2196 u2197 u2198 u2199 u2200 u2201 u2202 u2203 u2204 u2205 u2206 u2207 u2208 u2209 u2210 u2211 u2212 u2213 u2214 u2215 u2216 u2217 u2218 u2219 u2220 u2221 u2222 u2223 u2224 u2225 u2226 u2227 u2228 u2229 u2230 u2231 u2232 u2233 u2234 u2236 u2237 u2238 u2239 u2240 u2241 u2242 u2243 u2244 u2245 u2246 u2247 u2248 u2249 u2250 u2251 u2252 u2253 u2254 u2255 u2256 u2257 u2258 u2259))
(define-constant PUBLIC-BATCH-12 (list u2260 u2261 u2262 u2263 u2264 u2265 u2267 u2268 u2269 u2270 u2271 u2272 u2273 u2274 u2275 u2276 u2277 u2278 u2279 u2280 u2281 u2282 u2283 u2284 u2285 u2286 u2287 u2288 u2289 u2290 u2291 u2292 u2293 u2294 u2295 u2296 u2297 u2298 u2299 u2300 u2301 u2302 u2303 u2304 u2305 u2306 u2307 u2308 u2309 u2310 u2311 u2312 u2313 u2314 u2315 u2316 u2317 u2318 u2319 u2320 u2321 u2322 u2323 u2324 u2325 u2326 u2327 u2328 u2329 u2330 u2331 u2332 u2333 u2334 u2335 u2336 u2337 u2338 u2339 u2340 u2341 u2342 u2343 u2344 u2345 u2346 u2347 u2348 u2349 u2350 u2351 u2352 u2353 u2354 u2355 u2356 u2358 u2359 u2360 u2361 u2362 u2363 u2364 u2365 u2366 u2367 u2368 u2369 u2370 u2371 u2372 u2373 u2374 u2375 u2376 u2377 u2378 u2379 u2380 u2381 u2382 u2383 u2384 u2385 u2386 u2387 u2388 u2389 u2390 u2391 u2392 u2393 u2394 u2395 u2396 u2397 u2398 u2399 u2400 u2401 u2402 u2403 u2404 u2405 u2406 u2407 u2408 u2409 u2410 u2411 u2412 u2413 u2414 u2415 u2416 u2417 u2418 u2419 u2420 u2421 u2422 u2423 u2424 u2425 u2426 u2427 u2428 u2429 u2430 u2431 u2432 u2433 u2434 u2435 u2436 u2437 u2438 u2439 u2440 u2441 u2442 u2443 u2444 u2445 u2446 u2447 u2448 u2449 u2450 u2451 u2452 u2453 u2454 u2455 u2456 u2457 u2458 u2459 u2460 u2461))
(define-constant PUBLIC-BATCH-13 (list u2462 u2464 u2466 u2467 u2468 u2469 u2470 u2471 u2472 u2473 u2474 u2475 u2476 u2477 u2478 u2479 u2480 u2481 u2482 u2483 u2484 u2486 u2487 u2488 u2489 u2490 u2492 u2493 u2494 u2495 u2496 u2497 u2498 u2499 u2500 u2501 u2502 u2503 u2504 u2505 u2506 u2507 u2508 u2509 u2510 u2511 u2512 u2513 u2514 u2515 u2516 u2517 u2518 u2519 u2520 u2521 u2522 u2523 u2524 u2525 u2526 u2527 u2528 u2529 u2530 u2531 u2532 u2533 u2534 u2535 u2536 u2537 u2538 u2539 u2540 u2541 u2542 u2543 u2544 u2545 u2546 u2547 u2548 u2549 u2550 u2551 u2552 u2553 u2554 u2555 u2556 u2557 u2558 u2559 u2560 u2561 u2562 u2563 u2564 u2565 u2566 u2568 u2569 u2570 u2571 u2572 u2573 u2574 u2575 u2576 u2577 u2578 u2579 u2580 u2581 u2582 u2583 u2584 u2585 u2586 u2587 u2588 u2589 u2590 u2591 u2592 u2593 u2595 u2596 u2597 u2598 u2599 u2600 u2601 u2602 u2603 u2604 u2605 u2606 u2607 u2608 u2609 u2610 u2611 u2612 u2613 u2614 u2616 u2617 u2618 u2619 u2620 u2621 u2622 u2623 u2624 u2625 u2626 u2627 u2629 u2630 u2631 u2632 u2633 u2634 u2635 u2636 u2637 u2638 u2640 u2641 u2642 u2644 u2645 u2646 u2647 u2648 u2649 u2650 u2651 u2652 u2653 u2654 u2655 u2656 u2657 u2658 u2659 u2660 u2661 u2662 u2663 u2664 u2665 u2666 u2667 u2668 u2669 u2670 u2671))
(define-constant PUBLIC-BATCH-14 (list u2672 u2673 u2674 u2675 u2676 u2677 u2678 u2679 u2680 u2681 u2682 u2683 u2684 u2685 u2686 u2687 u2688 u2689 u2690 u2691 u2692 u2693 u2694 u2695 u2696 u2697 u2698 u2699 u2700 u2701 u2702 u2703 u2704 u2705 u2706 u2707 u2708 u2709 u2710 u2711 u2712 u2713 u2714 u2715 u2716 u2717 u2718 u2719 u2720 u2721 u2722 u2723 u2724 u2725 u2726 u2727 u2728 u2729 u2730 u2731 u2733 u2734 u2735 u2736 u2737 u2738 u2739 u2740 u2741 u2742 u2743 u2744 u2745 u2746 u2747 u2748 u2749 u2750 u2751 u2752 u2753 u2754 u2755 u2756 u2757 u2759 u2760 u2761 u2762 u2763 u2764 u2765 u2766 u2767 u2768 u2769 u2770 u2771 u2772 u2773 u2774 u2775 u2776 u2777 u2778 u2779 u2780 u2781 u2782 u2783 u2784 u2785 u2786 u2787 u2788 u2789 u2790 u2791 u2792 u2793 u2794 u2795 u2796 u2797 u2798 u2799 u2800 u2801 u2802 u2803 u2804 u2805 u2806 u2807 u2808 u2809 u2810 u2811 u2812 u2813 u2814 u2815 u2816 u2817 u2818 u2819 u2820 u2821 u2822 u2823 u2824 u2825 u2826 u2827 u2828 u2829 u2830 u2831 u2832 u2833 u2834 u2835 u2836 u2837 u2838 u2839 u2840 u2841 u2842 u2843 u2844 u2845 u2846 u2847 u2848 u2849 u2850 u2851 u2852 u2853 u2854 u2855 u2856 u2857 u2858 u2859 u2860 u2861 u2862 u2863 u2864 u2865 u2866 u2867 u2868 u2869 u2871 u2872 u2873 u2874))
(define-constant PUBLIC-BATCH-15 (list u2875 u2876 u2877 u2878 u2879 u2880 u2881 u2882 u2883 u2884 u2885 u2886 u2887 u2888 u2889 u2890 u2891 u2892 u2893 u2894 u2895 u2896 u2897 u2898 u2899 u2900 u2901 u2902 u2903 u2904 u2905 u2906 u2908 u2909 u2910 u2911 u2912 u2913 u2914 u2915 u2916 u2917 u2918 u2919 u2920 u2921 u2922 u2923 u2924 u2925 u2926 u2927 u2928 u2929 u2930 u2931 u2932 u2933 u2934 u2935 u2936 u2937 u2938 u2939 u2940 u2941 u2942 u2943 u2944 u2945 u2946 u2947 u2948 u2949 u2950 u2951 u2952 u2953 u2954 u2955 u2956 u2958 u2959 u2960 u2961 u2962 u2963 u2964 u2965 u2966 u2967 u2968 u2969 u2970 u2971 u2972 u2973 u2974 u2975 u2976 u2977 u2978 u2979 u2980 u2981 u2982 u2983 u2984 u2985 u2986 u2987 u2988 u2989 u2990 u2991 u2992 u2993 u2994 u2995 u2996 u2997 u2998 u2999 u3000 u3001 u3002 u3003 u3004 u3005 u3006 u3007 u3008 u3009 u3010 u3011 u3012 u3013 u3014 u3015 u3016 u3017 u3018 u3019 u3020 u3021 u3022 u3023 u3024 u3025 u3026 u3027 u3028 u3029 u3030 u3031 u3032 u3033 u3034 u3035 u3036 u3037 u3038 u3039 u3040 u3041 u3042 u3043 u3044 u3045 u3046 u3047 u3048 u3049 u3050 u3051 u3052 u3053 u3054 u3055 u3056 u3057 u3058 u3059 u3060 u3061 u3062 u3063 u3064 u3065 u3066 u3067 u3068 u3069 u3070 u3071 u3072 u3073 u3074 u3075 u3076))
(define-constant PUBLIC-BATCH-16 (list u3077 u3078 u3079 u3080 u3081 u3082 u3083 u3084 u3085 u3086 u3087 u3088 u3089 u3090 u3091 u3092 u3093 u3094 u3095 u3096 u3097 u3098 u3099 u3100 u3101 u3102 u3103 u3104 u3105 u3106 u3107 u3108 u3109 u3110 u3111 u3112 u3113 u3114 u3115 u3116 u3117 u3118 u3119 u3120 u3121 u3122 u3123 u3124 u3125 u3126 u3127 u3128 u3129 u3130 u3131 u3132 u3133 u3134 u3135 u3136 u3137 u3138 u3140 u3141 u3142 u3143 u3144 u3145 u3146 u3147 u3148 u3149 u3150 u3151 u3152 u3153 u3154 u3155 u3156 u3157 u3158 u3159 u3160 u3161 u3162 u3163 u3164 u3165 u3166 u3167 u3168 u3169 u3170 u3171 u3172 u3174 u3175 u3176 u3177 u3178 u3179 u3180 u3181 u3182 u3183 u3184 u3185 u3186 u3187 u3188 u3189 u3190 u3191 u3192 u3193 u3194 u3195 u3196 u3199 u3200 u3201 u3202 u3203 u3205 u3206 u3207 u3208 u3209 u3210 u3211 u3212 u3213 u3214 u3215 u3216 u3217 u3218 u3219 u3220 u3221 u3222 u3223 u3224 u3225 u3226 u3227 u3228 u3229 u3230 u3232 u3233 u3234 u3235 u3236 u3237 u3238 u3239 u3240 u3241 u3242 u3243 u3244 u3245 u3246 u3247 u3248 u3249 u3250 u3251 u3252 u3253 u3254 u3255 u3256 u3257 u3258 u3259 u3260 u3261 u3262 u3263 u3264 u3265 u3266 u3267 u3268 u3269 u3270 u3271 u3272 u3273 u3274 u3275 u3276 u3277 u3278 u3279 u3280 u3281 u3282))
(define-constant PUBLIC-BATCH-17 (list u3283 u3284 u3285 u3286 u3287 u3288 u3289 u3290 u3291 u3292 u3293 u3294 u3295 u3296 u3297 u3299 u3300 u3301 u3302 u3303 u3304 u3305 u3306 u3307 u3308 u3309 u3310 u3311 u3312 u3313 u3314 u3315 u3316 u3317 u3318 u3319 u3320 u3321 u3323 u3324 u3325 u3326 u3327 u3328 u3329 u3330 u3331 u3332 u3333 u3334 u3335 u3336 u3337 u3338 u3339 u3340 u3341 u3342 u3343 u3344 u3345 u3346 u3347 u3348 u3349 u3350 u3351 u3352 u3353 u3354 u3355 u3356 u3357 u3358 u3359 u3360 u3361 u3362 u3363 u3364 u3365 u3366 u3367 u3368 u3369 u3370 u3371 u3372 u3373 u3374 u3375 u3376 u3377 u3378 u3379 u3380 u3381 u3382 u3383 u3384 u3385 u3386 u3387 u3388 u3389 u3390 u3391 u3392 u3393 u3394 u3395 u3396 u3397 u3398 u3399 u3400 u3401 u3402 u3403 u3404 u3405 u3406 u3407 u3408 u3409 u3411 u3412 u3413 u3414 u3415 u3416 u3417 u3418 u3419 u3420 u3421 u3422 u3423 u3424 u3425 u3426 u3427 u3428 u3429 u3430 u3431 u3432 u3433 u3434 u3435 u3436 u3437 u3438 u3439 u3440 u3441 u3442 u3443 u3444 u3445 u3446 u3447 u3448 u3449 u3450 u3451 u3452 u3453 u3454 u3455 u3456 u3457 u3458 u3459 u3460 u3461 u3462 u3463 u3464 u3465 u3466 u3467 u3468 u3469 u3470 u3471 u3472 u3473 u3474 u3475 u3476 u3477 u3478 u3479 u3480 u3481 u3482 u3483 u3484 u3485))
(define-constant PUBLIC-BATCH-18 (list u3486 u3487 u3488 u3489 u3490 u3491 u3492 u3493 u3494 u3495 u3496 u3497 u3498 u3499 u3500 u3501 u3502 u3503 u3504 u3505 u3506 u3507 u3508 u3509 u3510 u3511 u3512 u3513 u3514 u3515 u3516 u3517 u3518 u3519 u3520 u3521 u3522 u3523 u3524 u3525 u3526 u3528 u3529 u3530 u3531 u3532 u3533 u3534 u3535 u3536 u3537 u3538 u3539 u3540 u3541 u3542 u3543 u3544 u3545 u3546 u3547 u3548 u3549 u3550 u3551 u3552 u3553 u3554 u3555 u3556 u3557 u3558 u3559 u3560 u3561 u3562 u3563 u3564 u3565 u3566 u3567 u3568 u3571 u3572 u3573 u3574 u3575 u3576 u3577 u3578 u3579 u3580 u3581 u3582 u3583 u3584 u3585 u3586 u3587 u3588 u3589 u3590 u3591 u3592 u3593 u3594 u3595 u3596 u3597 u3599 u3600 u3601 u3602 u3603 u3604 u3605 u3606 u3607 u3608 u3609 u3610 u3611 u3612 u3613 u3614 u3615 u3616 u3617 u3618 u3619 u3620 u3621 u3622 u3623 u3624 u3625 u3626 u3627 u3628 u3629 u3630 u3631 u3632 u3633 u3634 u3635 u3636 u3637 u3638 u3639 u3640 u3641 u3642 u3643 u3644 u3645 u3646 u3647 u3648 u3649 u3650 u3651 u3652 u3653 u3654 u3655 u3656 u3657 u3658 u3659 u3660 u3661 u3662 u3663 u3664 u3665 u3666 u3667 u3668 u3669 u3670 u3671 u3672 u3673 u3674 u3675 u3676 u3677 u3678 u3679 u3680 u3681 u3682 u3683 u3684 u3685 u3686 u3687 u3688 u3689))
(define-constant PUBLIC-BATCH-19 (list u3690 u3691 u3692 u3693 u3695 u3696 u3697 u3698 u3699 u3700 u3701 u3702 u3703 u3704 u3705 u3706 u3707 u3708 u3709 u3710 u3711 u3712 u3713 u3714 u3715 u3716 u3717 u3718 u3720 u3721 u3723 u3724 u3725 u3726 u3727 u3728 u3729 u3731 u3732 u3733 u3734 u3735 u3736 u3737 u3738 u3739 u3740 u3741 u3742 u3743 u3744 u3745 u3746 u3747 u3748 u3749 u3750 u3751 u3752 u3753 u3754 u3755 u3756 u3757 u3758 u3759 u3760 u3761 u3762 u3763 u3764 u3765 u3766 u3767 u3768 u3769 u3770 u3771 u3772 u3773 u3774 u3775 u3776 u3777 u3778 u3779 u3780 u3781 u3782 u3783 u3784 u3785 u3786 u3787 u3788 u3789 u3790 u3791 u3792 u3793 u3794 u3795 u3796 u3797 u3798 u3799 u3800 u3801 u3802 u3803 u3804 u3805 u3806 u3807 u3808 u3809 u3810 u3811 u3812 u3813 u3814 u3816 u3817 u3818 u3819 u3820 u3821 u3822 u3823 u3824 u3825 u3826 u3827 u3828 u3829 u3830 u3831 u3833 u3834 u3835 u3836 u3837 u3838 u3839 u3840 u3841 u3842 u3843 u3844 u3845 u3846 u3847 u3848 u3849 u3850 u3851 u3852 u3853 u3854 u3855 u3856 u3857 u3858 u3859 u3860 u3861 u3862 u3863 u3864 u3865 u3866 u3867 u3868 u3869 u3870 u3871 u3872 u3873 u3874 u3876 u3877 u3878 u3879 u3880 u3881 u3882 u3883 u3884 u3885 u3886 u3887 u3888 u3889 u3890 u3891 u3892 u3893 u3894 u3895 u3896))
(define-constant PUBLIC-BATCH-20 (list u3897 u3898 u3899 u3900 u3902 u3903 u3904 u3905 u3906 u3908 u3909 u3910 u3911 u3912 u3913 u3914 u3915 u3916 u3917 u3918 u3919 u3920 u3921 u3922 u3923 u3924 u3925 u3927 u3928 u3929 u3930 u3931 u3932 u3933 u3934 u3935 u3936 u3937 u3938 u3939 u3940 u3941 u3942 u3943 u3944 u3945 u3946 u3947 u3948 u3949 u3950 u3951 u3952 u3953 u3954 u3955 u3956 u3957 u3958 u3959 u3960 u3961 u3962 u3964 u3965 u3966 u3967 u3968 u3969 u3970 u3971 u3972 u3973 u3974 u3975 u3976 u3977 u3978 u3979 u3980 u3981 u3982 u3983 u3984 u3985 u3986 u3987 u3988 u3989 u3990 u3991 u3992 u3993 u3994 u3995 u3996 u3997 u3998 u3999 u4000 u4001 u4002 u4003 u4004 u4005 u4006 u4007 u4008 u4009 u4010 u4011 u4012 u4013 u4014 u4015 u4016 u4017 u4018 u4019 u4020 u4021 u4022 u4023 u4024 u4025 u4026 u4027 u4028 u4029 u4030 u4031 u4032 u4033 u4034 u4035 u4037 u4038 u4039 u4040 u4041 u4042 u4043 u4044 u4045 u4046 u4047 u4048 u4049 u4050 u4051 u4052 u4053 u4054 u4055 u4056 u4057 u4058 u4060 u4061 u4062 u4063 u4064 u4065 u4066 u4067 u4068 u4069 u4070 u4071 u4072 u4073 u4074 u4075 u4076 u4077 u4078 u4079 u4080 u4081 u4082 u4083 u4084 u4085 u4086 u4087 u4088 u4089 u4090 u4091 u4092 u4093 u4094 u4095 u4096 u4097 u4098 u4099 u4100 u4101 u4102))
(define-constant PUBLIC-BATCH-21 (list u4103 u4104 u4105 u4106 u4107 u4108 u4109 u4110 u4111 u4112 u4113 u4114 u4115 u4116 u4117 u4118 u4119 u4120 u4121 u4122 u4123 u4124 u4125 u4126 u4127 u4128 u4129 u4130 u4131 u4132 u4133 u4134 u4135 u4136 u4137 u4138 u4139 u4140 u4141 u4142 u4143 u4144 u4145 u4146 u4147 u4148 u4149 u4150 u4151 u4152 u4153 u4154 u4155 u4156 u4157 u4158 u4159 u4160 u4161 u4162 u4163 u4164 u4165 u4166 u4167 u4168 u4169 u4170 u4171 u4172 u4173 u4174 u4175 u4176 u4177 u4178 u4179 u4180 u4181 u4182 u4183 u4184 u4185 u4186 u4187 u4188 u4189 u4190 u4191 u4192 u4193 u4194 u4195 u4196 u4197 u4198 u4199 u4200 u4201 u4202 u4203 u4204 u4205 u4206 u4207 u4208 u4209 u4210 u4211 u4212 u4213 u4214 u4215 u4216 u4217 u4218 u4219 u4220 u4221 u4222 u4223 u4224 u4225 u4226 u4227 u4229 u4230 u4231 u4232 u4233 u4234 u4235 u4236 u4237 u4238 u4239 u4240 u4241 u4242 u4243 u4245 u4246 u4247 u4248 u4249 u4250 u4251 u4252 u4253 u4254 u4255 u4256 u4257 u4258 u4259 u4260 u4261 u4262 u4263 u4264 u4265 u4266 u4267 u4268 u4269 u4270 u4271 u4272 u4273 u4274 u4275 u4276 u4277 u4278 u4279 u4280 u4281 u4282 u4283 u4284 u4285 u4286 u4287 u4288 u4289 u4290 u4291 u4292 u4293 u4294 u4295 u4296 u4297 u4298 u4299 u4300 u4301 u4302 u4303 u4304))
(define-constant PUBLIC-BATCH-22 (list u4305 u4306 u4307 u4308 u4309 u4310 u4311 u4312 u4313 u4315 u4316 u4317 u4318 u4319 u4321 u4322 u4323 u4324 u4325 u4326 u4327 u4328 u4329 u4330 u4331 u4332 u4333 u4334 u4335 u4336 u4337 u4338 u4339 u4340 u4341 u4342 u4343 u4344 u4345 u4346 u4347 u4348 u4349 u4350 u4351 u4352 u4353 u4354 u4355 u4357 u4358 u4359 u4360 u4361 u4362 u4363 u4364 u4365 u4366 u4367 u4368 u4369 u4370 u4371 u4372 u4373 u4374 u4375 u4376 u4377 u4378 u4379 u4380 u4381 u4382 u4383 u4384 u4385 u4386 u4387 u4388 u4389 u4390 u4391 u4392 u4393 u4394 u4395 u4396 u4397 u4398 u4399 u4400 u4401 u4402 u4403 u4404 u4405 u4406 u4407 u4408 u4409 u4410 u4411 u4412 u4413 u4414 u4415 u4416 u4417 u4418 u4419 u4420 u4421 u4422 u4423 u4424 u4425 u4426 u4427 u4428 u4429 u4430 u4431 u4432 u4433 u4434 u4436 u4437 u4438 u4439 u4440 u4442 u4443 u4444 u4445 u4446 u4447 u4448 u4449 u4450 u4451 u4452 u4453 u4454 u4455 u4456 u4457 u4458 u4459 u4460 u4462 u4463 u4464 u4465 u4466 u4468 u4469 u4470 u4471 u4472 u4473 u4474 u4475 u4476 u4477 u4478 u4479 u4480 u4481 u4482 u4483 u4484 u4485 u4486 u4487 u4488 u4489 u4490 u4491 u4492 u4493 u4494 u4495 u4496 u4497 u4498 u4499 u4500 u4501 u4502 u4503 u4504 u4505 u4506 u4507 u4508 u4509 u4510 u4511))
(define-constant PUBLIC-BATCH-23 (list u4512 u4513 u4514 u4515 u4516 u4517 u4518 u4519 u4520 u4521 u4522 u4523 u4524 u4525 u4526 u4527 u4528 u4529 u4530 u4532 u4533 u4534 u4535 u4536 u4537 u4538 u4539 u4540 u4541 u4542 u4543 u4544 u4545 u4547 u4548 u4549 u4550 u4551 u4552 u4553 u4554 u4555 u4556 u4557 u4558 u4559 u4560 u4561 u4562 u4563 u4564 u4565 u4566 u4567 u4568 u4569 u4570 u4571 u4572 u4573 u4574 u4575 u4576 u4577 u4578 u4579 u4580 u4581 u4582 u4583 u4584 u4585 u4586 u4587 u4588 u4589 u4590 u4591 u4592 u4593 u4594 u4595 u4596 u4597 u4598 u4599 u4600 u4601 u4602 u4603 u4604 u4605 u4606 u4607 u4608 u4609 u4610 u4611 u4612 u4613 u4614 u4615 u4616 u4617 u4618 u4619 u4620 u4621 u4622 u4623 u4624 u4625 u4626 u4627 u4628 u4629 u4630 u4631 u4632 u4633 u4634 u4635 u4636 u4637 u4638 u4639 u4640 u4641 u4642 u4643 u4644 u4645 u4646 u4647 u4648 u4649 u4650 u4651 u4652 u4653 u4655 u4656 u4657 u4658 u4659 u4660 u4661 u4662 u4663 u4664 u4665 u4666 u4667 u4668 u4669 u4670 u4671 u4672 u4673 u4674 u4676 u4677 u4678 u4679 u4680 u4681 u4682 u4683 u4684 u4685 u4686 u4687 u4688 u4689 u4690 u4691 u4692 u4693 u4694 u4695 u4696 u4697 u4698 u4699 u4700 u4701 u4702 u4703 u4704 u4705 u4706 u4707 u4708 u4709 u4710 u4711 u4712 u4713 u4714 u4715))
(define-constant PUBLIC-BATCH-24 (list u4716 u4717 u4718 u4719 u4720 u4721 u4722 u4723 u4724 u4725 u4726 u4727 u4728 u4729 u4730 u4731 u4732 u4733 u4734 u4735 u4736 u4737 u4738 u4739 u4740 u4741 u4742 u4743 u4744 u4745 u4746 u4747 u4748 u4749 u4750 u4751 u4752 u4753 u4754 u4755 u4756 u4757 u4758 u4759 u4760 u4761 u4763 u4764 u4765 u4766 u4767 u4768 u4769 u4770 u4771 u4772 u4773 u4774 u4775 u4776 u4777 u4778 u4779 u4780 u4781 u4782 u4783 u4784 u4785 u4786 u4787 u4788 u4789 u4790 u4791 u4793 u4794 u4795 u4796 u4797 u4798 u4799 u4800 u4801 u4802 u4803 u4804 u4805 u4806 u4807 u4809 u4810 u4811 u4812 u4813 u4814 u4815 u4816 u4817 u4818 u4819 u4820 u4821 u4822 u4823 u4824 u4825 u4826 u4827 u4828 u4829 u4830 u4831 u4832 u4833 u4834 u4835 u4836 u4837 u4838 u4839 u4840 u4841 u4842 u4843 u4844 u4845 u4846 u4847 u4848 u4849 u4850 u4851 u4852 u4853 u4854 u4855 u4856 u4857 u4858 u4859 u4860 u4861 u4862 u4863 u4864 u4865 u4866 u4867 u4868 u4869 u4870 u4871 u4872 u4873 u4874 u4875 u4876 u4877 u4878 u4879 u4880 u4881 u4882 u4883 u4884 u4885 u4886 u4887 u4888 u4889 u4890 u4891 u4892 u4893 u4894 u4895 u4896 u4897 u4898 u4900 u4901 u4902 u4903 u4904 u4905 u4906 u4907 u4908 u4909 u4910 u4911 u4912 u4913 u4914 u4915 u4916 u4917 u4918 u4919))
(define-constant PUBLIC-BATCH-25 (list u4920 u4921 u4922 u4923 u4924 u4925 u4926 u4927 u4928 u4929 u4930 u4931 u4932 u4933 u4934 u4935 u4936 u4937 u4938 u4939 u4940 u4941 u4942 u4943 u4944 u4945 u4946 u4947 u4948 u4949 u4950 u4951 u4952 u4953 u4954 u4955 u4956 u4957 u4958 u4959 u4960 u4961 u4962 u4963 u4964 u4965 u4966 u4967 u4968 u4969 u4970 u4971 u4972 u4973 u4974 u4975 u4976 u4977 u4978 u4979 u4980 u4981 u4982 u4983 u4984 u4985 u4986 u4987 u4988 u4989 u4990 u4991 u4992 u4993 u4994 u4995 u4996 u4997 u4998 u4999 u5000 u5001 u5002 u5003 u5005 u5006 u5007 u5008 u5009 u5010 u5011 u5012 u5013 u5014 u5015 u5016 u5017 u5018 u5019 u5020 u5021 u5022 u5023 u5024 u5025 u5026 u5027 u5028 u5029 u5030 u5031 u5032 u5033 u5034 u5035 u5036 u5037 u5038 u5039 u5040 u5041 u5042 u5043 u5044 u5045 u5046 u5047 u5048 u5049 u5050 u5051 u5052 u5053 u5054 u5055 u5056 u5057 u5058 u5059 u5060 u5061 u5062 u5063 u5064 u5065 u5066 u5067 u5068 u5069 u5070 u5071 u5073 u5074 u5075 u5076 u5077 u5078 u5079 u5080 u5081 u5082 u5083 u5084 u5085 u5086 u5087 u5088 u5089 u5090 u5091 u5092 u5093 u5094 u5095 u5096 u5097 u5098 u5099 u5100 u5102 u5103 u5104 u5105 u5106 u5107 u5108 u5109 u5110 u5111 u5112 u5113 u5114 u5115 u5116 u5117 u5118 u5119 u5120 u5121 u5122))
(define-constant PUBLIC-BATCH-26 (list u5123 u5124 u5125 u5126 u5127 u5128 u5129 u5130 u5131 u5132 u5133 u5134 u5135 u5136 u5137 u5138 u5139 u5140 u5141 u5142 u5143 u5144 u5145 u5146 u5147 u5149 u5150 u5151 u5152 u5153 u5154 u5155 u5156 u5157 u5158 u5159 u5160 u5161 u5162 u5163 u5164 u5165 u5166 u5167 u5168 u5169 u5170 u5171 u5172 u5173 u5174 u5175 u5176 u5177 u5178 u5179 u5180 u5181 u5182 u5183 u5184 u5185 u5186 u5187 u5188 u5189 u5190 u5191 u5192 u5193 u5195 u5196 u5197 u5198 u5199 u5200 u5201 u5202 u5203 u5204 u5205 u5206 u5207 u5208 u5209 u5210 u5211 u5212 u5213 u5214 u5215 u5216 u5217 u5218 u5219 u5221 u5222 u5223 u5224 u5225 u5226 u5227 u5228 u5229 u5230 u5231 u5232 u5233 u5234 u5235 u5236 u5237 u5238 u5239 u5240 u5241 u5242 u5243 u5244 u5245 u5246 u5247 u5248 u5249 u5250 u5251 u5252 u5253 u5254 u5255 u5256 u5257 u5258 u5259 u5261 u5262 u5263 u5264 u5265 u5266 u5267 u5268 u5269 u5270 u5271 u5272 u5273 u5274 u5275 u5276 u5277 u5278 u5279 u5280 u5281 u5282 u5284 u5285 u5286 u5287 u5288 u5289 u5290 u5291 u5292 u5293 u5294 u5295 u5296 u5297 u5298 u5299 u5301 u5302 u5303 u5304 u5305 u5306 u5307 u5308 u5309 u5310 u5311 u5312 u5313 u5314 u5315 u5316 u5317 u5318 u5319 u5320 u5321 u5322 u5323 u5324 u5325 u5326 u5327 u5328))
(define-constant PUBLIC-BATCH-27 (list u5329 u5330 u5331 u5332 u5333 u5334 u5335 u5336 u5337 u5338 u5339 u5340 u5341 u5342 u5343 u5344 u5345 u5346 u5347 u5348 u5349 u5350 u5351 u5352 u5353 u5354 u5355 u5356 u5357 u5358 u5359 u5360 u5361 u5362 u5363 u5364 u5365 u5366 u5367 u5368 u5369 u5370 u5371 u5372 u5373 u5374 u5376 u5377 u5378 u5379 u5380 u5381 u5382 u5383 u5384 u5385 u5386 u5387 u5388 u5389 u5390 u5391 u5392 u5393 u5394 u5395 u5396 u5397 u5398 u5399 u5400 u5401 u5402 u5403 u5404 u5405 u5406 u5407 u5408 u5409 u5410 u5411 u5412 u5413 u5414 u5415 u5416 u5417 u5418 u5419 u5420 u5422 u5423 u5424 u5425 u5426 u5427 u5428 u5429 u5430 u5431 u5432 u5433 u5434 u5435 u5436 u5437 u5438 u5439 u5440 u5441 u5442 u5443 u5444 u5445 u5446 u5447 u5449 u5450 u5451 u5452 u5454 u5455 u5456 u5457 u5458 u5459 u5460 u5461 u5462 u5463 u5464 u5465 u5466 u5467 u5468 u5469 u5470 u5471 u5472 u5473 u5474 u5475 u5476 u5477 u5478 u5479 u5480 u5481 u5482 u5483 u5484 u5485 u5486 u5487 u5488 u5489 u5490 u5491 u5492 u5493 u5494 u5495 u5496 u5497 u5498 u5499 u5500 u5501 u5502 u5503 u5504 u5505 u5506 u5507 u5508 u5509 u5510 u5511 u5512 u5513 u5514 u5515 u5516 u5517 u5518 u5519 u5520 u5521 u5522 u5523 u5524 u5525 u5526 u5527 u5528 u5529 u5530 u5531 u5532))
(define-constant PUBLIC-BATCH-28 (list u5533 u5534 u5535 u5536 u5537 u5538 u5539 u5540 u5541 u5542 u5543 u5544 u5545 u5546 u5547 u5548 u5549 u5550 u5551 u5552 u5553 u5554 u5555 u5556 u5557 u5558 u5559 u5560 u5561 u5562 u5563 u5564 u5565 u5566 u5567 u5568 u5569 u5571 u5572 u5573 u5574 u5575 u5576 u5577 u5578 u5579 u5580 u5581 u5582 u5583 u5584 u5585 u5586 u5587 u5588 u5589 u5590 u5591 u5592 u5593 u5594 u5595 u5596 u5597 u5598 u5599 u5600 u5601 u5602 u5603 u5604 u5605 u5606 u5607 u5608 u5609 u5610 u5611 u5612 u5613 u5614 u5615 u5616 u5617 u5618 u5619 u5620 u5621 u5622 u5623 u5624 u5625 u5626 u5627 u5628 u5629 u5630 u5631 u5632 u5633 u5634 u5635 u5636 u5638 u5639 u5640 u5641 u5642 u5643 u5644 u5645 u5646 u5647 u5648 u5649 u5650 u5651 u5652 u5653 u5654 u5655 u5656 u5657 u5658 u5659 u5660 u5661 u5662 u5663 u5664 u5665 u5666 u5667 u5668 u5669 u5670 u5671 u5672 u5673 u5674 u5675 u5676 u5677 u5678 u5679 u5680 u5681 u5682 u5683 u5684 u5686 u5687 u5688 u5689 u5690 u5691 u5692 u5693 u5694 u5695 u5696 u5697 u5698 u5700 u5701 u5702 u5703 u5705 u5706 u5707 u5708 u5709 u5710 u5711 u5712 u5713 u5714 u5715 u5716 u5717 u5718 u5719 u5720 u5721 u5722 u5723 u5724 u5725 u5726 u5727 u5728 u5729 u5730 u5731 u5732 u5733 u5734 u5735 u5736 u5737))
(define-constant PUBLIC-BATCH-29 (list u5738 u5739 u5740 u5741 u5742 u5743 u5744 u5745 u5746 u5747 u5749 u5750 u5751 u5752 u5753 u5754 u5756 u5757 u5758 u5759 u5760 u5761 u5762 u5763 u5764 u5765 u5766 u5767 u5768 u5769 u5770 u5771 u5773 u5774 u5775 u5777 u5778 u5779 u5780 u5781 u5782 u5783 u5784 u5785 u5786 u5787 u5788 u5789 u5790 u5791 u5792 u5793 u5794 u5795 u5796 u5797 u5798 u5799 u5800 u5801 u5802 u5803 u5804 u5805 u5806 u5807 u5808 u5809 u5810 u5811 u5812 u5813 u5814 u5815 u5816 u5817 u5818 u5819 u5820 u5821 u5822 u5823 u5824 u5825 u5826 u5827 u5828 u5829 u5830 u5831 u5832 u5833 u5834 u5835 u5836 u5837 u5838 u5839 u5840 u5842 u5843 u5844 u5845 u5846 u5847 u5848 u5849 u5850 u5851 u5853 u5854 u5855 u5856 u5857 u5858 u5859 u5860 u5861 u5862 u5863 u5864 u5865 u5866 u5867 u5868 u5869 u5870 u5871 u5872 u5873 u5874 u5875 u5876 u5877 u5878 u5879 u5880 u5881 u5882 u5883 u5884 u5885 u5886 u5887 u5888 u5889 u5890 u5892 u5893 u5894 u5895 u5896 u5897 u5898 u5899 u5900 u5901 u5902 u5903 u5904 u5905 u5906 u5907 u5908 u5909 u5910 u5911 u5912 u5913 u5914 u5915 u5916 u5917 u5918 u5919 u5920 u5921 u5922 u5923 u5924 u5925 u5926 u5927 u5928 u5929 u5930 u5931 u5933 u5934 u5935 u5936 u5937 u5938 u5939 u5940 u5941 u5942 u5943 u5944 u5945))
(define-constant PUBLIC-BATCH-30 (list u5946 u5947 u5948 u5949 u5950 u5951 u5952 u5953 u5954 u5955 u5956 u5957 u5958 u5959 u5960 u5961 u5962 u5963 u5964 u5965 u5966 u5968 u5969 u5970 u5971 u5972 u5973 u5974 u5975 u5976 u5977 u5978 u5979 u5980 u5981 u5982 u5983 u5984 u5985 u5986 u5987 u5988 u5989 u5990 u5991 u5992 u5993 u5994 u5995 u5996 u5997 u5998 u5999 u6000 u6001 u6002 u6003 u6004 u6005 u6006 u6007 u6008 u6009 u6010 u6011 u6012 u6013 u6014 u6015 u6016 u6017 u6018 u6019 u6020 u6021 u6022 u6023 u6024 u6025 u6026 u6027 u6028 u6029 u6030 u6031 u6032 u6033 u6034 u6035 u6036 u6037 u6038 u6039 u6040 u6041 u6042 u6043 u6045 u6046 u6047 u6048 u6049 u6050 u6051 u6052 u6053 u6054 u6055 u6056 u6057 u6058 u6059 u6060 u6061 u6062 u6063 u6064 u6065 u6066 u6067 u6068 u6069 u6070 u6071 u6072 u6073 u6074 u6075 u6076 u6077 u6078 u6079 u6080 u6081 u6082 u6083 u6084 u6085 u6086 u6087 u6088 u6089 u6090 u6091 u6092 u6093 u6094 u6095 u6097 u6098 u6099 u6100 u6101 u6102 u6103 u6104 u6105 u6106 u6107 u6108 u6109 u6110 u6111 u6112 u6113 u6114 u6115 u6116 u6117 u6118 u6119 u6121 u6122 u6123 u6124 u6125 u6126 u6127 u6128 u6129 u6130 u6131 u6132 u6133 u6134 u6135 u6136 u6137 u6138 u6139 u6140 u6141 u6142 u6143 u6144 u6145 u6146 u6147 u6148 u6149))
(define-constant PUBLIC-BATCH-31 (list u6150 u6151 u6152 u6153 u6154 u6155 u6156 u6157 u6158 u6159 u6160 u6161 u6162 u6163 u6164 u6165 u6166 u6167 u6168 u6169 u6170 u6171 u6172 u6173 u6174 u6175 u6176 u6177 u6178 u6179 u6180 u6181 u6182 u6183 u6184 u6185 u6186 u6187 u6188 u6190 u6191 u6192 u6193 u6194 u6195 u6196 u6197 u6198 u6199 u6200 u6201 u6202 u6203 u6204 u6205 u6206 u6207 u6208 u6209 u6210 u6211 u6212 u6213 u6214 u6215 u6216 u6217 u6218 u6219 u6220 u6221 u6222 u6223 u6224 u6225 u6226 u6227 u6228 u6229 u6230 u6231 u6232 u6233 u6234 u6235 u6236 u6237 u6238 u6239 u6240 u6241 u6242 u6243 u6244 u6245 u6246 u6247 u6248 u6249 u6250 u6251 u6252 u6253 u6254 u6256 u6257 u6258 u6259 u6260 u6261 u6262 u6263 u6264 u6265 u6266 u6267 u6268 u6269 u6270 u6271 u6272 u6273 u6274 u6275 u6276 u6277 u6278 u6279 u6280 u6281 u6282 u6283 u6284 u6285 u6286 u6287 u6288 u6289 u6290 u6291 u6292 u6293 u6294 u6295 u6296 u6297 u6298 u6299 u6300 u6301 u6302 u6303 u6304 u6305 u6306 u6307 u6308 u6309 u6310 u6311 u6312 u6313 u6314 u6315 u6316 u6317 u6318 u6319 u6320 u6321 u6322 u6323 u6325 u6326 u6327 u6328 u6329 u6330 u6331 u6332 u6333 u6334 u6335 u6336 u6337 u6338 u6339 u6340 u6341 u6342 u6343 u6344 u6345 u6346 u6347 u6348 u6349 u6350 u6351 u6352))
(define-constant PUBLIC-BATCH-32 (list u6353 u6354 u6355 u6356 u6357 u6358 u6359 u6360 u6361 u6362 u6363 u6364 u6365 u6366 u6367 u6368 u6369 u6370 u6371 u6372 u6373 u6374 u6375 u6376 u6377 u6378 u6379 u6380 u6381 u6382 u6383 u6384 u6385 u6386 u6387 u6388 u6389 u6390 u6391 u6392 u6393 u6394 u6395 u6396 u6397 u6398 u6399 u6400 u6401 u6402 u6403 u6404 u6406 u6407 u6408 u6409 u6410 u6411 u6412 u6413 u6414 u6415 u6416 u6417 u6418 u6419 u6420 u6421 u6422 u6423 u6424 u6425 u6426 u6427 u6428 u6429 u6430 u6431 u6432 u6434 u6435 u6436 u6437 u6438 u6439 u6440 u6441 u6442 u6443 u6444 u6445 u6446 u6447 u6448 u6449 u6450 u6451 u6452 u6453 u6454 u6455 u6456 u6457 u6458 u6459 u6460 u6461 u6462 u6463 u6464 u6465 u6466 u6467 u6468 u6469 u6470 u6471 u6472 u6473 u6474 u6475 u6476 u6477 u6478 u6479 u6480 u6481 u6482 u6483 u6484 u6485 u6486 u6487 u6488 u6489 u6490 u6491 u6492 u6494 u6495 u6496 u6497 u6498 u6499 u6501 u6502 u6503 u6504 u6505 u6506 u6507 u6508 u6509 u6510 u6511 u6512 u6513 u6514 u6515 u6516 u6517 u6518 u6519 u6520 u6521 u6522 u6523 u6524 u6525 u6526 u6527 u6528 u6529 u6530 u6531 u6532 u6533 u6534 u6535 u6536 u6537 u6538 u6539 u6540 u6541 u6542 u6544 u6545 u6546 u6547 u6548 u6549 u6550 u6551 u6552 u6553 u6554 u6555 u6556 u6557))
(define-constant PUBLIC-BATCH-33 (list u6558 u6559 u6560 u6561 u6562 u6563 u6564 u6565 u6566 u6567 u6568 u6569 u6570 u6571 u6572 u6573 u6574 u6575 u6576 u6577 u6578 u6579 u6580 u6581 u6582 u6583 u6584 u6585 u6586 u6587 u6588 u6589 u6590 u6591 u6592 u6593 u6594 u6595 u6596 u6597 u6598 u6599 u6600 u6601 u6602 u6603 u6604 u6605 u6606 u6607 u6608 u6609 u6610 u6613 u6614 u6615 u6616 u6617 u6618 u6619 u6620 u6621 u6622 u6623 u6624 u6625 u6626 u6627 u6628 u6629 u6630 u6631 u6632 u6633 u6634 u6635 u6636 u6637 u6638 u6639 u6640 u6641 u6642 u6643 u6644 u6645 u6646 u6647 u6648 u6649 u6650 u6651 u6652 u6653 u6654 u6655 u6656 u6657 u6658 u6659 u6660 u6661 u6662 u6663 u6664 u6665 u6666 u6667 u6668 u6669 u6670 u6671 u6672 u6673 u6674 u6676 u6677 u6678 u6679 u6680 u6681 u6682 u6683 u6684 u6685 u6686 u6687 u6688 u6689 u6690 u6691 u6692 u6693 u6694 u6695 u6696 u6697 u6698 u6699 u6700 u6701 u6702 u6703 u6704 u6705 u6706 u6707 u6708 u6709 u6710 u6711 u6712 u6713 u6714 u6715 u6716 u6717 u6718 u6719 u6720 u6721 u6722 u6724 u6725 u6726 u6727 u6728 u6729 u6730 u6731 u6732 u6733 u6735 u6736 u6737 u6738 u6739 u6740 u6741 u6742 u6743 u6744 u6745 u6746 u6747 u6748 u6749 u6750 u6751 u6752 u6753 u6755 u6756 u6757 u6758 u6759 u6760 u6761 u6762 u6763))
(define-constant PUBLIC-BATCH-34 (list u6764 u6765 u6766 u6767 u6768 u6769 u6770 u6771 u6772 u6773 u6774 u6775 u6776 u6777 u6778 u6779 u6780 u6781 u6782 u6783 u6784 u6785 u6786 u6787 u6788 u6789 u6790 u6791 u6792 u6793 u6794 u6795 u6796 u6797 u6798 u6799 u6800 u6801 u6802 u6803 u6804 u6805 u6806 u6807 u6808 u6809 u6810 u6812 u6813 u6814 u6815 u6816 u6817 u6818 u6819 u6820 u6821 u6822 u6823 u6824 u6825 u6826 u6827 u6828 u6829 u6830 u6831 u6832 u6833 u6834 u6835 u6836 u6837 u6838 u6839 u6840 u6841 u6842 u6843 u6844 u6845 u6846 u6847 u6848 u6849 u6850 u6852 u6853 u6854 u6855 u6856 u6857 u6858 u6859 u6860 u6861 u6862 u6863 u6864 u6865 u6866 u6867 u6868 u6869 u6871 u6872 u6873 u6874 u6875 u6876 u6877 u6878 u6879 u6880 u6881 u6882 u6883 u6884 u6885 u6886 u6887 u6888 u6889 u6890 u6891 u6892 u6893 u6894 u6895 u6896 u6897 u6898 u6899 u6900 u6901 u6902 u6903 u6904 u6905 u6906 u6907 u6908 u6909 u6910 u6911 u6912 u6913 u6914 u6915 u6916 u6917 u6918 u6919 u6920 u6921 u6922 u6923 u6924 u6925 u6926 u6927 u6928 u6929 u6930 u6931 u6932 u6933 u6934 u6935 u6937 u6938 u6939 u6940 u6941 u6942 u6943 u6944 u6945 u6946 u6947 u6948 u6949 u6950 u6951 u6952 u6953 u6954 u6955 u6956 u6957 u6958 u6959 u6960 u6961 u6962 u6963 u6964 u6965 u6966 u6967))
(define-constant PUBLIC-BATCH-35 (list u6968 u6969 u6970 u6971 u6972 u6973 u6974 u6975 u6976 u6977 u6978 u6979 u6980 u6981 u6982 u6983 u6984 u6985 u6986 u6987 u6988 u6989 u6991 u6992 u6993 u6994 u6995 u6996 u6997 u6998 u6999 u7000 u7001 u7002 u7003 u7004 u7006 u7007 u7008 u7009 u7010 u7011 u7012 u7013 u7014 u7015 u7016 u7017 u7018 u7019 u7020 u7021 u7022 u7023 u7024 u7025 u7026 u7027 u7028 u7029 u7030 u7031 u7032 u7033 u7035 u7036 u7037 u7038 u7039 u7040 u7041 u7042 u7043 u7044 u7045 u7046 u7047 u7048 u7049 u7050 u7051 u7052 u7053 u7054 u7055 u7056 u7057 u7058 u7059 u7060 u7061 u7062 u7063 u7064 u7065 u7066 u7067 u7068 u7069 u7070 u7071 u7072 u7073 u7074 u7075 u7076 u7077 u7078 u7079 u7081 u7082 u7083 u7084 u7085 u7086 u7087 u7088 u7089 u7090 u7091 u7092 u7093 u7094 u7095 u7096 u7097 u7098 u7099 u7100 u7101 u7102 u7103 u7104 u7105 u7106 u7107 u7108 u7109 u7110 u7111 u7112 u7113 u7114 u7115 u7116 u7117 u7118 u7119 u7120 u7121 u7122 u7123 u7124 u7125 u7126 u7127 u7128 u7129 u7130 u7131 u7132 u7133 u7134 u7135 u7136 u7137 u7138 u7139 u7140 u7141 u7142 u7143 u7144 u7145 u7146 u7147 u7148 u7150 u7151 u7152 u7153 u7154 u7155 u7156 u7157 u7158 u7159 u7160 u7161 u7163 u7164 u7165 u7166 u7167 u7168 u7169 u7170 u7171 u7173 u7174))
(define-constant PUBLIC-BATCH-36 (list u7175 u7176 u7177 u7178 u7179 u7180 u7181 u7182 u7183 u7184 u7185 u7186 u7187 u7188 u7189 u7190 u7191 u7192 u7193 u7194 u7196 u7197 u7198 u7199 u7200 u7201 u7202 u7203 u7204 u7206 u7207 u7208 u7209 u7210 u7211 u7212 u7213 u7214 u7215 u7216 u7217 u7218 u7219 u7220 u7221 u7222 u7223 u7224 u7225 u7226 u7227 u7228 u7229 u7230 u7231 u7232 u7233 u7234 u7235 u7236 u7237 u7238 u7239 u7240 u7241 u7242 u7243 u7244 u7245 u7246 u7247 u7248 u7249 u7250 u7251 u7252 u7253 u7254 u7255 u7256 u7257 u7258 u7259 u7260 u7261 u7262 u7263 u7264 u7265 u7266 u7267 u7268 u7269 u7270 u7271 u7272 u7273 u7274 u7275 u7276 u7277 u7278 u7279 u7280 u7281 u7282 u7283 u7284 u7285 u7286 u7287 u7288 u7289 u7290 u7291 u7292 u7293 u7294 u7295 u7296 u7297 u7298 u7299 u7300 u7301 u7302 u7303 u7304 u7305 u7306 u7307 u7310 u7311 u7312 u7313 u7314 u7315 u7316 u7317 u7318 u7319 u7320 u7321 u7322 u7323 u7324 u7325 u7326 u7327 u7328 u7329 u7330 u7331 u7332 u7333 u7334 u7335 u7336 u7337 u7338 u7339 u7341 u7342 u7343 u7344 u7345 u7346 u7347 u7348 u7350 u7351 u7352 u7353 u7354 u7355 u7356 u7357 u7358 u7359 u7360 u7361 u7362 u7363 u7364 u7365 u7366 u7367 u7368 u7369 u7370 u7371 u7372 u7373 u7374 u7375 u7376 u7377 u7378 u7379 u7380))
(define-constant PUBLIC-BATCH-37 (list u7381 u7382 u7383 u7384 u7385 u7386 u7387 u7388 u7389 u7390 u7391 u7392 u7393 u7394 u7395 u7396 u7397 u7398 u7399 u7400 u7401 u7402 u7403 u7404 u7405 u7406 u7407 u7408 u7409 u7410 u7411 u7412 u7413 u7414 u7415 u7416 u7417 u7418 u7419 u7421 u7422 u7423 u7424 u7425 u7426 u7427 u7428 u7429 u7430 u7431 u7432 u7433 u7434 u7435 u7436 u7437 u7438 u7439 u7440 u7441 u7442 u7443 u7444 u7445 u7446 u7447 u7448 u7449 u7450 u7451 u7452 u7453 u7454 u7455 u7456 u7457 u7458 u7459 u7460 u7461 u7462 u7463 u7464 u7465 u7466 u7467 u7468 u7469 u7470 u7471 u7472 u7473 u7474 u7475 u7476 u7478 u7479 u7480 u7481 u7482 u7483 u7484 u7485 u7486 u7487 u7488 u7489 u7490 u7491 u7492 u7493 u7494 u7495 u7496 u7497 u7498 u7499 u7500 u7501 u7502 u7503 u7504 u7505 u7506 u7507 u7508 u7509 u7510 u7511 u7512 u7513 u7514 u7515 u7516 u7517 u7518 u7519 u7521 u7522 u7523 u7524 u7525 u7526 u7527 u7528 u7529 u7530 u7531 u7532 u7533 u7534 u7535 u7536 u7537 u7538 u7539 u7540 u7541 u7542 u7543 u7544 u7545 u7546 u7547 u7548 u7549 u7550 u7551 u7552 u7553 u7554 u7555 u7556 u7557 u7558 u7559 u7560 u7561 u7562 u7563 u7564 u7565 u7566 u7567 u7568 u7569 u7570 u7571 u7572 u7573 u7574 u7576 u7577 u7578 u7579 u7580 u7581 u7582 u7583 u7584))
(define-constant PUBLIC-BATCH-38 (list u7585 u7586 u7587 u7588 u7589 u7590 u7591 u7592 u7593 u7594 u7595 u7596 u7597 u7598 u7599 u7600 u7601 u7602 u7603 u7604 u7605 u7606 u7607 u7608 u7609 u7610 u7611 u7612 u7613 u7614 u7615 u7616 u7617 u7618 u7619 u7620 u7621 u7622 u7623 u7624 u7625 u7626 u7627 u7628 u7629 u7630 u7631 u7632 u7633 u7634 u7635 u7636 u7637 u7638 u7639 u7640 u7641 u7642 u7643 u7644 u7645 u7646 u7647 u7649 u7650 u7651 u7652 u7653 u7654 u7655 u7656 u7657 u7658 u7659 u7660 u7661 u7662 u7663 u7664 u7665 u7666 u7667 u7668 u7669 u7670 u7671 u7672 u7673 u7674 u7675 u7676 u7677 u7678 u7679 u7680 u7681 u7682 u7683 u7684 u7685 u7686 u7687 u7688 u7689 u7690 u7691 u7692 u7693 u7694 u7695 u7696 u7697 u7698 u7699 u7700 u7701 u7702 u7703 u7704 u7705 u7706 u7707 u7708 u7709 u7710 u7711 u7712 u7713 u7714 u7716 u7717 u7718 u7719 u7720 u7721 u7722 u7723 u7724 u7725 u7726 u7727 u7728 u7729 u7730 u7731 u7732 u7733 u7734 u7735 u7736 u7737 u7738 u7739 u7740 u7741 u7742 u7743 u7744 u7745 u7746 u7747 u7748 u7749 u7750 u7751 u7752 u7753 u7754 u7755 u7756 u7757 u7758 u7759 u7760 u7761 u7762 u7763 u7764 u7765 u7766 u7767 u7768 u7769 u7770 u7771 u7772 u7773 u7774 u7775 u7776 u7777 u7778 u7779 u7780 u7781 u7782 u7783 u7784 u7785 u7786))
(define-constant PUBLIC-BATCH-39 (list u7787 u7788 u7789 u7790 u7791 u7792 u7794 u7795 u7796 u7797 u7798 u7799 u7800 u7801 u7802 u7803 u7804 u7805 u7806 u7807 u7808 u7809 u7810 u7811 u7812 u7813 u7814 u7816 u7817 u7818 u7819 u7820 u7821 u7822 u7823 u7824 u7825 u7826 u7827 u7828 u7829 u7830 u7831 u7832 u7833 u7834 u7835 u7836 u7837 u7838 u7839 u7840 u7841 u7842 u7843 u7844 u7845 u7846 u7847 u7848 u7849 u7850 u7851 u7852 u7853 u7854 u7855 u7856 u7857 u7858 u7859 u7860 u7861 u7862 u7863 u7864 u7865 u7866 u7867 u7868 u7869 u7870 u7871 u7872 u7873 u7874 u7875 u7876 u7877 u7878 u7879 u7880 u7881 u7882 u7883 u7884 u7885 u7886 u7887 u7888 u7889 u7890 u7891 u7892 u7893 u7894 u7895 u7896 u7897 u7898 u7899 u7900 u7901 u7902 u7903 u7904 u7905 u7906 u7907 u7908 u7909 u7910 u7911 u7912 u7913 u7914 u7915 u7916 u7917 u7918 u7919 u7920 u7921 u7922 u7923 u7924 u7925 u7926 u7927 u7928 u7929 u7930 u7932 u7933 u7934 u7935 u7936 u7938 u7939 u7940 u7941 u7942 u7943 u7944 u7945 u7946 u7947 u7948 u7949 u7950 u7951 u7952 u7953 u7954 u7955 u7956 u7957 u7958 u7959 u7960 u7961 u7962 u7963 u7964 u7965 u7966 u7967 u7968 u7969 u7970 u7971 u7972 u7973 u7974 u7975 u7976 u7977 u7978 u7979 u7980 u7981 u7982 u7983 u7984 u7985 u7986 u7987 u7988 u7989 u7990))
(define-constant PUBLIC-BATCH-40 (list u7991 u7992 u7994 u7995 u7996 u7997 u7998 u7999 u8000 u8001 u8002 u8003 u8004 u8005 u8006 u8007 u8008 u8009 u8010 u8011 u8012 u8013 u8014 u8015 u8016 u8017 u8018 u8019 u8020 u8021 u8022 u8023 u8024 u8025 u8026 u8027 u8028 u8029 u8030 u8031 u8032 u8034 u8035 u8036 u8037 u8038 u8039 u8040 u8041 u8042 u8043 u8044 u8045 u8046 u8047 u8049 u8050 u8051 u8052 u8053 u8054 u8055 u8056 u8057 u8058 u8059 u8060 u8061 u8062 u8063 u8065 u8066 u8067 u8068 u8069 u8070 u8071 u8072 u8073 u8074 u8075 u8076 u8077 u8078 u8079 u8080 u8081 u8082 u8083 u8084 u8085 u8086 u8087 u8088 u8089 u8090 u8091 u8092 u8093 u8094 u8095 u8096 u8097 u8098 u8099 u8100 u8101 u8102 u8103 u8104 u8105 u8106 u8107 u8108 u8109 u8110 u8111 u8112 u8113 u8114 u8115 u8116 u8118 u8119 u8120 u8121 u8122 u8123 u8124 u8125 u8126 u8127 u8128 u8129 u8130 u8131 u8132 u8133 u8134 u8135 u8136 u8137 u8138 u8139 u8140 u8141 u8142 u8143 u8144 u8145 u8146 u8147 u8148 u8149 u8150 u8151 u8152 u8153 u8154 u8155 u8156 u8157 u8158 u8159 u8160 u8162 u8163 u8164 u8165 u8166 u8167 u8168 u8169 u8170 u8171 u8172 u8173 u8174 u8175 u8176 u8177 u8178 u8179 u8180 u8181 u8182 u8183 u8184 u8185 u8186 u8187 u8188 u8189 u8190 u8191 u8192 u8193 u8194 u8195 u8196))
(define-constant PUBLIC-BATCH-41 (list u8198 u8199 u8200 u8201 u8202 u8203 u8204 u8205 u8206 u8207 u8208 u8209 u8210 u8211 u8212 u8213 u8214 u8215 u8216 u8217 u8218 u8219 u8220 u8221 u8222 u8223 u8224 u8225 u8226 u8227 u8228 u8229 u8230 u8231 u8232 u8233 u8234 u8235 u8236 u8237 u8238 u8239 u8240 u8241 u8242 u8243 u8244 u8245 u8246 u8247 u8248 u8249 u8250 u8251 u8253 u8254 u8255 u8256 u8257 u8258 u8259 u8260 u8261 u8262 u8263 u8264 u8265 u8266 u8267 u8268 u8269 u8270 u8271 u8272 u8273 u8274 u8275 u8276 u8277 u8278 u8279 u8280 u8281 u8282 u8283 u8284 u8285 u8286 u8287 u8288 u8289 u8290 u8291 u8292 u8293 u8294 u8295 u8296 u8297 u8298 u8299 u8300 u8301 u8302 u8303 u8304 u8305 u8306 u8307 u8308 u8309 u8310 u8311 u8312 u8313 u8314 u8315 u8316 u8317 u8318 u8319 u8320 u8321 u8322 u8323 u8324 u8325 u8326 u8327 u8328 u8329 u8330 u8331 u8332 u8333 u8334 u8335 u8336 u8337 u8338 u8340 u8341 u8342 u8343 u8344 u8345 u8346 u8347 u8348 u8349 u8350 u8351 u8352 u8353 u8354 u8355 u8356 u8357 u8358 u8359 u8360 u8361 u8362 u8363 u8364 u8365 u8366 u8367 u8368 u8369 u8370 u8371 u8373 u8374 u8375 u8376 u8377 u8378 u8379 u8380 u8381 u8382 u8383 u8384 u8385 u8386 u8387 u8388 u8389 u8390 u8391 u8392 u8393 u8394 u8395 u8396 u8397 u8398 u8399 u8400))
(define-constant PUBLIC-BATCH-42 (list u8401 u8402 u8403 u8404 u8405 u8406 u8407 u8409 u8410 u8411 u8412 u8413 u8414 u8415 u8416 u8417 u8418 u8419 u8420 u8421 u8422 u8423 u8424 u8425 u8426 u8427 u8428 u8429 u8430 u8431 u8432 u8433 u8434 u8435 u8436 u8437 u8438 u8439 u8440 u8441 u8442 u8443 u8444 u8445 u8446 u8447 u8448 u8449 u8450 u8451 u8452 u8454 u8455 u8456 u8457 u8458 u8459 u8460 u8461 u8462 u8463 u8464 u8465 u8467 u8468 u8469 u8470 u8471 u8472 u8473 u8474 u8475 u8476 u8477 u8478 u8479 u8480 u8481 u8482 u8483 u8484 u8485 u8486 u8487 u8488 u8489 u8490 u8491 u8492 u8493 u8494 u8495 u8496 u8497 u8498 u8499 u8500 u8501 u8502 u8503 u8504 u8505 u8506 u8507 u8508 u8509 u8510 u8511 u8512 u8513 u8515 u8516 u8517 u8518 u8519 u8520 u8521 u8522 u8523 u8524 u8525 u8526 u8527 u8528 u8529 u8530 u8531 u8532 u8533 u8534 u8535 u8536 u8537 u8538 u8539 u8540 u8541 u8542 u8543 u8544 u8545 u8546 u8547 u8548 u8549 u8550 u8551 u8552 u8553 u8554 u8555 u8557 u8558 u8559 u8560 u8562 u8563 u8565 u8566 u8567 u8568 u8569 u8570 u8571 u8572 u8573 u8574 u8575 u8576 u8577 u8578 u8579 u8580 u8581 u8582 u8583 u8584 u8585 u8586 u8587 u8588 u8589 u8590 u8591 u8592 u8593 u8594 u8595 u8596 u8597 u8598 u8599 u8600 u8601 u8602 u8603 u8605 u8606 u8607 u8608))
(define-constant PUBLIC-BATCH-43 (list u8609 u8610 u8611 u8612 u8613 u8614 u8615 u8616 u8617 u8618 u8619 u8620 u8621 u8622 u8623 u8624 u8625 u8626 u8627 u8628 u8629 u8630 u8631 u8632 u8633 u8634 u8635 u8636 u8637 u8638 u8639 u8640 u8641 u8642 u8643 u8644 u8645 u8646 u8647 u8648 u8649 u8650 u8651 u8652 u8653 u8654 u8655 u8656 u8657 u8658 u8659 u8660 u8661 u8662 u8663 u8664 u8665 u8666 u8667 u8668 u8669 u8670 u8671 u8672 u8673 u8674 u8675 u8676 u8677 u8678 u8679 u8680 u8681 u8682 u8683 u8684 u8685 u8686 u8687 u8688 u8689 u8690 u8691 u8692 u8693 u8694 u8695 u8696 u8697 u8698 u8699 u8700 u8701 u8702 u8703 u8704 u8705 u8706 u8707 u8708 u8710 u8711 u8713 u8714 u8715 u8716 u8717 u8718 u8719 u8720 u8721 u8722 u8723 u8724 u8725 u8726 u8728 u8729 u8730 u8731 u8732 u8733 u8734 u8735 u8736 u8737 u8738 u8739 u8740 u8741 u8742 u8743 u8744 u8745 u8746 u8747 u8748 u8749 u8750 u8751 u8752 u8753 u8754 u8755 u8756 u8757 u8758 u8759 u8760 u8761 u8762 u8763 u8764 u8765 u8766 u8767 u8768 u8769 u8770 u8771 u8772 u8773 u8774 u8775 u8776 u8777 u8779 u8780 u8781 u8782 u8783 u8785 u8786 u8787 u8788 u8789 u8790 u8791 u8795 u8796 u8797 u8798 u8799 u8800 u8801 u8802 u8803 u8804 u8805 u8806 u8808 u8809 u8810 u8811 u8812 u8814 u8815 u8816 u8817 u8818))
(define-constant PUBLIC-BATCH-44 (list u8819 u8820 u8821 u8822 u8823 u8824 u8825 u8826 u8827 u8828 u8829 u8830 u8831 u8832 u8833 u8834 u8835 u8836 u8837 u8838 u8839 u8840 u8841 u8842 u8843 u8844 u8845 u8846 u8847 u8848 u8849 u8850 u8851 u8852 u8853 u8854 u8855 u8856 u8857 u8858 u8859 u8860 u8861 u8862 u8863 u8864 u8865 u8866 u8867 u8868 u8869 u8870 u8871 u8872 u8873 u8874 u8875 u8876 u8877 u8879 u8880 u8881 u8882 u8883 u8884 u8885 u8886 u8887 u8888 u8889 u8890 u8891 u8892 u8893 u8894 u8895 u8896 u8897 u8898 u8899 u8900 u8901 u8902 u8903 u8904 u8905 u8906 u8907 u8908 u8909 u8910 u8911 u8912 u8913 u8914 u8915 u8916 u8917 u8918 u8919 u8920 u8922 u8923 u8924 u8925 u8926 u8927 u8928 u8929 u8930 u8931 u8932 u8933 u8934 u8935 u8936 u8937 u8938 u8939 u8940 u8941 u8942 u8943 u8944 u8945 u8946 u8947 u8948 u8949 u8950 u8951 u8952 u8954 u8955 u8956 u8957 u8958 u8959 u8960 u8961 u8962 u8963 u8964 u8965 u8966 u8968 u8969 u8970 u8971 u8972 u8973 u8974 u8975 u8976 u8977 u8978 u8979 u8980 u8981 u8982 u8983 u8984 u8985 u8986 u8987 u8988 u8989 u8990 u8991 u8992 u8993 u8994 u8995 u8996 u8997 u8998 u8999 u9000 u9003 u9004 u9005 u9006 u9007 u9008 u9009 u9010 u9011 u9013 u9014 u9015 u9016 u9017 u9018 u9019 u9020 u9021 u9022 u9023 u9024 u9026))
(define-constant PUBLIC-BATCH-45 (list u9027 u9028 u9029 u9030 u9031 u9032 u9033 u9034 u9035 u9036 u9037 u9038 u9039 u9040 u9041 u9042 u9043 u9044 u9045 u9046 u9047 u9048 u9049 u9050 u9051 u9052 u9053 u9054 u9055 u9056 u9057 u9058 u9059 u9060 u9062 u9063 u9064 u9065 u9066 u9067 u9068 u9069 u9070 u9071 u9072 u9073 u9075 u9077 u9078 u9079 u9080 u9081 u9082 u9083 u9084 u9085 u9086 u9087 u9088 u9089 u9091 u9092 u9093 u9094 u9095 u9096 u9097 u9098 u9099 u9100 u9101 u9102 u9103 u9104 u9105 u9106 u9107 u9108 u9109 u9110 u9111 u9112 u9113 u9115 u9116 u9117 u9118 u9119 u9120 u9121 u9122 u9123 u9124 u9125 u9126 u9127 u9128 u9129 u9130 u9131 u9132 u9133 u9134 u9135 u9136 u9137 u9138 u9139 u9140 u9141 u9142 u9143 u9144 u9145 u9146 u9147 u9148 u9149 u9150 u9151 u9152 u9153 u9155 u9156 u9157 u9158 u9159 u9160 u9161 u9162 u9163 u9164 u9165 u9166 u9167 u9168 u9169 u9170 u9171 u9172 u9173 u9174 u9175 u9176 u9177 u9178 u9179 u9180 u9182 u9183 u9184 u9185 u9186 u9187 u9188 u9189 u9190 u9191 u9192 u9193 u9194 u9195 u9196 u9197 u9198 u9199 u9200 u9201 u9202 u9203 u9204 u9205 u9206 u9207 u9208 u9209 u9210 u9211 u9212 u9213 u9214 u9215 u9216 u9217 u9218 u9219 u9220 u9221 u9222 u9223 u9224 u9225 u9226 u9227 u9228 u9229 u9230 u9231 u9233 u9234))
(define-constant PUBLIC-BATCH-46 (list u9235 u9236 u9237 u9238 u9239 u9241 u9242 u9243 u9244 u9245 u9246 u9247 u9248 u9250 u9251 u9252 u9253 u9254 u9255 u9256 u9257 u9258 u9259 u9260 u9261 u9262 u9263 u9264 u9265 u9266 u9267 u9268 u9269 u9270 u9271 u9272 u9273 u9274 u9275 u9276 u9277 u9278 u9279 u9280 u9281 u9282 u9283 u9284 u9285 u9286 u9287 u9288 u9289 u9290 u9291 u9292 u9293 u9294 u9295 u9296 u9297 u9298 u9299 u9300 u9301 u9302 u9303 u9304 u9305 u9306 u9307 u9308 u9309 u9310 u9311 u9312 u9313 u9314 u9315 u9316 u9317 u9318 u9320 u9321 u9322 u9323 u9324 u9325 u9326 u9327 u9328 u9329 u9330 u9331 u9332 u9333 u9334 u9335 u9336 u9337 u9338 u9339 u9340 u9341 u9342 u9343 u9344 u9345 u9346 u9347 u9348 u9349 u9350 u9351 u9352 u9353 u9354 u9355 u9356 u9357 u9358 u9359 u9360 u9361 u9362 u9363 u9364 u9365 u9366 u9367 u9368 u9369 u9370 u9371 u9372 u9373 u9374 u9375 u9376 u9377 u9378 u9379 u9380 u9381 u9383 u9384 u9385 u9386 u9387 u9388 u9389 u9390 u9391 u9392 u9393 u9394 u9395 u9396 u9397 u9398 u9399 u9400 u9401 u9402 u9403 u9404 u9405 u9406 u9408 u9409 u9410 u9411 u9412 u9413 u9414 u9415 u9416 u9417 u9418 u9419 u9420 u9421 u9422 u9423 u9424 u9425 u9426 u9427 u9428 u9429 u9430 u9431 u9432 u9433 u9434 u9435 u9436 u9437 u9438 u9439))
(define-constant PUBLIC-BATCH-47 (list u9440 u9441 u9442 u9443 u9444 u9445 u9446 u9447 u9448 u9449 u9450 u9451 u9452 u9453 u9454 u9455 u9456 u9457 u9458 u9459 u9460 u9461 u9462 u9463 u9464 u9465 u9466 u9467 u9469 u9470 u9471 u9472 u9473 u9474 u9475 u9476 u9477 u9478 u9479 u9480 u9481 u9482 u9483 u9484 u9485 u9486 u9487 u9488 u9489 u9490 u9491 u9492 u9493 u9494 u9495 u9496 u9497 u9498 u9499 u9500 u9501 u9502 u9503 u9504 u9505 u9506 u9507 u9508 u9509 u9510 u9511 u9512 u9513 u9514 u9515 u9516 u9517 u9518 u9519 u9520 u9521 u9522 u9523 u9524 u9525 u9526 u9527 u9528 u9529 u9530 u9531 u9532 u9533 u9534 u9535 u9536 u9538 u9539 u9540 u9541 u9542 u9543 u9544 u9545 u9546 u9547 u9548 u9549 u9550 u9551 u9552 u9553 u9554 u9555 u9556 u9557 u9558 u9559 u9560 u9561 u9562 u9563 u9564 u9565 u9566 u9567 u9568 u9569 u9570 u9571 u9572 u9573 u9574 u9575 u9576 u9577 u9578 u9579 u9580 u9581 u9582 u9583 u9584 u9585 u9586 u9587 u9588 u9589 u9590 u9591 u9592 u9593 u9594 u9595 u9596 u9597 u9598 u9599 u9600 u9602 u9603 u9605 u9606 u9607 u9608 u9609 u9610 u9611 u9612 u9613 u9614 u9615 u9616 u9617 u9618 u9619 u9620 u9621 u9622 u9623 u9624 u9625 u9626 u9627 u9628 u9629 u9630 u9631 u9632 u9633 u9634 u9635 u9636 u9637 u9638 u9640 u9641 u9642 u9643 u9644))
(define-constant PUBLIC-BATCH-48 (list u9645 u9646 u9647 u9648 u9649 u9650 u9652 u9653 u9654 u9655 u9656 u9657 u9658 u9659 u9660 u9661 u9662 u9663 u9664 u9665 u9666 u9667 u9668 u9669 u9670 u9671 u9672 u9673 u9674 u9675 u9676 u9677 u9678 u9679 u9680 u9681 u9682 u9683 u9684 u9685 u9686 u9687 u9688 u9689 u9690 u9691 u9692 u9693 u9694 u9695 u9696 u9697 u9698 u9699 u9700 u9701 u9702 u9703 u9704 u9705 u9706 u9707 u9708 u9709 u9710 u9711 u9712 u9713 u9714 u9715 u9716 u9717 u9718 u9719 u9720 u9721 u9722 u9723 u9724 u9725 u9726 u9727 u9728 u9729 u9730 u9731 u9732 u9733 u9734 u9735 u9736 u9737 u9738 u9739 u9740 u9741 u9742 u9744 u9745 u9746 u9747 u9748 u9749 u9750 u9751 u9752 u9753 u9754 u9756 u9757 u9758 u9760 u9761 u9762 u9763 u9764 u9765 u9766 u9767 u9768 u9769 u9770 u9771 u9772 u9773 u9775 u9776 u9777 u9778 u9779 u9780 u9781 u9782 u9783 u9784 u9785 u9786 u9787 u9788 u9789 u9790 u9791 u9792 u9794 u9795 u9796 u9797 u9799 u9800 u9801 u9802 u9803 u9804 u9805 u9806 u9807 u9808 u9809 u9810 u9811 u9812 u9813 u9814 u9815 u9816 u9817 u9818 u9819 u9820 u9821 u9822 u9823 u9824 u9825 u9826 u9827 u9828 u9829 u9830 u9831 u9832 u9833 u9834 u9835 u9836 u9837 u9838 u9839 u9840 u9841 u9843 u9844 u9845 u9846 u9847 u9848 u9849 u9850 u9851 u9852))
(define-constant PUBLIC-BATCH-49 (list u9853 u9854 u9855 u9856 u9857 u9858 u9859 u9860 u9861 u9862 u9863 u9864 u9865 u9866 u9867 u9868 u9869 u9870 u9871 u9872 u9873 u9874 u9875 u9876 u9877 u9878 u9879 u9880 u9881 u9882 u9883 u9884 u9885 u9886 u9887 u9888 u9889 u9890 u9891 u9892 u9893 u9894 u9895 u9896 u9897 u9898 u9899 u9900 u9901 u9902 u9903 u9906 u9907 u9908 u9909 u9910 u9912 u9913 u9914 u9915 u9916 u9917 u9918 u9919 u9920 u9922 u9923 u9924 u9925 u9926 u9927 u9928 u9929 u9930 u9931 u9932 u9933 u9934 u9935 u9936 u9937 u9938 u9939 u9940 u9941 u9942 u9943 u9944 u9945 u9946 u9947 u9948 u9949 u9950 u9951 u9952 u9954 u9955 u9956 u9957 u9958 u9959 u9960 u9961 u9962 u9963 u9964 u9965 u9966 u9967 u9968 u9969 u9970 u9971 u9972 u9973 u9974 u9975 u9976 u9977 u9978 u9979 u9980 u9982 u9983 u9984 u9985 u9986 u9987 u9988 u9989 u9990 u9991 u9992 u9993 u9994 u9995 u9996 u9997 u9998 u9999 u10000))
;; Step 4: Mint all non-reserved IDs to MARKETPLACE (froggy-nft-marketplace contract)
(map-set token-count MARKETPLACE
(+ (fold mint-marketplace-iter PUBLIC-BATCH-1 u0)
(fold mint-marketplace-iter PUBLIC-BATCH-2 u0)
(fold mint-marketplace-iter PUBLIC-BATCH-3 u0)
(fold mint-marketplace-iter PUBLIC-BATCH-4 u0)
(fold mint-marketplace-iter PUBLIC-BATCH-5 u0)
(fold mint-marketplace-iter PUBLIC-BATCH-6 u0)
(fold mint-marketplace-iter PUBLIC-BATCH-7 u0)
(fold mint-marketplace-iter PUBLIC-BATCH-8 u0)
(fold mint-marketplace-iter PUBLIC-BATCH-9 u0)
(fold mint-marketplace-iter PUBLIC-BATCH-10 u0)
(fold mint-marketplace-iter PUBLIC-BATCH-11 u0)
(fold mint-marketplace-iter PUBLIC-BATCH-12 u0)
(fold mint-marketplace-iter PUBLIC-BATCH-13 u0)
(fold mint-marketplace-iter PUBLIC-BATCH-14 u0)
(fold mint-marketplace-iter PUBLIC-BATCH-15 u0)
(fold mint-marketplace-iter PUBLIC-BATCH-16 u0)
(fold mint-marketplace-iter PUBLIC-BATCH-17 u0)
(fold mint-marketplace-iter PUBLIC-BATCH-18 u0)
(fold mint-marketplace-iter PUBLIC-BATCH-19 u0)
(fold mint-marketplace-iter PUBLIC-BATCH-20 u0)
(fold mint-marketplace-iter PUBLIC-BATCH-21 u0)
(fold mint-marketplace-iter PUBLIC-BATCH-22 u0)
(fold mint-marketplace-iter PUBLIC-BATCH-23 u0)
(fold mint-marketplace-iter PUBLIC-BATCH-24 u0)
(fold mint-marketplace-iter PUBLIC-BATCH-25 u0)
(fold mint-marketplace-iter PUBLIC-BATCH-26 u0)
(fold mint-marketplace-iter PUBLIC-BATCH-27 u0)
(fold mint-marketplace-iter PUBLIC-BATCH-28 u0)
(fold mint-marketplace-iter PUBLIC-BATCH-29 u0)
(fold mint-marketplace-iter PUBLIC-BATCH-30 u0)
(fold mint-marketplace-iter PUBLIC-BATCH-31 u0)
(fold mint-marketplace-iter PUBLIC-BATCH-32 u0)
(fold mint-marketplace-iter PUBLIC-BATCH-33 u0)
(fold mint-marketplace-iter PUBLIC-BATCH-34 u0)
(fold mint-marketplace-iter PUBLIC-BATCH-35 u0)
(fold mint-marketplace-iter PUBLIC-BATCH-36 u0)
(fold mint-marketplace-iter PUBLIC-BATCH-37 u0)
(fold mint-marketplace-iter PUBLIC-BATCH-38 u0)
(fold mint-marketplace-iter PUBLIC-BATCH-39 u0)
(fold mint-marketplace-iter PUBLIC-BATCH-40 u0)
(fold mint-marketplace-iter PUBLIC-BATCH-41 u0)
(fold mint-marketplace-iter PUBLIC-BATCH-42 u0)
(fold mint-marketplace-iter PUBLIC-BATCH-43 u0)
(fold mint-marketplace-iter PUBLIC-BATCH-44 u0)
(fold mint-marketplace-iter PUBLIC-BATCH-45 u0)
(fold mint-marketplace-iter PUBLIC-BATCH-46 u0)
(fold mint-marketplace-iter PUBLIC-BATCH-47 u0)
(fold mint-marketplace-iter PUBLIC-BATCH-48 u0)
(fold mint-marketplace-iter PUBLIC-BATCH-49 u0)))