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 tt  t L ] IOA:threads=6elapsed=7.145cpu=29.012gc=1.172factor=4.067zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K~aD\~H*6 *BVyb?m Vy4 _Wwa&MֲWK>dQU0[=osߎTt$Їy#J:J.AA~j*5f1eGi;öʙ&\//hT髦g&x H t`|!1ISO3 6l;%'xw nq%h0f묱֝G@938?Fzuq5Gd)w?0^Rh$'piŒMkS>w'>دkOP(fN9+ۣO%%.I f-Ņ_oʢ4J 8r8]@0t;*hSwJ Ӥ\4 YgYZ7zXZִF! `~]ŗXiɟdN'LvH۹$vYe>#_ey3{#4&9Y2g^2tr^+wvJeQLw^z&;9{uR6loWfEԝAX{(p@s:C)K_OAf@1f)rZ xxtd`!?kխn go ALJ+qMY'kts4Jp@}uGQ q?nX P;W|a6d"qp@ooi,H;X*jf֧?ɑ 8\[gYZ7zXZִF! #\_]ŗXi%;?nw( \÷cDO}=Yݔm.*U&:(?k@7f.rc }Ƽb\33Uv$Kwײ(q;魁97Pۼ :lN0լ >mqTJ,g7#m*F{[M ( ]ĄltY;4 =e̴SNj)!a>`^g $2xo; p03V$OTCuCnAuX+c~? oNPX)Q$h7kVjJVv3hO4 E85讱1x%5W1LDn{$o$Jp14/Ӫf?]S!*m Mhh*Ů#ĆpBy N_=Y~"~yptRZ^}g`(n&[{cV |uwBB5XMD1vų,/(!/}㯚TEֺx}tľwTw4;AФǃ_Z9cai/]w@Lo+0cTO b+XS.R xώnd&^k'ń!ic@n\jU<6d6xt`q}yRWN'2vtLDV}Hx!ژC3!/?ܰ^"70!}%uP" m3-tFXigYZ73e3bec11b2d9b37752f98f000ca7f15980a3d2532e67617b84c9c11cb8188110a1a4623e5435f37 4cfe04fff283b1f341f7b2f228821a9a87ea40ea 4b0bc822bf3a865491f0a846268fa744d0121b38  IOA