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  f f+ L|d ]% Secondary_Sylow:threads=2elapsed=6.681cpu=10.592gc=0.392factor=1.597zXZִF! ]ŗXf1-/6vR[]\Rǁ- 1<4OȱCMgWMmdE_8f t3[W;d׃ULmQHݹXBB6Oca{e@Gp,q@i}NrkN+{:sb'ψ$KA2<.) Driq&i[RH<9Ft7%%RO^Q*gYZ7zXZִF! w]ŗXiɟy|1J(*BhJp4N=f/ȥҢU|ZP N3}UZU0ޕgŪ#2ͪ n4WUpԀ1"ձgYZ7zXZִF! *%+]ŗXi%6\.pF8\u_!B; yw7#m/FUD[ /h-9=_/'J\c4k35)(+ƕkl7VQR?#PQXrՉVt@k\GG%1+ oW\6s)A+:]FOk5锦l%ݼ@J6ޡ6XDW}/M5;Qg={Bs\Q{̼~`s QIPT)_84iC~(&c䯊Rzz#6-|TФ}^1*,۽O;zwn?g'XNJZj!*։Jl׾o K (z=A/u㨪!UQ;] Pf$ 0cXgrXZs8U=WcQ l֊X97Q@[}kĒsqSfHV)_*ٶ1*Uv!t] 7Aup17 {cUs)} LId HnZ a2 !wۑ]>+I7mSe_)ɸսTLZL[u2