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 J+ L$D ] LightweightJava:threads=2elapsed=49.729cpu=75.868gc=3.280factor=1.537zXZִF! D]]ŗXf1-/6vRZlpH8;_SuƖ`BE~IYIc 7ˍw^auZ)q"˷o JX g ˠ ր3&z^ iCnv8J7fb$&էyEFݻRQxz}uFYݲW䍸%);ĸ;TbK0FL[S6?a[N{?TY7`?Kx1n\.㺻"̛2ExSABg1My:TZBLi`-EWf:_r: ]~X~jsx̀;8>#pkOfoEA[;s6c&uȹfN{eOsC帶S,`Wzաlut%!HG(у،!֏)uʂ]M:yɞ7$ ?x+לbqς:s,mAZsM6&:QMؙųӕwquJAfnN4ftETQ"wAV(s z來[s;TPPJLQćM\T䂎1;r,wQ_f:^I07ްF.$i&/rE՝.r2a[`y|| AgoRo& /ۚ: *Gαk1:~^˕Ib6s*25X0TP^x6D>0_cgYZ7zXZִF! ]ŗXiɟ QyJbmyY,9>ڬ7~e9C9 -{}Vl$ sEk.[ كt7㙙jD{ O԰˯'-hGtZML.)e?gYZ7zXZִF! / ]ŗXi%;9,톽^8j\) QJ;3Ɣ(IրRa ,4Uf`TNPu}~H]K :&ϕ/q#:j67:p:v{LY,eog,HcRvDW]21urzd?RQjJ}eMA~%xCr]_h ^]]%@1a;ODC "Ki"F +N:d%L!@v8ʍrVV6?! cX\5{L 2`3Ϛ1A'E4џ~4;)ǭ+X4TD~\F2jj]Q`KɈjyc-qd.9@놡$s4i vcདĬ‹WՀ\PUs1)EMe1V> }*;Vh6;5QZ&|tQdZmZDnZeٖ$4a, "ԃyT_?LjZ2ae5t#HlaA2G *7Nd z3f1'IM]AOܼ).Fܭ\X+yS?u۠6w3-nwU"BU~m \5P~zh;H@,M3 5(L-d C CAUUT'BL55(J=bVtA4#hghzbM(5rrc8mc5їLUd?L`WnR1 S6xT5jZXIdx5(4Iryk)ى=sPSUm56g4j-:buMfBi?c`<==~+ PϪcK ՔK:`}dK*WRQWw)/zzXSnYȿ=ΡL\8x'h_ Bp_:;Q`n &q oz#2@ym9}7#\968KǷp#G%~eq=$*Y4ƎTf霎yU" Ӌ-~h?hLS=>aJ?쳟H2gWPs}L `0!ھX{k6o-Oa(RO71zwyߍh &˧71dUk2FbT8r5ؽ'C*MVOoTA=]ADF#K ݴ' zu# Rp5qh7@o@d̔DŽzSZӳ=? R@dtF?X_B+Ň L񳾡DAZZ@"yp]\ZSm&tOayTWtNjJ54VwTL i\Hej 3bfJI#&xejmG&cyVMeQε9$!zȦᄆgYZa25d4e996e3d38149b3701e9c0bd8240fd82d08919483222939fc489952fa9ff470a43a5bdddd767 6fb5181067c76ae090b98814e5ff8a3a2ed813cf 05722cafa430ad5d32034406e0ef9a6274c6ffc0