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 CC: tl| ]]IOA:threads=2elapsed=18.907cpu=34.276gc=1.336factor=1.817zXZִF! q]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;KcwͿi"k QO쏗\lAlFL]T.!0ybщ^NYz"O bGΣtF4?_˖t2!:mqu1Uŀة$:uOt h/kݍюuɕYpgd}i1- ñ @!.-G<zyp5]"G,zjh an3)G? &9qQd71tԣ.W@uUH1ד|J-kW/V w4i& d94j*d׏PsM9rTleO-Ĵ?GߦvLoyM$T4იZqQM%]^O%j E]cňva>9h|T!T_SU,;o7L_@_EAe8 ZtyGקpG߳H 4\0 %nF((6W_&= %ӎgYZ7zXZִF! V]ŗXi%9+f-3j3W}_*2;$;#\^fl7Vڈ%X,Kt(e)%/΁T5m{ḫq;c4v90>"I7~_M&Z麒6nhʣ)ˈ3v!.L3G'W6-M"zz&Qwh؟buf*zɡWww9Yc%^L?9/lKH[.d7MsH@ыT}6ltQzc/ᰭ+JD T$ Rc>tK]I?h)K6 O{x|4jun a{[S=SaPMYn}\;5t!hu&Yx0V8\_?M [tndgoJ񱆻/^o,)z;~[y g07GjYw\#0ȶ`vғuA_/8}gi](Հpm p!46IX04!Hm|%$;8j0[ϴ-.j,Kpѳ){vD ~@jT¥<ڟ $ڶm=0$g+Yy*+U\1YK`Ce0{> Lb{De31ޔ,1ܭ$<\QJ%Ә7単(JDG fi:^69|Lp`:xܒuqNl/XAG w;vK"˶|^( %g,T.Tԟ3X*NjͰx5Uc"/PjeG=˚l@0?%H./1uQԳϵ} ,lrYʧ`G9";FC>r#3Jz](IUcSi#kj䥷H)ēE0{bd\K5gӢKP%AbFAb6Tf u GAX盇]eh5&[9C=_cm3_}9/MJ׼qW)/$VJT.hYU[iI7K>H0`.V6 ])7:\{F[5Md맨Qs2m瑶&(,.\?alF>q)Z/:16-*W=YxB}Ahla */gYZ73d503ef07753b345cc546ced37f52e5ce5cb2d341dfddd2151ebee28efc9e26dbae12c72d1935da 81c9499a7df86d3b7533ed9c6efc8881fcc10f44 00c52217ee265f36cb0323afec3080794ee45c38a57ca9cf3e663cbdc91ab4e7dcc46bbd7034550e  IOA