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 WW&% | $ ]w]Sepref_Basic:threads=2elapsed=22.580cpu=42.776gc=2.004factor=1.897zXZִF! (5]ŗXf1-/6vR[O!vې&-wT]ïpܐ YW  mn~,GNC6 ӭt'e&L⾾>?^i 7:v `pS`O ~z #-g6]Ĺ_K4 -W?je̤=6?;_~M)v}NLQgu/pNX5f!]@eogWGqqR].>ڋls+79jq[m{_,>YDtFd"t^C}yg>OjWɌ&4;ƽ394Rk6pF( IwLJż}^Y fj ћsEäIY# uR̚ik{L@9S`f(5El$Ї My _Ӷ.sZ=U<#)k5/IN'Yy\'MnKԍt/ӚjQ"ɯh?#zh3S4d7ԙ˄)YTg3Jml5=?ǨH*=*4 g5b`aNi\`Î,,hWxrJ/0FG״n W8.HQRgYZ7zXZִF! H@]ŗXiɟi%3( d+%jh -ĝF Ԋv-@VwN_wc(*W]?A;,^wn`$dֶzCf:2ƜhֳikȩjK:+7ِ@i,Q' m5NC 5ffVK 6U"(Zͮ{Mty.&N-H. >Pgm_5Gkn䠹'(w."$LwxuJԢζ]sm_H [I"K?bP-\b;((B x4UJz^4Ũ8!YRV\d=]w)ͺCJ*E9SSPs~.,b,Yma <l1ќ;7>&dRw$0O]¨g T)Ap chD}pmԽvdA֠CܮYo)|bV~#{EXlq@#p7 *TiU 2'fk# ہ">aM&l$J-)^F2\/ xGgYZ7zXZִF! gv]ŗXi%9(OŽ&CHWć~WuF[BD$E`"Mx%D2ciP8tgC.tV7fy'ϠL#(jJ13qZrEXY?zN`Y͌D7{Q?2v U.Ё ˗j[d-lO: 1).1\'m-pZLB|> |A#,8; XM`vr>c)bbuޏ<K/]_7.,0$9d947dB:0%O ~ SYhx+[sPKI { FUKQ '[U_Sn=_~ kM& GB_Mt,z[SQddp ZܦYK{' љ>&d1]K{A0}Ur);: u?]nfNa_rwFzۢIT2B8"1όK0J|$장 {uho&Mcz5T?H`'QN@no([s(&M:A>uNNŻqCPOcJeL 8̪ QYs9lê"xm> FnX9 h #Q/U k1:RqQmB^5I4D$\= \+hؠ.5o-9Fe9OKE.S<\ gB*bf6rm\>raKu6 j&Уh,)[?7OwnAk#zeA7?JeAbk8Ob3Еy찱9 4h`wTUfOoJw.5S`6Qx:5a>m}kɵlrOħ;[|娼uƐDŽ v%w%1Iy>qj"䃔 ~Xk܇D{R< xsbZ&C2^l5RgMLRP)r6 /KU7GN0MSR>X{Ҁ2cR#Ubh?No'FDw@)0 J aWz^)HĒfK p* ʼnL~=jiXM#{CHQ@MHDP4ۂYnG8@PbZ)x]