SQLite format 3@ .0:  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 //N lL ] ZF-UNITY:threads=6elapsed=6.214cpu=32.288gc=1.336factor=5.207zXZִF! 8]ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jb9:Fz힅cXߐ㨍VXm{!pɊT-xv=iQ8~uW!3~$X<-m+WG3]Y߾XUs7'mD[;M? 0i)%[pB޽Ph 2w膢kgQcr%Ȯ)q- ݷy D6aU ű9v!z+:h]+_JKE2|n]$yu'9vfIJE_`[(* _g M9 |RpX0epʕjc@x# T )w>vDa#~%8B͌wMh W6BDs=$%@]bU/-gj R 䓽TɥlT~'ZzD(]H -7!}ϤAA T)7$<@s$QɈNC _ۑ(x)2pPr=6*훘fpqǗڽ*M%; =JF7RXY=J.WVO 8RX7o풃޸Qo~'*DG?8gYZ7zXZִF! h_]ŗXiɟ9 i:4V;}A<<ګMP7i_1e[kxfDt'Ra4A~PUSA!j=^2 T𘗫x ue6)a ;1v ao!D93A7pNZ(ܬ_1vB1 W6(u@?=0ȾzY:#W s!  `gYZ7zXZִF! $s]ŗXi%GP%VST_m{śSrt%_7 tSl[GZM9rTB?j;Pl |p=Xn,MCM )v[{kHAhGo*%4TJb/NS#lwe#xYn2-4+ xW5ٱXvl} rO.GFQrk=et"noI[j/z׍KXmaڭ[2t#BFm"!dVʾ z"o a WBw|woԟ,T[P\ Ss>l-潝4SB!W`i ̅#֤ZuPz9no~&wbR7hng0󆟎 @Fյ;B_EMZh(W7Mfz