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 #3 [x 7L idY@t ]@I.),"'*>JeA dB 07q7a΂2-g/Np༇=-xӢ zO\K[D-m`FQI6o^Zˬ{ UպΖXQ/, ke"ĽL`Ս,:FEՓXf b5.mR 6o@AM[- N7Ԯ y,ܱgYZ7zXZִF! @]ŗXiɟ*Q?rͿY!?ID(@[YJbn ]–(1!%GC[܈S3L 'υ{&.@@(}摌{H4ΒDfp1TH;2 Sl.,HeL.0 82 N8(>^%"7Y/ų]JOGwbJ8ekh#,NeC l\T[5L2R=0yV3]@K| ꇚ)uhNE돈oo0׀N'˔ɈkeQ . "} ;<`T02DJ&ëzY%qZ>CJ2P8xc\P1ʰ5O0OVZc[#+YJ_8)>lj/I1 6 g: IhBY$m`Vx阀"ηNnpI<T;x;('lMSv[ǟ?e %μ+Ĵ6U(_HjRw~a=q5FRlMs`U^5őc\߆Qev\ B}b7lٹ(È&4̭oбgYZ7zXZִF! V]ŗXi%Wm1}p|.:$䱽ɬ5l4&  \tOUhUvc E_Tx+Ǯ( F2۴F0-]J׷D&z!{o}վJ&ILGCL Ii\r&S,a G2!YuT<ҤoprZabv6SERJxZ+5`cO'$LlDji%UlZHSp$m.x݇:;b4n I8J!F3H1WN]!7%R`}w'2\i1_\*Urȅ*& dga:B4H]v!]揄TQ%M ];WD7_l4iKQ֒Z"U3hz`VpCNJo8pP:ÃU0#> X-PIH8V_ԃvJBmy,u>$&7U2gh0\RŏXAY+|,Lf?b͞-1%4,EZGoq7Σk6F Y$JSMT+^Vg \ uGga˦6G i_Luio(Q~t rFlO}SQs?ʴX>|>Z=C@\6-"oTM;egRR>Ƹ)u//h)QDr@e?fDA9BuY:|4L +[߃R'ڠn`o6f~Ye K )W5zFG{42QD"W@}8&tZ,[;˲wƑAVτBpPpG YJ3T~>] .o甎+(z~\B7FMDհ\=&  SZ5dpQ#]iPx(t5﻽"Iqwz0Cs,2\9fNgULhM r/pHD*JU RTٳPI- :z%:.3VѥE| (;mc6 'N#+쇣nu _ERˣ"y'?&?/X}lQj2x3Vk8yMZ[z|Eifޔ%wQ!ok\ou4&ڟ.Vס[G=@8?|'i:j* G4i4[C#)9O"ٌŲF/QG*K Am,աڒQ,7#q Wp /J ^"g #<6^bn#Ler>/Fh*kS{T(X17[y a}8 =1o$K# zC\'KU;e*I}Kn)p=O/h|Q#OH &s ,Uyp!6iŻ ku3*h ZXԑD/5"\S89LX{%x%R 'fH;U /o ^tt0Э> ێA.?o>~';˅/L4SWeOVN^[sOi^`}ƥaI) r)ND!Tho7R+7PkqOx.5P).d}(@gĶ~Tmc4Tv:El/ uoƐfN0Jݱ c6Ҫ,JrhF1.b> :CTqNX ~}.|Mсso?h %[7lzixm8QF wM栖e&lm~ cU1؎ܮ4m:Ħd G&Yߑ P_ ŎY):GHgѧ~~8P?U'%ƣ`w*66Rt)f(eD*Zrm/