SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  8G D ] Probabilistic_System_Zoo-BNFs:threads=2elapsed=54.028cpu=94.352gc=3.864factor=1.757zXZִF! 4$]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&VLkc&G'8Z~pKdi|mKXК},Jb/$'(i TV&ДZ(V &zQxq~J`lB-g[z*ޥ0qG}C܈HXX-m 'GIDxX᩠.E;NM2 5SZs'Tu7:݆9r)9mN'!?oi s)Q)U4.avc"M/СJ kf3l5I.tX'd帻C{!O5m(V7QŭAlRwby OǢFkK#9 XmIbw4vpcm7LIk7 0 &9"y3َfpuP[!d ^ݺF"bG0`Sy &%G1zg /C]k SUTp#*fgY>!}C*XZ1I?,wli^m(!Fs9ڬBr$Z0)S|ΛzQT `He;޳/BlgX<"ϕ<^ KQ\ P`iR`Jh.}q׵ pԪuΜ V4QN0ma\fΏ`㴵-Z7S17- d8Hip3D>؏Ȟzvu)pnYjB B,Tћ"$jcԋ }}Y̓%iY,SyQr ax'2H*܇,R`l)vpC F5DmhQ&ZnnPfk}!IzSd]@{[RpG5%с|jf.bՆ' hgYZ7zXZִF! ]ŗXiɟ1˦r90Fn0''ztZguT~nLt Yr bY0} 0Q$ \fFQE  G Probabilistic_System_Zoo-BNFs  {}PB 7bh`8v町s PaK χ~ϋsx6AZKX "B̽#dsf*r&;;H0趑 Se$P)PGJie:Ο kCo _>mOI$%y}FS)>kRߕF ڊu1WZsm['.^mJE& Yԃd!Iaj0gha=6:V]QE ]rַ"kƐnE[J-`z0[)=J^Es&,{b2}ϱgYZ7zXZִF! r ]ŗXi%;H^lK(~7MFf'Nh_׏el>kH_"RC".ijD5ĕ9PE[AĬZbWrI٠i=QA(;Je`vrnh5iZ Z"C F5s>޻R^@""Gg>gUe:B-~zmY𥎦7{c٢''`=DFl42<8W$&w>>8AUܭ3i7Tej aȋX@vp)|[ݧ'ѕ4/Ģ#z鴨%^] {:Ŝ⾼dj\4[ٞDW ~Ew6j'".W-fбhԻoY;Ę s9:ik% jPd!X'Sr~ڏc!) H =`f=3mz >&sZHTnd`^31Fb\+q]2g0I)]nz6f?oCD )m[2y See HTLȠ btxeAv/Wyi"9pcg74;:նDl 5oF\1Vmdք'TF#w) Ytw(l/! a%#{SB$VT?4 5?xu;ꡪ $S ?š rop3k. %,qOu*W'[H{V$k恝MƫaOK^͚4cnҧYIJxY*iޜw{c1u6b[s6M( De/[*'8d­٨+Fqklfd8]ͣ-lTQ&Q c[9dī8ڃ:{]q"?XcbBxC Pt[ɪrJE+Vң?K{KxqAN%^JDeTQc#Z?<}T+UnA'2#Y̽uZj,:C'~Fx{>=xC;$q&`tE35YqVa]2#iTw9܋eD\OtO{qE/3@anGϤ; p6=hpQ~ ArQ&B#?B'?W%ʃKI~ʳnb9\wP BEKdrHȲ%PsFM'8_Pf̗w:PA%=:Â˗qLptsF_|.}`3-Tm J':'DRg|yTͨ/8T>KP#{սmW lD$h ?-{Rv L!ڳWI|*V܋{\t rxb/j׸S˷O[{^+$13ZD'-H$3u<7 ^(J'{r[NؗE"L-mFCP"B On+$ԝR ae%:G= P|V83{݉qv@Cn򰔍t J7|43?{St$45vV賏ށ7DқY-SoeR;(U)7}&'1TdY&QQkB0cfٵ<=(r~G\?H+cr=Y;.dA&AJ6F#<|^K܎ Wf(wƖ¤kkE[A4ӄFVcG%䙓nD- xU_һsy 8oP!dҒΞa"pTeŋ˷jNV 4@#!v5/&2KO-A-2"BIocG `;!gYZd78c2807c8d24ee22ceaa4e48db533ac8ff59df3a70f3b1dab78f27422c2c199c67ce3165c51f78c f87e99c2e2333d54a40f2ebcf261012b052e5e39 c382ccf41ab8971be7e30191e1f54a96cf9fa69e