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 (% T +/ Completeness:threads=2elapsed=16.448cpu=30.252gc=1.556factor=1.847zXZִF! E]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jiv+mz8CL3ܽJcvpeFPo-iPA?\m~ظqz)㼹ը]HnC ??lIn7"olP2?3rHWpiJCv?NӠC޶m+, Gd}-)D.;HEl:jZ,7 Va܎}aY"Qi sIf&yCWI']q~VŠ ALP2:}\#GF[ @2M ,ǥ0cQkftU Pg#w-_PڳU:8.RfNU5RՊUUE]zG.N|,Rm2Mw4~mkS8[ 2\ 3`yy8L[⣛j0/&$fW!a7ٱgYZ7zXZִF! V$]ŗXi%6yKb8"8@XSd"|qZ%?z5Q6~U[v`5'+2k̃XH$'4m?g=HKyC/H*9 1+DU*†? 6T[7 @ʩ'NPG:{>P׃LB+^pcyD[bGv_S]T;`@&_ sd9 SSR*-ouu(͂Y<ٳyF=bYdѪ (U/~Ŏc5J߼*Vaf*x9C+z*d\f SMRj| [g_$>twD\@0j0-Kd=7C\kQKQ:!ڿCh 8d?)sjŷHtōovcPUߣTx~Qx4HZyt;X*@v'7l E/NNXI~9d1R*B]F%ʔdzxMVѮ7bRV=W N@e * &{t=1<&)}n7 S{+dlz*1jI?|Π|^ $-r9kb'(gLbpe/\}sތPOg"^2 ӺqSkk꫘``Z َ ``MGG`} 7+D kTvSM{.||uWc@zH ?Gf"!>S5$T5襮jj^gƸlV^c,M+`#O=MjUEv,؆~uT" Fwd