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  . .O#tD ]/]HOL-Eisbach:threads=2elapsed=3.519cpu=6.988gc=0.152factor=1.997zXZִF! 2]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^W"pu=[[Άq -% q;MSx;@$(0p/H0t|^Ce+mgń."]SVu^-dږ!($EJqYr:$ċ0>_ Ν_C,kui=X.agRJd'c1 T^G:`wP+i~J ϵ# s S (I6f9fn gYZ7zXZִF! :]ŗXiɟ1J2oeTʹ̰Ko {JT+qdamOC w}xCehjmxܬy#y211:>('s3T㞒Oڊ Ч ^TN?b & G4 ECr+Y!3\>eZƦu wkoYۓgYZ7zXZִF! ]ŗXi%;cс71d>?~tgv\ o.GוSJIح{8ͫpb/ZI6A"po.6ǯ`CAsׅ!+'_TsVc$\WnA{+1 ތG&[9LamJ唌`ƕ !:& 7R߹4fL.{fs߼[Ƈ|S_E?_o[U!nFv[s~S%4%_lgnbؿNe;_>rƉ1[/x b5 h0U?2An=C6Ə))Sz3iwnc:ڂFXVT\[>Sesbw_rj9UgW/v*9ws:FHwa# Ehq%`^8\8JDJ:w+.cDЂ O0 z`^-g>*Ư-%0cBPgYZcb83f33dab8b9cdbdd29d703523198231f21c657047361513188e7c72a6ffd9fc0d5d82009c64e0e ae9cc23b6b2154e2dab4de08bcc111f7bdffb167f8e775c0dcd61353d97a502ee9494d29a96d0ca9 # HOL-Eisbach