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   $|omLefÄĆ95}Q!r4h~u< CR n.Fa?GiVEJP2S]e?<oRe$谺h at[`_v4R"萀[mȑ!:HVX,q(ҼҁI/$]~%g \j!Q0(_<6K58N!CL4*X4p|lIK%!5Џt- ُ 4!PJL<2qVW!Sa~ ~>8њTczO{(廦Qq T2ۀ1j bŰH$QU*90ɡOîZ @vgnvuܞ!LJO>5Œpz3(;VV=P]X2x mt{I͈bMI쩟NWg(;DP*|?K[P8ddk>C!% auD&/ɼ~ڈI{PήƷr֨IgYZ7zXZִF! hW]ŗXiɟ9 i:4'9Zfw4 _.9Αg-3'n.HH*Egug][]2MoGƈkn*~yDT"GzP,3JiTG,/ǃWN$lj*U9Wclnf3n3X =X[6p(K@I8VIrYP_օA~1/8FAt|*?vsM^RCI]RWI0h=@(tD^z{n=>]ձ%%#ڠ -v&XM' cQ;}R&]حD| ngsgYZ7zXZִF! H]ŗXi%9+hrYr*u=ݥ38Ӕ.ga1;'Zݐb@8kL:KimPπ zG`C?{+T/? )Eg ݳjt &# oC͵nUH)> '8W%2ׇ/IU&ItNZ` 2,qR/ .ab4$?4PXPxUw%a ves,Q蓣eK固\A,Dr͌ʀD:f&Mз1@i.]t1qDTݛePZ9T<(D"NP$ܸ:8ҕw;Ƽ <7h%q4OGMG*N72AX9GkҌ\7#LrdbJa NP?+neF' o6\Yfh\#/o {e@=aO२.] 1AB7m̋3_ԏأ(e,Mru *gy]Mny˸'T'UUXoY7]@Р\*|p ұ}1S*Q }/  @1>ȳk@^Oߏag9"OlJQy2^(=/tӝ&DlP #͊G0@ד֜ 1V\L* S8Zw=>Ю5lXa_d<G!}nK 5VV5^>5_=ZT>5^,%T[صX\+XtfUvg5:-{Ęn&2&<$*N:[z@1@ܓ¬J7CrJ0pF B,چGB#qD-oТ]^1Il