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 c+  ]/ Strong_Security:threads=2elapsed=21.946cpu=39.220gc=1.124factor=1.797zXZִF! ]ŗXf1-/6vR[]IJ!@W&abZWdTUNZ`[ ,FV VY؁53߸ Y v=GVO<ÀLL-y/TOK7i~_Y}e/GJ:g*R&}EFG&!sL# XܶӺH"8=;eMϭCAϏdZP=4@ R{εASf(uɛt^wW!Ef7Zj*gүRGDZlLin=WpB4줢+Ƞ֐EB=XTmH<:j#ndH(4ly6ս] xeNiftncۭ>r(22*Qc[ަܴ?.8JF]i0F5a1ᆘVF γT:1A\.dB^*|d:kpHІn3Vp١"wCEMJt1o !fU[7! !h+1x{&`A\a`!ǣ-uubEΛP2lK-Heu|0.I |^zh*{aQ-yxf.܊F?4# OW[lXockUE]m--%kalk0 pLHD0w9a 4{ffJ4&y.NyH謚_f~g9ir)x BUn@=H Q0 8jfkL vhIe@ ?Jқ^׀nX-UVʺkb[WKei )?GV._J~c|hm$)&0a+ZؓӲ#d4C|mOn}#Mþ>1C.+t/=+1؝k=˕P՘OK'M6 )_n nآe֨g%-;A R-vb mp!0_j)V4tVk?hg1Pnw=%lBݣ87) g^Zt@{C< 8ABi$r=.%h߇&6Bd: V TQ&wx)M0'p'A8r,izP7a tO{2̘X:ZPɘhV7*5rle{ NgYZ48cef559009c03ca86f78474788f0ed9eba7ba5e0a2796d42ac427cc44af631a8b97f23c746aecac d64a82a2189953e009885b82ff3fe520b1ddd159 + Strong_Security