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 31 < ]% Stream_Fusion_Code:threads=4elapsed=11.950cpu=35.012gc=1.120factor=2.937zXZִF! #=]ŗXf[&R g0Fw[e0Ozt=3 az E0YIYLf,%cvMZꀤhf.^Fk-?2^ 7[7CifZ9zpp#3,KAЅz'u0ʕAYjߍ `zQa'߀!aJg!J4zY qR@rd~e^YܕC K@TcLUz֯jl w^u 5 Hd604Mso_A퀓vVN?עm, nY*wB++uI TxT@'_J)Mxe(-㑥ތ ?ޘ 1d<&7X|hB﫱WFǑ=,~`D**',Ɏra6i|kIkutpV vEL)q@-zT"gCl iç(J<߾ l_f<:gCi9%(^ ϰ%N $WUg+ÕIwHjpTp;kp|MPcHhTJz}T c,Byc_6OgYZ7zXZִF! ^\X]ŗXi%GgZ_ne!?3cp.}|>V CP iEnh4j{T|QGBJ˖A -U. KEk2O`f"GW/ lM[^nZ_:u>J"&"〓.Kn)u :\m wZRgTq>9LA,o{OҖl0\"$Cjl5ȘtL_Hh]e8uڲ-,_gpe02ڠgR ZJ-Q%!hfL* h起R'}ma*4z+[͞k(Ɣ=}yI ATq~48ѐ'~),<"hŕ|]oBrdcg-ֹ;q<2l9K[vz(G{R?rPCm~ xC TPxFDE}V΄ecsbg㬏|R*>;z@_Ub'uPFվV(0Ekly{KU up?זF;p[Ev>*|}2\ ̠q(AtyZ2\N͕xrDpMb${MwU TW>0efXI&@P $ OybƊ\97I;Տפ'] i'7} 8ʌ:Q~EMw>? >qijձ{*'0'im`9Vۡh  B᳠ 0W*5y+UVt""z'Mh6eoG"d5)J)“s @z vuX-ݻq ܚ(xC'؟r0@9-6nѵ媻J[wYV$7ܭ;nTM!Y,NZ˟-$p |^o\r\Yg˕t.*jrϴE#\zxƠy(qCZNN,dJ &BâQ6/|y%j`ikn fGfqɊ HBi/%w޷'p̶]G<k1f0Lsc{ovN><@K4=# x&\}٩T;+X`akG 9޽V؂t8uQ {[&1nrD3k? )mZsVE <Im< 2yP紋T\2T.ʿee(iUejVXOG`}{LiUnk#J8&"v="st g+!2EЮtC_Y ? N D$2 e~Q@}u`[bv'' ݼ5ljgYZad4770b6ad5b30115141b80e17b6b470d47c28f21795f3a7abed9fc1d9546e3552e224994a90ba84 4907e731bc16daddc205b6b11f8b89eb33f47f6b 7fc961cc80e3fa14142bcf04a0c8827ebbc701be f492cb8444ec798d386f376215f7b1d35a403d0c 46fa33e285b2d099a06a09a3f508267acc99e1e4 1 Stream_Fusion_Code