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 ##Z% \L ]/ FOL_Harrison:threads=2elapsed=11.518cpu=18.868gc=0.564factor=1.647zXZִF! f]ŗXf1-/6vRZZj0Iq*~jzB{&;O|h/6+5["Ք/d3u$~kŲaHPk͘h%{ۈ 4#:( sg?_)Fӣ<+{S%t )!8vEL sK ۟M|v@?}m,Qqs:yu3@wM9z&p9 j2l 19sɇ6m4[v e(9BQDZ 8r2; 7nH0ߧ9;U-G+9GbBg">Cցq pLisyծRxO$'F)S1Eհ6tia GNWHUWf^qGNfwy=:6GL$'\K#7]FnȘtg5-Ni&O59ҨQC*H}ZqHyoˌ+hQMOFrˆ*l}*,;fh}LPq˂G7aZ7/Trl|DR tS(w35 ؋ mŏv}XGBNCímQL*J5ÈeK4XGAƒ=e: f9Z cF1$ܡo qܮ3o0$x焌^Np=G5wԨ}ee<:o1JIA‰d$b$簖P DYJ%* :t&t6Fi@,n'R2恚}uøOyίVV_¬%3113)>-F`X^)R$ٯ'H@j$;!^}{AuONߚhzN;=6Ǝ{0C2 ] c2ƙI|h,qOpq/2H`Z4vS՟G\gKyVH@]E/ ^3MvS1J-~CUc,'z †}Ga