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  t,\ ]/ AVL-Trees:threads=2elapsed=16.716cpu=32.540gc=0.752factor=1.957zXZִF! l]ŗXf1-/6vRZ\2_:oFEQs Q7dn3~~LRhE 9#ژ]}z(A/ҰKO?L_G2q}Ӓz.5糩~`V@QҪI4X%GDL) A5b,Duk 0 D_ ]/[םs=n [;,XxB :\r̮FhI%w0+I+%|J&Q~gX[e;Dn& ٖ5HDiFoJS| %i`\cjj'N0OH. (~lC~QC08F^ii " gYZ7zXZִF! N]ŗXiɟy)j sC: x䛖t/U@/Oau!lo剓BsK^uU@~NjfgYZ7zXZִF! [&]ŗXi%;уw qa>v ?s:}$KRLdbubJ3KE4 ]wT+f2n  <0ٍjO_i'r'lPHKN=9fȳdQ|p;'ޔ,@} }dpo8 '^ș}nY !QSTT]]'W=c b&)%~[:tT΁YRy`>`Xug~*d#U qxg;փw"1 >PK\6 RA%E0g!ai2!]yN(Jp\!,Ov5n' kT E.;d6 ͖z|?ܿMR=uԡg$ƽ&UtwA|!v4j