SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 =/< $ ]/ Max-Card-Matching:threads=4elapsed=1.633cpu=3.244gc=0.000factor=1.997zXZִF! uV ]ŗXiɟH)0%omQnǻ3C~U+ۃ1(`Ȫ|T1RK%Ls2yg_E机'ީV/aUYSN}942=SdbNW|@SW{YL W}(OOYPOrn|tP" {ZzBq0rɠ;gK]>Sw*ݫ"$?Q|¶N y[1 vJzMStx?<~\ [t8- ܹ$}m%&= !,W܍P6_4 }=q]A,zYY,SXdv) eyŠ6q<=7 Da:2R޳NNMpQL%~R4uЭBG/8OzOzP5]GĀY[wm9dz); ^RzzPzy0WͩZfcWj4E1rƺ?/)N.a%2)uju2P̡I| cZ ?=mUﭳ?D-i2G=W.Ѡ8 LOYA6*G Jhi5<K SRLD">ɋ*[9>UQ!Ż2K%>yс`TؾTh`nCա"N4"dLY0gʁpAUC'_}K zrc##r7]=o(©yMNjs:Һ)϶1>."NdB¶uVn34f;WC9=٬ͨU;fH=xNx| ړƻdzUIvCZNbjTXٚƹ Aݑo)S9Rt)Eevhǂ?o>K/׍afzh u3G܊τ`|QԦԵABh Ң0Q3Jg(t@Bt{sֽ\ S4V,B2~ɪUqO(J 3:,R-$:7jv R#4\zѪ޷e1:޿(qJ6rjx!B-(kye` ϷWpN#va}HUt>*eN]ﶃNJg~Q6mR61 dMEJʓw/qgYZ7zXZִF! ND]ŗXiɟVĻ,|WU9J .H՚৯(HP"`O}YZ7zXZִF! ]ŗXi%L!l\R ~"3)Z{a җ%Uk^Dqa(| `Y,8#[YՊ1K;Zx Oi]O~lw[zZYxwr{rDluPL`MەPeY ɤ|,K\IoP[ s:W}^n* Yf6q:*@{.KP8a 2e A8Y\nXv0v$SmEJr?QEH: =ÁR-[eO^~U&uG6(a}69t ^oSVQDW׬amź>oxBҊ+͘:k^3}x(rz,VT jiG|G܆! =Ou,)C+BM0dY%}@Ʒrq,3R8 ,]QJ.BvVhǦ4m.