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 x) l I/ FileRefinement:threads=2elapsed=9.495cpu=17.828gc=0.140factor=1.887zXZִF! Ep]ŗXf1-/6vRZc/[؎ V~'0 O~+9Z^jM,>>lUfS{sjͭk\*3D($b2ט8a.TEgYZ7zXZִF! 8 ]ŗXi%3g>}U݂tQ >WXe8Ko2q~y#bS hH^-#[%ȉiWLgmv>96ݭ&QLntu5( &{0-gY1Z a P_Q0!HCbC;VA/q䀏*_ @%>mP'rSh,~vj⧿Ӳ &rn(Y桐ճS"-fQlN F$zvm 5]nkiΎDp#)7-'h륇<4֌ ghm%m͵VyM8Igu)6K`GRq n;{T%LjеyB,:dY%3& ѼYqvl`6[ƮZDb2,Cj\dF%aȮH"ؒFioҴ}Xa]zvrﺳI>!Ng6ɽ%[0]5Qߜd@5@h^ #z'橕ʅO>`/duC(I?1elѸ~d ͲV?MբoQ0I~՚%+˛ &{'~7iMj/IdSeT\I" fg״: )7ͽ(u( !a*ߋz-}:y(u9Q91En||GDv=[-/7_>>G-8xgUJ F`W2/,еPIX*FMRT M.tiaXQӊI6C7VX|{,$zfu#IZa?i/ kY7ҙ=Ȏ+]3sGsp?oֱgYZ10d3f9caf91557b4e6c4f250e850a2a5687905aa 10ff34f104a3e359c9f489a19debda3269cab2ed 3409c0e045ff2dcd1a56ec68c8830add04dd3737 3a827de45c65a4b9570929b4c7b826e635947b14 9ad482ea1ce287427e91e9b3002c3c384c0bf89f b80cd2c3354e8be697c2a705491cdaec817ddc97 bbf04ad7a97683c0d9b3e3d09e586e5ca645e135728eda92c596448850baeaf541586ad0cbd7b32f f43caa9e5e417d16de9ac31da220529d0a28b7a7 ) FileRefinement