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 ^/ ,t ]% Localization_Ring:threads=4elapsed=26.928cpu=71.996gc=1.500factor=2.677zXZִF! 5O]ŗXf[&!вIփ+LPuD^>xapFP% g`))l5$}ev̶paJHBTRERzeLٲ4O6%yB;y (D1v A2T%Sl5!=J(Y%=% ~&,rȱ#3VZ sl/\AFD Ww$YbKMj(%jZj w?B<}3⑿LjcAɺxo&vuh*>:Ȼ6^޳ / Localization_Ring  "x겟+ǀbuHG;*RyV^"= GJ_WKZY.$J4ZpN'^ŁUXUkDwЋtxe? LPXR*:+>6?ˍfKBij\_o~&AȞpHKgHȶmdϓ#ɠj7{Tpu|Yb6+#Ma8FA뀷 b)/k$.gE]8O 7\SwxM)BQ~p %(SFva#»|ȿԚ81&a@J,2|>nQ;`}'*qhGƸ_Fb:H@Z<(<06,It_Zes^A7Kc="r%]Q]iW35 Ѿ`{ kEDR %Z0֝PK4o>ప#xz٨ipEu _RU&w1."TZucuv;s02mn@n5Qχm)trn9NG ^2dV :zQt2!VR\>PsCΧw};|㙄k~бgYZ7zXZִF! RH]ŗXiɟ }#xLG_^ }@S$&A/dSu}YZ7zXZִF! ]ŗXi%Eb⬞MrB~KXxmϨDo6{,V9=#0S&1aDJ *V={C=#%Br8@8V ?! eֽ[  S2'9zA)C.4cR<rXٶ8iGz~4hoRiWsIT %KfƩ6t. 3L0l\_^h@@GAQI8kL$@1?? Ȇf8?E`U%.[kBIB;;nqѬq2,{A Z;6H(iO^~Fkt+zhn Ôl8t+lX+Yd=lN~^A PB:\ rvI:< bwϝC'aG&;lV655T[p? z^l w=jOߪdtTE׼͂[.~74jC;5HL6i1<:# j: ?Tvǵ1:ϰjԣ?r#>nP1:[)vܳC.SƟ("ɪ튀\BpuQ]=[lDą7֫ L dKA}'B}?4?$1-[%& }'?^(%{r>28x9e0d<²&׀P @5J3qw[,HYtayesf#cNa1Sߞ*a=6 V&Ϋm ėzo駀D Z%MW 3Am~PX"ĤzsIg3;pg=~͌3v|8u!Ax!TBy'ub~ljJi{s^Ws/mh %5ϳXcm(D؏