SQLite format 3@ .  YYQ77Atableisabelle_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, "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 m% T\ w/ VolpanoSmith:threads=2elapsed=8.835cpu=15.552gc=0.644factor=1.767zXZִF! %K]ŗXf1-/6vR[iB9Gf}P9O`3;%{Is`9"PJhqzӆ{2ogDL-`#G. f>{b6hB,B Ep>YnERU9A9Rz.4_V}~ 8vٜLR~o0| l>P{lD7sR)Ʃ1W.N5_&RDDH'H~&PbZNsf)O%{)> Kq.a:x'!. `i#_]X;F|ϱjlˆChPi 5U/]ZWD_Tnqndr$v{2󺜆HKe3wJ]qCp)!qصt-ΕkšxM (zy(pK&^`v*q= B%aQQ$yZXU6:F{Z=/͚iN ĵcv9s>L (@3Ç,d7T Uv̼6T1{QKOP42'Qmy]'゠ O4ť[K9b9TF"دbچZ*ji'ce/R 2g(i'ʈUd@ik0g'L%ʐ M\mU;7Knqp7]]ԃҬq/ iNJO !gYZ7zXZִF! 3{]ŗXi%?@={3:ʁ;i7q\FY#vY4Ul`Zpi/E|م=T ~v-qYnXS).1űXhq'R8tEO=2KiL"S|Dd519gSȞ:?Wo Bkr6.;wx lFb@V7වT԰vȩ73Θ|S&z`F2F2?ͬ9|(!w(y޴VUZ a nOK( p^ۚ$j?őܕfx/=%AV )"y&!mnqN%Uy(?zrG])3nr5˕W+wPzf`Ɨm0%'RHq+8VPDἀ:ւ&fZ4 cǻ9)gygfͻȍ7Cᶐ}fBN a*\Pl|9}tjwj],@uI;N7.)dȦA7vQs`ȊZA$N= p:X''kG2dE|ЍG 3V#N OW$ T3V[g sꥵ>5{Cp|j$oo1%?Dt^\ӆҧ 0\PFGe)x &Ҽ|Iͫh#ַO*>d@țշETN;)ݓ}PSHD5sB %#{PASdfػ Yj^XR\IW>bz|.˂[wL7!߼o:m&n$5X~c.x4 SVcr_0͹Y8dׄM?2`gD+fJ{gYZ07c3d0c0260d24e84312ea07322f84eb50610fe6 15649c4dd41463e761306162c948ea79ce836419 43a788035c378e986edf224750a85551aba4b61c 6918709c5cea4390c2aa9b7a9c411fb9b9e72799 7e04ad2d81aad700a3243fc642ee04707d75e34b 8d8e5854f33fff58a9ec327ea3350411fee5e5b2db7c23777632c9a5808e846c4c293183c8f78938 d902304df1792a9edf11f13fc29f7daff49f3259 % VolpanoSmith