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 88E/ d\ ]S Monomorphic_Monad:threads=2elapsed=20.737cpu=31.836gc=1.856factor=1.547zXZִF! ]ŗXf1-/6vR[;he {r!BLF 6Tٍ ٬g+2'@WdKfyJ/7~_d( )9X}F=YE{=>H[A CW?*J-0EJl"$W`޵~"Gqِ:ߙ9OrU[9W)08/BIC<,a;~iR,C Vp724$6yB =Mw>d & tQw ^E.[|B.kD{3*oG|3Pc)y}q+ zyjp, 3k̠ İ{;o׵K uzTv7uY)j_E-פThJH{$- 96 J!~+~i_gYZ7zXZִF! nL]ŗXi%9#qq3|Z%e5 /F2[ӷqtMTrVa EI4(! i͌]O7=h e=P#n. Ǣ˶ Hu,Cb}̂1w-Ы&`fa<®^qLAܘ%&){Q/'-)|ld'ƘȪp|`hh >178+n̾jxT9q|zJ^QykStZ&)d}PKF\#+< "Q}lWȆHU^ 8w`LDTo -K:_uCjddAxIg{ P_ku nŊFFhD9}H[&Ƹtf_mR/݄/y^dͪ<ؚ?+wj9Utc).S̒"YY[-alH7,Ep ܨ}R $fg] ]x,>B@qlgPQ"5MFfcSua Mc~V.L~Al/|\~ǣz8k}Jյ`:a K!I@\0ـE|$ڨ&Ķ Y}ʊ7ԀAg6]4PG{ BV:gYZa83ff24d1f9d60f6805755444061037d8cec1f588ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a 4f980edf476e1d267841215178fca737808515ef 058f9ae2f545853b9ac66d3443f26d23073423d9 / Monomorphic_Monad