SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 5 ,L } XML:threads=2elapsed=19.682cpu=29.520gc=2.108factor=1.507zXZִF! ]ŗXf1-/6vRZ*Dc,T q}jX,q~yĎHA'? jXu=g (L&*gBVN9xpZ)*}1[8nh??;}"ov(QM<ҭ(ZIVi 1ѪR_: 6]7*@6TxaMv?;ڢ0N415 2r!Jy=, tz\D7c*Z& <r?.26Z̉:7'،-8 [[qjx֫8bm()VF4@:( }*&GHF3%o%V*(<7JW.~Ex-(6HÙؙ͆ pz 'pcI@v ,lpJ.p'9 ьN2GO9GDn'K [$V@V_dr:J'ԯ*}"SQ$7p[4|gH qH.+4Ύ˽Ud {Pnv^0HB?Zx0¾H7cN;\17ۅeSO,]L@'0Z_<[7%+XvrB( sd,[>&U0X΄ciL[dd9u8/gYZ7zXZִF! bx_]ŗXi%3g=ՙJqD{h=Lu6{Q`x2dN(q9;(!oL"006@}>}>B04"lѮՁ |ną!E 5M2jYlhq1YƜ@mg)).ìO~'I'OJ 6u2cn@(x|ӇM\o5Bz,/ εe}++G;hF]f׷q#y-3!r,= gO.H"5b)3a~ZKQEWމ?+VD{v=KCRze;Dty& .xzqIًF0m9AsBoAl$NSy!Eq)aĻ^sRJ:p9*(!!k(ٴ !ߚWG ǰ L\X|oe)\kZ o^zj65 cD0ƕT:NGېNɲL3qdarz1spŌ=lgvG`<7^ W~Zq4? 騫 F_ rƹ66e ud׻߇>($rWZgΙk$w5ˋ]nd QGňeW>ۗ>8/J]0::b`crOl [Kĕ[J`g `UF)}!** +hq# N.a* ]e4ϐ"k\t/S!tGb`(hgŢ<6*k=:%)A[ u&]nl(xH/-D2x=^ C%p8{4A)d{'~gfCؙ4IG=XTNtmǧ(9\ 4vyy@ᾨβv'=_v y KT1z|:GT:B&;S9a en#`p2U$#yj3$ݸC}.щY2c< TLoD`q;Vr;CWpIb-W;7y-P|ɶͅ>TeX .#gmH7CP{b6'HN^IAKfAtb!;4XPS Yv{ZY)4u?J_4l d