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 V \\ ]]]ZF:threads=2elapsed=25.096cpu=40.372gc=2.216factor=1.617zXZִF! :]ŗXf1-) enȈA XR„36L hӳc]k5/j\ BK+8˕ ӂoDXjX&dT! ״mube f8ɷ+X-RޚwZ$+7;ocs&GAg'J}7q} "8 aIn0wM*`Hqĸ͞@A&q;j T p Za$\eb{@Bp$C@ƒ8gYZ7zXZִF! (]ŗXiɟ 1FE`穸.At+l CP ,zb7Qhrjѹb@fbVL2 PkYx׍S tFwzlUtaykBf?OzV =DKV]R$)"B_ OE xPBgD\NiyXM?=$T2&jhuA[B-(2EgP1ؙ ա" WϮ"42؁eC,]dM6(p"׈g }=D#:@ĜB qL 43FHZoX1 Իšl*c.F^!G~ g̚L|Bn4 "Ak򩶂]ٸ7tܦ?0.͠9c}%p |V'\ EMT~t!jR k@&\2@'7xYObxL 6W_ځ~W!sZ-K-"eF'^,~giTBgYZ7zXZִF! 4h]ŗXi%;>󘺊$v2Hkp _r3F縖!0^5E5 gX2{8F;]:8vdTS9-d|SQ'_&';*z4I$^3Xw;{ I˻Â6z]XЗ<*vTw βx5[hRC@[ F@rnp*U!8ͣZV 2/] )VW[;س(ZbE I6U&'F# CRuV ,ME2Ңb䳝b u`niJGB)Ƞ?/ [)x犋L{ł9<5Iy&Gz.+Sp3L'Xɸ(ana63PP>gvj 죴iRTe`7YL`'Jݡ}IsL|euXl9 (iyfU-O we҃Li1zߵd >ݛh&˃(&PiR%y' ONs d*/'@؜e D~ TU#.%>I `!ܺcŲ[uVƝ((-u-.KpbFm)?5H}˰&e?iVUn}y$B-"{07Zr4RqwF4Y!fA~#/^s 48TSd.# +yj2&p:jE8,J""-.A qU0YE}t PXacXf? o:9^9P xLxվխ³2VNc %`pgΔ4Uz &[eCqzǑǨ+ǷƋYFm^VmCk@q%D@ /Yb"#t4jl$c0)mpMOVc}㬪rGgYZb293fcab65728741abb41e8445d59e7d9a981601ec4f72521e1e679fd5cff6fa91e397c5873c6432d5fd97124724e8708a238ae2e9034b23fae48085  ZF