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 hh) L\ I/ FileRefinement:threads=2elapsed=10.737cpu=17.692gc=0.132factor=1.657zXZִF! n_]ŗXf1-/6vRZc/[؎ V~'0 O[d|\^3a&\3=hN~vׁWSw7v"K1Ԋ9_93H`2ܧN HyZڨ)6m#&s(,Dlh~hX!;x%P?&{1}*پ:Ʉ;}Y~m$SuSx^~?Yk]5&|#PFe]gYZ7zXZִF! <]ŗXi%}}^6ːtz08|XTݥ6GARE2$ qHƞZ73*i“b,ks^WR)m:5.ĕѫ_q|zRaMZ,'--N[88?F ~/lt{{Fc=pQ]y#v;5JD@3^/{&EX ^!?p ֿz?(@/&#dB^A+%zDS7咩 1:= 0d8/(VUEh8ӳya R- 5BX2οTpẍ@ώ C+>:eŭZ=Z.~j#aYAo*_]ƀj zhe