SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 b D m HyperCTL:threads=2elapsed=14.920cpu=29.104gc=1.452factor=1.957zXZִF! W]ŗXf1-/6vRZX]7b,n3צ{hB{%̅%`2ZJIzJ4"? fwI]r8{NIz$\.]Ú?i7Ѯ_#[6lQ K&9u* <3 #,/ҩqRB[:~O&D1fkAp%No~J{Pc8!:GHHzlL%Cw֞߂Yq#h:Xn!xAldĄGo|T*Q .է#]2T ļذ` y={1䞉ۭ3D #Ĵ[>ʢwQmy1C39]5a]L19hxܫB=ٓC|;N$ ~3[%9zݣJu}^#䂲o֨>4xOrs,$=VtpPѮ}>+cXى,<Ȁ3|{ktk7nBkzw-3(DXOO޼j;kYV`1:ȃBETޙ'eBtU |ap-Ȍ*APM &eXKS41}`<̝j u%)bLJ@tL6: y`ky)7ğ7I OftлB"J$!(cD)q*m^˹c41{䇁GJh.gL7fUiWkjZ5VYIYс <cX59+ $i~gvUŋ| E+!ϲ+SK mr#A?w Iv~:CPb\r*MR~DN0g{ T7I~i'/MJiguQ 4izcϾyά z%4ǢD!HT]m\S\si.-{e{j^f䨵!)(:Q6-)AƊ)V3wG_4GAiL`R+R0җZ) M4y6TLS9NdϜ9'7zB`7Dƕ~7¼> %MvgE-Ֆg KW9Pm]{eU1uŢ `'.1GUQ <(d01`t0Zx?;!Bv` b/G} gYZ085a79689514cae4b54ff7d38af148e3f9998070 24930768d36bc0a331697257252ae34202f81f2a 383f905173f174089090ecd177669a4776a25676 3a789a05a2dc9933bd074691cbf66c0acacbbdf5 55cf8cb8aaf918014eb60dc38d9879f43b9a808b 6ec780e2b27c1c30f138f7aa5809b0d84a535011 b3041b9d145e1bf75cafc18ad7ababb2b2798630 c27a7b0460c005f5daac95cf8a605b2342071d57 d45b2185175f77027946daa706988c766cbc243a728eda92c596448850baeaf541586ad0cbd7b32f 9daf9b2243525f9f5d1a1f22d380df7ef09d72de 3e315ae02238ba29ff4dfa91456277ea298bcd5c   HyperCTL