SQLite format 3 @ . B B h77otableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info 9 9 D)d ]/ FunWithTilings:threads=2elapsed=20.413cpu=35.692gc=0.244factor=1.757zXZ ִF ! ] ŗXf1-/6vRZ#q$-RR s(|CdG e!J&*D\Ð9 #ɳ{%i6(^GoMmS t3?t'@dT@Lv$oCMIr[$= /3F_)ͻx@3}-s\E.aG;\pS3lXRhOq8y bCA8 y~g YZ7zXZ ִF ! J C] ŗXiɟUXvjV*~ ^kmoy`'vYL`KdeE+f` } _Kl} YZ7zXZ ִF ! p ] ŗXi%923NNW IQr:,ˌL`@&pY ]_jӚ1?17b9O/3m:n("