SQLite format 3@ . BBh77otableisabelle_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  U U G <l ] Probabilistic_System_Zoo-BNFs:threads=2elapsed=52.454cpu=90.832gc=3.588factor=1.737zXZִF! 1]ŗXf1-q恈͐7ӺV )5d҈4ٯ&o3H 6'2́n_̡4 -Xao%N!'O+{!6-11l4OPr8IYh,W6͍BUž5)D {+ \4;jݼu( 0yR >WS<!"+Y롛zS8Q4XB=ǡ9DŽIMD) cO:,ej{j,Qg?ƒiތ0&!ֻKmyCMh2.9%:KjU{i< rY&>%^&gĒM4J;Y=E?!bX <"A/5FDh n cX(\ֆ`/*o9u=X͚bgIEjjD*ٛu?w9G@j~~O)ֱ&s:+Lm;\,?ÏI quk‡  G Probabilistic_System_Zoo-BNFsW3,ض' VAjEaCSgxs3ʀxnC)Kdٶܑsd`8]${Ƴրޞ D堗9:U)dA8" czgYZ7zXZִF! ]ŗXiɟ1˦r90Fn0''ztZguT~mAx{K$lqRܑgi`XGҹ&=<_6柹vH'_6xpq͌/PoKI%!]L@rl]_m|NWOXԄD-&eNEg>O)R^kVgYZ7zXZִF!  .]ŗXi%;9,-VP7!!mSmˎcEDzmbnѽ7^"_F ^89FXlvXUƗ+b۸)rCSJ >v_,_~cfUp¹ >tC87{N]Aبv8(gk y!*%KZg-A=%Z )Ig0 G.㰸ψsZ'l^G[38KjMIuQ G3W8Zs7c@GGq&ٸUlXII{Ǜ`dq1̐ghB2cC-5Zr{'^#>"J',vRM]+A/:LlCs|$s'(bS7tBa.SU'`>W(kJ@,4F&UG-1㳵_&dt (c]fAIL3$sƴȻuyK^ I} bu׆kvd8KŻI 4R&g٫ф޶6&CF֧?U/%s7CD}z "0oHuɅL}O ||'=ؖv#Zꙉ"w_qֆa4p$^_hmedW ] 2(=::^Q:yЗcE@!{ ,^-% jg9I6g߯b1._ cN>zG, 5ua-ۊ"9e'G׎3¶>mj z#I "63d7bd Z'wc'_RLTI_ sN/*-d4`xP{}+TBzDAo1T.zT ?=AyUmBLvۈh\jo"`PL]}hb/ El%Q2q1)3p| \ZGO^VcIưibFdCep1M = O83ߚ#bfBЎkj䜐PTCy^de)3y4z1kE8BThuRٿܢ/yv?9?R%l[J겞 )_Wr䄂bHPfeק70S_韬._gX tYx:}ŴE,DcMG96xiALj{~͍d`EW㠐L[17p<.l.huV;cb#|/n'WPұ3p"əyD #ǀI |m+o' ]'=  "U(ˡG*On/+ɗTy{",l7~g(CIJ(J&`VOLxZb+d  GI\x\chn!M7ǹ,"gh:lFb6AzOzLoXjv-Ip/ە/BPfvX{"G%8c)ֲOԇ@ 9ɣX9 :O؝ ihqHڵ|d;KkP6g ˊUУ9 ffCa'zWOݒ MMKcS S2?6 jȮf]O(yǀ %A b?{tc_x̜_nz2O|*Y' Koɥ/>TSYq;ˍw e+ꃁ:om^'`jϻ\<#erjM;RXʓ =Yޏf[(\TGؐm ,=^ĥ"6ꦂdh9?(9rB?#̠SZBڊmv85eQsU 0YxmѝِsԙVo_#c]vs!2JHuad2=3 J[ߖ .,fRB(#՜S* q`~Q+bOL Uy9,v0-e?!DcM`xSKX$'&W|WǛ4y=-oye :=AȿE!0nx(  ?Iߐ~q@Ӟ8b|1ÚgYܠbDj-QM|ҊHɪtci_kY [(\׭8TTJ])+|o4ǥm ]gvM]i?B11}}" M9:7iQ@xh>|B1{úEGef($Q*/Puyg~"P vGs-" 5'!CzZ$}? oN'sL [QGm΂O5ޙ$*;(7U MMÕu&ʆ3bXU~CWUmvJ׈!8-'_v[b%_}xVF4p2#wW)\`F1ʹp|C+Mzn>ivZ u|'- 'J98L92pn/-}ڌ\SBOo^ROKҏ;-+K=F(B^`BXGVl<)2L8N a;+ƶ XUlHkcl_ X"P(n=?glwѤC#^Zl \ uDn->0T;Bʁ+Zm9q5| kG?yI>j۳) 8SLZSJvw]_3 gYZd7139232e5083d9d3637cc94a2b15c2170e22d5719483222939fc489952fa9ff470a43a5bdddd767 6fb5181067c76ae090b98814e5ff8a3a2ed813cf 65d80b9f55bd9ee9c1acb629a585b7cb4350661b