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 44I t ]/ Huffman:threads=2elapsed=11.624cpu=20.248gc=0.472factor=1.747zXZִF! ]ŗXf1-/6vRZ7Y#Kȅ |[7fn 1i-^!CɄz3Pp rl9難eSLyʨLtf:Mr w95}1p Ilg?mAM.؏WoC`!)OxoSą]zӌx6j]_ýB^O"!dZ:IȐJv^+#VO5W3Ƥ ׈ô>#JɕĂSd JElw&ʮòE#ō0B~RE[N PU N1o T~Eoă7(fDO=~<_jӾuy5U/`GG U}6ٴ# eMA#a'{4<t ƇdpvQ0!Wf>رgYZ7zXZִF! C?]ŗXiɟt0sϘ ECS>Vb*:6P:>W.1 6#ʝ9W[D=x}YZ7zXZִF! FzE]ŗXi%;уw# %]/4j&o5ͽ V̀ !z2FyL)}D kgJjuC3>̞:ZpS4z.SU[N.Wj.lw07p{7Ɩ_}R}2A5iC/ " IylEɄ7UJ5ڐ[7m2~ r(U9 Ņ`kpͽLކV#B#-5 Hpge M@Ƥ­`Q;CuGL2 c(%c'BCӔ8:qOZb!եZXe|߃ eHV*qrɧVHVwu`vӣ%"xq`2ep(K>rVt Ɓ }2,0?mfqXacak>ȒaucA]*>k57 lGVT?cj 6Mp9/N3")!d∤Sb݅2_%l"/@9};1)`81dQdMt% F}'0zM^uȜΩiV"c6h{dt[i# c1=2c [Ñ+TD8d>*ckpe?ҒaH ST-L?l+p:#`o 1P&ߓӁ \+A `.#4ys7ŏZPV.8e}f Xj%׬erOԳ AcCڒRn?4;AMW@i~nO`iv\-glJjwWe6؀.JYЉOոECl %?""П4d=~?tpXdMP}׈^!-Cʖ}7KOVO O͝i FJ*YѯpBA,7@H/*470"8ngYZeabed07752cc62c4892f974c02f652c313c0f7bd79d8e835726df87c7b301a8f091eddccadfabbca f1715b405e31ccabbdc6fec58464e458364e7dc6   Huffman