SQLite format 3@ . BBh77otableisabelle_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  c c' ll| ]%]Sepref_Prereq:threads=2elapsed=58.942cpu=71.772gc=4.240factor=1.227zXZִF! 6-]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>VAU!QJG cM[yU*;vjLs;sxn $(?e={?}.%zN{'d4Hh7 H*w}n(Dg%([%WܭZ=4!/ϰ5.B{*nqWT3T`7;NO:au.@6rebK5FOˆBX[=/}ſ1:Z Ԙ1 P&CTtQ0|b'M:]@1]ztۗ]\ZsYnS ͅyBFR} 1st!crLrL{Dqk'?]|g`v㶿R/U'EZoF2R+"Uljvo xs FM5 rW!P{cDQa̦eVhYG냡97X`mi;W"5Dk2H׌ɥ)4غT=|~VBTQg-䶌V rgGQ܍|^b-rg)QVv1FrE ?G܈{#{E{d sܙxӌyEN&;>Fk/ c?DS0gNx9J9ߗ(y@&&clwsj*.VB <{i1[YLz 2fhOy%bh L7w-.x 8oL-7 q)B8 h ==Hٜ$$ҜUGEu/>2LNvR`%Cc3_NN{lmTy#u&̏~HìM!`f~aW}7y"7ցKg(t&i8w }P.: fع,GB{g12!AdoL0v/W!p0,g~^-@O.QmdI>k31w:?5QsS^`'!(83(ch V '?" YϺ.Ґāh=-ep霴|>?ia~;P]bf_20 ƪGj3.+o)ʚwxJBт鶽x?7p;g8Nbv ٖQ]Q QLj7&1njY\';Z&c rAQ W~\<Tw[v1YG[(=o0P>UƈpSkWj]*`qfRG] -Ut@i>NpN 1(4ɓ3N\ТAe^L嫌B C-k#`f8{D$HQ[Ofc:G3>R4Uld >qG ʽr r]l 5N #._o晄I SNnM,AٯN *Ա!JЕIb:7S?b`pN[jW}}ΗՑFؼ i$sr::%Z:"̍C OYu+֊bҤ򥦳c@_YZ=!YNQؼ6\&nČ旖WM͗nAD x&e~ d_czdn0BPܓԲPT0Hs \[G@v5iQ?%V'u@f_F22bu!Ūkzqb < :Sdy)rc)**l;ĉroKm[>sup]O Mc݂t-C![ve ,m^ G4Bo< tcw j%`7v,NcsO1uѻLޔd*}, c фuuyז9a` r`;Z 5dPipޛ-;0y>/M[xףu:D[¤yޗޘ(̩W3sR<-@_AA@K4UI$oVR:+܄+5%Yp/+R_F4RA@?Sіk<|z$}*&Pt4]rvՌr(WX9R/QK^ P19}mӲ7Aqt뒘K .r}՞arJ+!9\3GoU}FWJ ӏH´Kpu/ևABK41-4oEAE b!z Γxԧt'徒V3j|Hܱnxч{HYapgĦ΃ˈjkSndv[ x=x9L]y8 Yz[2] d-_ɱ 3+K^q.*C5x4WĮ~DU%d;ywjCu;Og|NlrW:I &9|ƹ&b9+VmD&