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 Q ||d ] IOA:threads=6elapsed=7.225cpu=31.412gc=1.232factor=4.357zXZִF! Y]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;KqY(Ug!Nٙl|'2;HUMyamllhnДU A6?udj()<kOcWb}׈9? obV}֐9Zp#ٮ҉SFx W#CmA8|@O^q>1ej%U4!۾O/jOK$[m p" Y@J*h5Na ̵Ok6ޑe\ .qݺ9nbu8VvgYZ7zXZִF! `v]ŗXiɟdN'LvH۹j}%MPVMQZkHu!!!y1$JJxڬ?3E[zt9xbNgCHu92(ٹJĢ$ W$^Cdcڇ)A#խWb6aU4H?b2 W>H6jnqӰZzS׫k p4NZqPˠ*[f3 _E!úNypA!! S_Ä7q xL[e,JLΝ |})o되uEr,TayWχ ;0K(X%a+R∓8-I#$ κgYZ7zXZִF! )+]ŗXi%EZh1ml'SWAR;Q=r fw6dK baSH wЋ$S:$l\nT=`՞ T-f^ǜv(}O@eAegr8- 0i~Q5XU3{܂ q{uvWl::'*fKn[&Zή%ND NT-zCC[::[x% h0;t i#@ آmqė?P$5]}sO`'2vTlKzַHJvLG3 {s#?(DyBc9c/$:LFi&Բ!TABaoa9)|k1Rt U; ΞV`PqhN&`pJ8& -7y1ƽ1_uzW|1Zm-t^`DК=nѝa~l$Yz(j7hZnܧI7R 2 БWu(EC<Bnt|+@.tqvZyr;!\D cz/T0sqĚ1uXk ֲFdL$r'5O"  D 3j C+MvFC L29NüBN48- HXJr26p[xU`ߊ_` ?=|K cϣS!FN( /=C.QSsQo;>$pɃ+ CkG,#Qu]u8nx