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 n% dT ]/ Derangements:threads=2elapsed=18.287cpu=33.620gc=1.392factor=1.847zXZִF! ]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl(?p?OJu}!n)MV\4ixx}L{FkCf:&a~@(hvcWC-h47lY J *"_ S|i9\ ?!K1ޣ&̵o_g5Q}PQx{V"dCŜʟ;c '7x)R,hp,{p@Z*&??2{i赟|R Og;H.=ݗ/DeᯞXղiEKA=/ 7{E΋+WD lK}/}cQ{6mMH:#K6;$?YI_XK-X#7B3ܽ-&;PSvZ,:ea)՘uSl)̂(ë:%$˖.] }Nr9B:Y|9bw+ȄWו`Ey2iT_+UwV[q/2=Wd+AۊJ4q^df.n'QgYZ7zXZִF! ]ŗXiɟ1˦r!cHkMeBd4 Z*Jz]H^qVRQ/6hH'$z;քRC|I|9. vWpr E1y\qŭDKzC8tBnD-[=&}q ]U %"96TOgYZ7zXZִF! e;]ŗXi%r)"q.-wC$B4_T|~j_>$nBWQaϿ-:f򧇘dm@&| k#P>+^ #OчSc!UH3-\0c$ZW_m{E-I;T[8K0.v墮VsYB_Y{ 8s:ivsVS`iPF 0$߱cwӷ7Sju*z+<+X In֙yXau|UCL[AMMi!2>wVo5e#x2Ӑ,&BmB)Bv[H *5y,A^2s*H/7𾶹aL*~>MU#v_AmtC06dHؖ#&Tŀrz'S mCCph#,wZ4warT`2{}йU.dM2b I; aϩF3SpVd$(Aש|d?H+>/ב%DQ'$:~CЃ;^s#)7̪`LF4~6Z"s|L?ָdBL@fd[:M#>Enft*JSn3m{o*4-.rVmAO~uBDR3@Ap*Z{mӥN ;|rERRoWj<<:T95UH