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 ^% dld ]/ Completeness:threads=2elapsed=15.771cpu=29.220gc=1.568factor=1.857zXZִF! j]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jkwqk00 tAQ$_H&R4Ontۏ f.e(Ř}?h *.CT{aao|%۸*b߳_[j,Mśl-ǰ:L?prm^˳gǼUY}_{!#xe'@U-|Јe~ugtn65¸S>%)& "cLk Y?bK` O GW,%Ά&.Q5),C?q'b֍yV V[N$,/fll^!4!waTn+ܷZtP7h- :Mա^ʾF`~X]ȡQ5&9~R oh$&I"~FBE#W_}: a8؈{! '!W+gYZ7zXZִF! ]ŗXiɟfssn{OBƮNk8sސNc9J23ubDPmEI`ݥr ݦ>._DN\}]D-Aۘ7 K%f4Z|mrWS@纠W/i)GZ>S]űû`!0ZH=*gIڭD6gYZ7zXZִF! R]]ŗXi%9#qt>g\=J63V9ݪ* F(Ԁݳȶ<VSw"K(r-}Κ_iLM!"T,C65~mg(hٸMZX☟.bQos;,j xbOmfC08`]/K`ŕ &!yGx÷n(ࣞgiuNd^|s:վv : Ĕ'735ԣqe[Qp;x2lF!:q/VBݎUn z쪫;zafO{m _^M@uYZ(;6ơ8 *- `{M\MgZd DB!n#qˬ80=Z4b4OPu9O`ڥDIV߱ZUh'tM0^U7S"8ƬL6IdcO9 <=BԿ;FYU@,_e h} D @CjFxJ>M#1NbI3"=9^ ?UWM`hRۛH؁H"QQPI㕲:琫9XW;ւ-Wj,>μPU.QlI!u΂7Y̨HQwYB ^JGf e\TP!-2*1o%6\kz( &,_3n NqlrxM. TD3R0XOzFpk|B~t`12 ޤPzgYZf53b042928212af7d6a291be613614b4ac159f788ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a % Completeness