builtins_platform=JS
unique_name=it.unibo.tuprolog\:theory
compiler_version=1.8.21
depends=it.unibo.tuprolog\:unify it.unibo.tuprolog\:core it.unibo.tuprolog\:utils io.github.gciatto\:kt-math kotlin
serializedKlibFingerprint=1p5cxug1j6s4o.203kzew6uc022
serializedIrFileFingerprints=SerializedIrFileFingerprint(fileFingerprint\=2d57xu375v3z0.oc4mheozonm0) SerializedIrFileFingerprint(fileFingerprint\=17f50khl2ikxu.2j7xw02hoabeh) SerializedIrFileFingerprint(fileFingerprint\=2aqhzkp7r3h44.hvuei1y5rfzr) SerializedIrFileFingerprint(fileFingerprint\=22k8hidyaprf9.2wx89g4dtsfmb) SerializedIrFileFingerprint(fileFingerprint\=17v5em4qpv1u3.1rps0c8d00q67) SerializedIrFileFingerprint(fileFingerprint\=2wsk0ikmudtyt.2kfyckwoge3kc) SerializedIrFileFingerprint(fileFingerprint\=awgg5rmbejam.16om68isox0wg) SerializedIrFileFingerprint(fileFingerprint\=exvj2nyg5m9f.1izjn69c867wd) SerializedIrFileFingerprint(fileFingerprint\=1wjz872763p9o.26gitwjommvk0) SerializedIrFileFingerprint(fileFingerprint\=2r6blmq62uwh9.p2j1fsuxrycy) SerializedIrFileFingerprint(fileFingerprint\=7qs84cv0rvl8.36sfum219ujz3) SerializedIrFileFingerprint(fileFingerprint\=38mm8p9gb4zjr.kjab43tu583b) SerializedIrFileFingerprint(fileFingerprint\=1dkpgnvmiw5ad.34hc9q37ytby3) SerializedIrFileFingerprint(fileFingerprint\=1nwkxrr3watot.35xacn6wtx90y) SerializedIrFileFingerprint(fileFingerprint\=sq529fcc23v4.2w8zu2qs6sbgv) SerializedIrFileFingerprint(fileFingerprint\=1twhbob1hea8d.olzgx3ym1v22) SerializedIrFileFingerprint(fileFingerprint\=f2q0b8i1nvys.tn4w7jjov1ak) SerializedIrFileFingerprint(fileFingerprint\=14hk3sqct19tr.gor9ydyivrj9) SerializedIrFileFingerprint(fileFingerprint\=3pmaa3hl98oza.3bphhor8vejnh) SerializedIrFileFingerprint(fileFingerprint\=1g60cj4i9uxrw.1wgquycoyw056) SerializedIrFileFingerprint(fileFingerprint\=1olbc68ee5qo4.3qfcug8coakeo) SerializedIrFileFingerprint(fileFingerprint\=swf39rn0swvl.le99h86ykban) SerializedIrFileFingerprint(fileFingerprint\=3l77o8mdoevmp.dz5ojnizzc57) SerializedIrFileFingerprint(fileFingerprint\=hj1it342wykv.5g8gxetv91ur) SerializedIrFileFingerprint(fileFingerprint\=10gcfzqio6aya.pux0z6vc1sw0) SerializedIrFileFingerprint(fileFingerprint\=1p6qmfv1u7t7e.3dlzsefyednhh) SerializedIrFileFingerprint(fileFingerprint\=35m1nh8w4gp3.2akyta12t3wsc) SerializedIrFileFingerprint(fileFingerprint\=3sfpaivhiwaww.1gdrnu5j8cmx4) SerializedIrFileFingerprint(fileFingerprint\=1g90szhokgtxe.3prtntd664sxh) SerializedIrFileFingerprint(fileFingerprint\=32b8x43sxi8yo.1shbwe7nmwzg) SerializedIrFileFingerprint(fileFingerprint\=2fck7fwqqm2l2.119fff64c623q) SerializedIrFileFingerprint(fileFingerprint\=zo8j632b9tnq.poavzkfxzt4n) SerializedIrFileFingerprint(fileFingerprint\=1u13a8y2cgwle.1gai5krm33q0h) SerializedIrFileFingerprint(fileFingerprint\=1dcusr43xwr27.2d4o0af3r3pcl) SerializedIrFileFingerprint(fileFingerprint\=34me5r81glntq.3j3uniad41vut) SerializedIrFileFingerprint(fileFingerprint\=xs6nvsmzje6i.lzfg2chfj6i5) SerializedIrFileFingerprint(fileFingerprint\=3qi64v7xqfn27.2q5ue18xqr91r) SerializedIrFileFingerprint(fileFingerprint\=f1g5to1curxw.2fh2rmd7nnmax) SerializedIrFileFingerprint(fileFingerprint\=qa4u6s5q1i11.1z9b2bp0iwaod) SerializedIrFileFingerprint(fileFingerprint\=1lpbamjecm8nw.1kfz9laqrfbws) SerializedIrFileFingerprint(fileFingerprint\=z71yh62n3ipn.cc6hgtgsqj0p) SerializedIrFileFingerprint(fileFingerprint\=2cjvveabmarhd.oygg9uy23ws7) SerializedIrFileFingerprint(fileFingerprint\=1vbvg5wae0sc8.mzk2lmpzsf5d) SerializedIrFileFingerprint(fileFingerprint\=t9drh809115r.1d074fwgs9nka) SerializedIrFileFingerprint(fileFingerprint\=27q6umuj3wqzh.298gyy2p2pxj0) SerializedIrFileFingerprint(fileFingerprint\=1ev05qmi9wy2k.339bdk48gvhwi) SerializedIrFileFingerprint(fileFingerprint\=19gnb9vbmk6ut.m99ntwlpsqgo) SerializedIrFileFingerprint(fileFingerprint\=53w7v8nnxwds.j80brx48md1o) SerializedIrFileFingerprint(fileFingerprint\=n1uefb5rkcav.3h42f9p537qea) SerializedIrFileFingerprint(fileFingerprint\=1s0z3nlzl0gzg.2ntz6ny6zmxvm) SerializedIrFileFingerprint(fileFingerprint\=1a4ipskuqd8jb.15u95vbcbedx6) SerializedIrFileFingerprint(fileFingerprint\=1g6ioc16rfsuj.2jvud92pkxa04) SerializedIrFileFingerprint(fileFingerprint\=30m5vj6gttb4.3grgqmyavrwh1) SerializedIrFileFingerprint(fileFingerprint\=3cjrfmtvjfrdz.161q2p2h1ui9e) SerializedIrFileFingerprint(fileFingerprint\=2y6xodwejmzgj.39ia5wn1t2s1c) SerializedIrFileFingerprint(fileFingerprint\=3d0vxvmbyytdd.2piro9u43m2cc) SerializedIrFileFingerprint(fileFingerprint\=2kvomcfc0gy9p.3bbegvw4ple58) SerializedIrFileFingerprint(fileFingerprint\=2qw60gxn17au1.1vdjnovzxa4zf) SerializedIrFileFingerprint(fileFingerprint\=2hc7ss0g49ni8.1bq3okn9rzv31) SerializedIrFileFingerprint(fileFingerprint\=1h4d1n4hyv54j.wm28ifj2vqsq) SerializedIrFileFingerprint(fileFingerprint\=2eygjjaosu4zu.2h8lnd341uc0p) SerializedIrFileFingerprint(fileFingerprint\=1g8d6pzovq8vr.76h9hvxqze9w) SerializedIrFileFingerprint(fileFingerprint\=28l75sowqaoy2.1w57opmyrr85r) SerializedIrFileFingerprint(fileFingerprint\=35j6rd7n5r5bw.3jvkkzso5acxk) SerializedIrFileFingerprint(fileFingerprint\=3fqj6isb0knok.s2fx8ho29gte) SerializedIrFileFingerprint(fileFingerprint\=36iyq1vyzqfoc.u1syaz4tih2t) SerializedIrFileFingerprint(fileFingerprint\=pq4s6uskn4te.2zr0wj2ztk9n9) SerializedIrFileFingerprint(fileFingerprint\=1batcc83e8hpj.36xh6oaoe4nx9)
jsOutputName=2p-theory
abi_version=1.7.0
metadata_version=1.4.1
ir_version=1.0.0
