SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info 885 DT w]Routing:threads=2elapsed=18.786cpu=34.676gc=1.024factor=1.857zXZִF! #]ŗXf1-%˓> ؽΒ$%`?D+l6 \಺pR5J^o   Routing+*kKG);7DUܗ~ SP2) 34\s9[gGdm /"vBMzl;ADRQ \XF+VuF7ttpIe((8Zg+ %_zba%`xt9D|tI8DmҺR0 9nO5wtNE'^ *> P>9JFhŚ E=5zq׫M"kcD_$8?92=&4)2V|ZR*yџ@oT{u1P|9-o 5f9R 9q*;zɿ& m@K !q 2 ayZ;""1iуP,Fx3 %fk\cmP%O$ةus {(mh~eHAdSm~0ODDJ)xK A-1`i}aC@e%O6R6jWzVx k_'j jsV%I Hm{]VXrϞvOR9V=WjI`9]ODi# gJ^Aw*E<=l )yQ$zߡt ṢIgxRqzz>1YJJ^)%&& ]"":ybA wn-q"%7ċcN*Lo/ZN!%0,ʈ0z*ñ]!4EG N)˜*rFqoQw+Nn=OgڛX$oI3  ,1^|j ?<)\MHNM5J2! B2KX,YHغ/ l]_Nsm D[j'VsGиSgYZ7zXZִF! `$#]ŗXi%TNVRmG#qFMJpq*aw|&W* T]s*CS?Ezr171_tӞa'Y|3 NvqFbTlr>B,oJ{A4z]_K?88&Sv], xFhVO5Jd!ӵh?^K aQѶ܎8, 90%&]t0yֱ=M@F|/ڴiB:lUHS;#mڔ׽#lΞ$e8{=(E1Km;U(ʁNs}KtHT \oXXh18xq 6^Op zSAJ rj<5S q|£P$%n(~Ր'?gD_ *8H+[t'VVw b|Eޙ-7&ءTt" 'ܕl>r'"T}m|bF ؏,zB֐x''XBvNUݐ|0qϬLngz}ǃy!y5'S[T*L 43U #xgYZ02e6745f5bf1d5a2f90e78e0ce6223e709dd3c07 303d7d7eba48c74817b2881d73100ef92731dfcd 3997ad1247c599ff5ca5a09326a165d755ba9b8b 3f18b4d560dd3639e0a9777b9388f296855730d9 69b4d87e9cab0b856337e17afce32c08395ac7ff 900ab7ecd6da99fec8ba8ffe4d1c3256ea1d32e1 9c7bab68154467da37776ea102cd6bc82970919a c4ac153398df77d4b04d3f3cec6cffe5f8ffbcfe ce95222cff59676a82aa7c60323841e4bb20a604 e0a8be7eac7e661a3689c3bbe5a03dcafcad9c54 ebe1e38c8762b6213651f2847f98569fe75bde65878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457 5437d1a7c3bfebcca8a8b15a1301b451ef013d21 f1b16f0110726497810be03ee3a9f97373ce3b42 1cbdd12628532743b8c77080c51ab7b21434a5c8 be7b84ba0f4aa87b8b9769f88707e241db058da2a2b7a0f488471918f35f698f5612eab698ce7dce