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  +O L ]w Probabilistic_System_Zoo-Non_BNFs:threads=2elapsed=46.940cpu=86.760gc=4.928factor=1.857zXZִF! ,)]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^NƾEQb!=fOW填jC@о3N4yZ|u/vsK ,6=XL8̻:`w#!e5MB.[4&[[d8bwC1PtO&_mIH0Xt9RӦUk4kgy3.[/8^t{/wJmU/#]O=AQ<mRf[P'W5iN)՟BIV߳дU\@qdT7-xAdԌYOe7Jz֗r z\[l:/Ӵ(3xXק`J mǏY Ϧyz_RԺeFF^/QzgD|,$3AI atBKKyCO5sqSU HAIͿu>3DIAT3]ɝ<^Ͻy8}s=Yq^,a {i:ψ-S}Za)F>z!lcbde=hb)>nm/VKO#_q΀`rVSj>|$;=^|z17oHF4 Gb⠖%T $O Probabilistic_System_Zoo-Non_BNFs՗WW-/8,?l%)V5\Kբo3jxS.pKda&Ĺ6Nf,\P|{"tZ)";/$yZ'WN^?XߓccGNkD(+2;* i 2yǣ[‹)sw9 ڮ5RVBLLZD%z=bM %jϊ ~mN:]_k\&EkcmWӔ~8/rGbX$]-@. ZoðP[k1U_b[ѣe.-!m(5uV&[R\-jbUjF9 ,ygb?cYVz[G -I Y,.|dX˶l6g.c".tвC@\xN@E׃n,-_/e`nr49;N>,Caz=:/Q=L"fЌfV^z *hz4\j,8dq7Dfk=l۸!fh 1DQ/dbX:l(DT(\`Wܣa\&RٝpqpJ^ BDǶ}8. f+޺%9#m; Y1۝IRZUtVn@~;/r 91]b8i UOixE Kg h&#]6lRvӃ]-E1!0yJH T˜ |qk}KAt'4bP8%}_ɑ4a^{/1NRDO5K"M.Rl:hAozO4˾d+~dJK(R7yarDuUR) gTc Uc 9=4sRwN5b<\@}񑥉zuL^AZGGLod= )47"!Dx[^r5aPl$wQ -؁1ոL>+T7^)$=݈0WRT7=9'/+]q׳JS*&8P ~e2;.#qY' '0 .(ӛr;H?WYwoʋP5Sr6;WK!}}Pzq`iAWM_eFӊ\}H(>+K>jU#ZR,f1rGđZH j=olXjܙh=Xۙk׀gxgubNdٍDu!fAbY+e7ATBY cxvgeL@"hHo=u64=.7!F\p|T V5MM~n"kxwg "I`% *UmKx@pL/){ /؝9%P^b @u`L4;/ ) T[6~B @kM2O63ޡZFڮܿ|qxi7+洠TN% ^Jf`8we.i^[~ەI04Ո vT/>%5Q[~ fGX{ F=Pc:SF/KQT\IN* G