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 ~+ tl< ] Cayley_Hamilton:threads=2elapsed=16.502cpu=28.760gc=1.476factor=1.747zXZִF! L]ŗXf1-/6vRZy`ج] tv#[/ ;=!{FfBc>w KK}yĜV 94"{6k֔vXշM4Wvb]!ۙoI=l!JU#D;([NꑎK3mAZ|'63 w3T^~ܡI%pK1 H8n|sd )V3 ?gYZ7zXZִF! I]ŗXiɟ1˦r w/8OA~ko7 Aq?%5Wq|l_R[ C|Ogv=C CyM>oA2}% VVͰF+E]\Zt$cnWĬL:ͦO-r)9FXCG?kgYZ7zXZִF! Ya]ŗXi%ήulb:{ bL5P[{5gn*o|C!rEZS ڻ!+blA$IAwV^OMp}nr,c¶\Uʉ?$5q{`0Aj5 r5GdG) v*#=d'& }ڊRVzmGaO7պ+Z"@A&}!M2Ho?`iRN9kgv5Ա.jJЗrM7T5)08XW%Ȇk㭯akK1q>]m̳%6$a|yB)cQVFڽ%5mLXc#%zWc **#Q=,锽? J*/_Y.뀆)yS{'sj\fWymk8? 2̍h~X#.n4& \}uiI vKVr Q4:{͛x