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 66G $TL ]/]HOLCF:threads=6elapsed=11.947cpu=35.032gc=1.812factor=2.937zXZִF! :]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGڿvQы!&5+` 8pu'6_k!o*TdC?,v$Ca4e re˿NyM fl~[8) ˂W(4Ap`!EY4I }2ꡤMrb%Rʵ.lTb%/hoW[GeSE@pɚ1o"?˔f#%+e*=H ,,"ˌnQ@mr|*J?ZK:iTs,YC^fnE䭴q9Ɇ6y#s#Xgoa[Yp(5n)K0=T5Gr|cҕ 9f.wnn_I8.ǸIWu|3:?JHsuܤc)V\Lh}t9"nGqUN@dÿR`-&ؐ+ z\/G1VUio!fňދYpMy\8N-IDyp{i  \\4- XG޺e*6ɁA{~o}!>rv BGa,R; gYZ7zXZִF! a]ŗXiɟ>Ӈɇ9S2]} u)3Ty +[(I+R6$9 87KGzTzk.l/x~zPUQoAtйG &ľ&wܕ2]..ж\fA}Ak`@Sy͌w'cn2QfG7MS5HcOEX)ҽs >F袻jD̳mbEMe|3W{|m]uXe/a7tfjB14F~ , ~?&%Xwe+g}'6m_L9~] 6=:z^3coŞ<ѥC)W= }Z2Iڛc ze$c`޲%%gfxpp~Gv\ː) ܸvE6)!9#3 wae EFNCXƮ9#fh,/?h,PZgbahZ”>Md2CՆy!,j*:-YA5ӌD6C\:ܰY:S+ ŌxԔ׳/>r43d-%u/SDObdm'cJnH+\$$'5);,ih."δcQ:݃H_Dт]W,5,92$Ͽnik:K~D ޺gp_>12 ߬ O)F \^3yB_\.Q",2Y6;3;iJACx㌘sU'#́w?5I پՍcOz5Զ Ŏ˲mk?GXN`,P)i-L+Nr#$