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  !|td ] Splay_Tree:threads=4elapsed=68.449cpu=106.560gc=1.148factor=1.567zXZִF! ]ŗXf[&R=P"ՙxzВ/se싡Rc1Iөu8.J:{$Vh zx+K)/IMJρ̌_0wpCÍ{5p/Fkio,4 ams](!? YBs{0 &Wy0rN]Z4֖|ΞBN&2-ȌSՀ/ee:*߭fN,kd8/m)G.:m3 l6VAFB( JH'=% MFj^[Þh! ƕ |1qk+B=Ōuf[&Z Og5hQPkZw~J9{ :7 EbH"'ٸh+AzݷgYZ7zXZִF! ᕴi]ŗXi%GgF&+ R 0/ 5`H3~,̯f[c?3XLj/7+@{i膎 fxv r=Z<'OyaB}$C-b%[ T:o93 $~3֦a|9>TꗝUci6.:)-"fyc@ܪXkjLBUg 1>54)zj3CQ2)tsD*~]!ԩ"]cV  ! Splay_Tree  eIts`Tk;542Sp^a\H4[v'Kv~+{."Fӗе@nNT DO" z|dΌ$ i4K);^//ݳ]Tĥ}HU*#`׋uus~`ulq6gurpS#qyu~*$ [-r֬ӯNiG*30]"^r1"UWy> :٭i`#Am;[:zJb^%lPƦtX /Li(!AMAx+ڱ;]n v\6 `sWf#K 3@ǃ"k{AH}M6db.+4%I` ,p?2 _ULĦ*6Xh(LGʒYM,_ўPNگ[0eʦv/PmWzQd>l*`+nlFr}ʖ&PqNDq$ezNc X0/ q5phQ&Z*2hd]J??o_*iіkqPAz'MpQ'vOwz;C(2v4ool`܃v_у}GFFC{ 9fV k(Xe [vOp6,e,A?NVnOdTú>3g 3WUeQ.T.DXZ&}K% [8^~h-|$$OL*fFVScUR"_ ]g{tF`ްzH"ڻ]eǸ"p/m=t~,Ha5%LZ? wԿrb;:. #!q.f3MZ n xEӏ\2 Ȃ퍃*ȨØф9IR-Zܣ΢(lnÐb. MI} zqyH_|5Ğhn~MQiF~J S9I>n ;Qq*p5dgvvSa`8sNt" Wk>\P,ZTEO=F۩$C~AzT9 r ( ;` |#\ ҂)XțpdZďWa- ٚѧ`0pWš 3;tA(ZaNU*XīzzZ. !h}I%;3 vrXj!8N˧u^y` ZL`g EK2)ؼeV԰9;V|il\Q+ZD|5@K)9$ Ww/Z EnO4 CϽN',!/0Y2r`o{kܾX=VN1?/D/%`a=b!%Zm0ؿЃWo\wDBOi, (oNu=8x=1R'}\ߴbZ`?8x(` d*)}F\9C{hTX>it{1k<򽆷7Ct Qu\ 8}(󧍊A*/C˾>StTc@y ZN-up[9]Q]T;uej\ p3Ckq'Oʦ`xlN=cyt)򪏳@q^X&qh:oāif){.@h&:a& ;EC0]V9b\L1I!+tGvL_9"sH Zh-gALHQ'4WjR_hLM=fPҗLEaI8׻5|p 23?d,_#6Ho[^;+!P;5ߒanqr _T>Kj.oKL|qEMYlMkӊQwZDFse5] yt@TҪȇ-pJYf%]NJZUDu`jXΛ(ɍ̘ò6{KK-*PK:rNc)ueI,IzX?(B_ky7,緽nsRnaPӫa}]ȅE@R:uv<Ȝ$,_c ^* } aKtK#N{&meFߔː\s//)ƫV; n3lPO Wۄe=<)6OCǙ+M`aur} x)I9[Bn&'CJ b.i>^mnxkPƇOW{][ /!RرgYZ3e3962c1c9912a7dece0a71e7a9fda277410b3e31795f3a7abed9fc1d9546e3552e224994a90ba84 4907e731bc16daddc205b6b11f8b89eb33f47f6b 7fc961cc80e3fa14142bcf04a0c8827ebbc701be