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 s lGa YK10C* UJ <.dC^E 4rI\?d{in6A+/kxk!lxNenmG,_[HJoGPN: 50b(Vؿ+:*(M4K>Ǔ%Gl88:xz9*jHh( e?b^}?]2N:g  HOLCF  *k@ ?,Ͼ&j!6GQ_IZ+K )~4(X+B [ٰL&@P]On] m`ZEX`93 oCg_fIkf&Y^,[a 6ztaJ?LQ$,@'<>q mF~_3RV7WJ?RG5}CUIktXX9&>o~fK"j;e #'L}+Rv@=dӇɇ9S2]гZR3Hpnt7%[?^!,^+ ZT]h 6Y 'xE8+}vB(«;r5Daͺ1uDXYH0=zH\0"q65ZEN{gNkА]\^O7.~ʕƿ{0}%\TKءz {JDgqs݉e1P*_q XӾH!+pKmSWrٶHd,ij~!"ٽ>A[,C2;)?&1>~Xq8щGo?MFH{̊cSaBl;DnMsvi~~E/RlRv2 gUp௑P%o;ZvVԥitdkmu;+9nqY_Fe8BNY&M"H7]pstxzcG[E &S /_;ZsAsh6NGz$'4s.j;߈K~ϪH*ܲf:L o(mOTccQ` rjtaQ-.lHhpheH1=XQ:" ͌q'D ,yCY]"K!;J2*Mome:Ėh]@,SP ߮& ,Uܖp,/R`3nE&sQv%1[ǂH#_;Zч4l5?Q_=ʓ}*_ԐX:@QTVCs@WS}r= B cJƘVrsE3n6vP?#v*XM#zhmPgI]r=#(B4i+wX22A6r\6F ${dW*_A3ͧTr\ /Ƃp;.Hlh[/T`j3}̽lrɉb̟jaPõ}RU8JPN*΋D걚HEfQaƢ ÝZ( "0n\Oގ@' V*;Ff;L W%[kXq'}M12hC D'??a>*iQ|ʨh-YЄ=WWzgú%r]ft0BcQ8AgF"d)RyLD8F3:`ˀÖՓup|frz' 5(A`rSI(者yw|h歌:^0q!esq́@\_“YąU,i0qXd>?^i>吺۸jSc&Oys~DeAtCYw4% yIrGҼ7t"nOLӼ ozJ+W67oJC##C@Z-$0кJjX6T")E4)=LKU̲b<x{~SپCAf(tͯ{,qo fJ{Ҹ<]k⋿2):M*]#Br]l>X6"ܘO.cn#bUg"~y m|H"*j/ et][ DJe|+_gYZ84b930d6dd527c1ef3247e49765422c24ad993f4d3f90704504dab3f9fc94e3d143d1180eb260c4a 05a03eacc3059078cac786ce4b0187a596b54f20ee58ad68a2d8abc3d25e6f08672dfb15b64788d1