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 ?/ u`d̕ݶTHdmEJBKH>Gs`;tpA*ʃ$ѡ^ UIWeћ'z>>[Vֻ(Pq1)N/(ka ¹i4x3E߽MlgYZ7zXZִF! ]ŗXiɟ<\od7f 5CoќxuE7j.zL^x'Ht;с0q~<'~iyNsCZ-4X#-Z`+{AB^%Z60 OQDlQ0^C";aL[Bsx'w |a; 0V} 6F' ͹K6gx-%og@{_YYwE5m~şTm ]XM AjZ[rR3 WsKÐ:ޓrb υ*!A>S !yi{-@" _9T%fU4@N0u$юcA(,PK;=N\?V7Ms"}A_x6 ~jjҽp $I+0V݁VBDpzK٥b ݍ)? `^ZYv'}챀GBž;M &. Ob68ѷ꽅g`y ὦw$baznO\ f̅B 8 ]MyǢ6DMecЂ&͈́$tg#I$R .˾񣶴!?Ҳ8 ZǸ\Mk+8&0hNr1X 7k6Q&~f|mYVh 9MAjpy2lk.$> ʩˡKN\ 4d_Æ,$+< \Be-B-`@$g0c9?1 }٭~fT'BH^ҪQoʪ @kNd55SsYxE^9"VX`Bؽ噟 dmM4u\"8`u*M76&y/{{%=7IB0tH֯#^@ ?}$yW9 =+^(ԛi#ܺ0eA5=I7\@-ٞqA-,E v'7-@QVvzm^9.!08M *Fw'9x?%}ΐH#Dll +BAϾ=<&d'ޢWܦ˻O1j9 _<&I4nu53Sw|L P$Yx!%dtqB zyk5AJ"zCcRwaSb9Hvwˤvx՚eDl$evL`o/KhpIۖ r1T4}yhg@?b Tv$ʕp};G9tRH ,:f5e謦nZoZzbi)"8ǁ1G%4.o d :́J"; Ptw%+b .h J d襢9"\Ɯb ۺ\w]|) (`!t]*}j>(::hiMLMdȮ?s'}Ϙ7S~pn/bÀ+ J!ۗ"w+% Ua`'n+-{,oǖ`v \a$gYZ13e055040edec47269290ae4a1a32e7e80a2235a8ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a 4f980edf476e1d267841215178fca737808515ef 058f9ae2f545853b9ac66d3443f26d23073423d9 a3812fce34ac05253c0fe50520b5977aee530a97 ba8e3990ff0db01c8c0a22b319a979a60458e07a