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 55@TT ] HOL-Bali:threads=6elapsed=58.920cpu=196.576gc=9.068factor=3.347zXZִF! B<]ŗXf1-q恈73w@9!Ӳ) F|b4@'n拏‘PCWڞqKpXͅ*:fAC{E_%b5,HfGmPs..+n`4dG,=so9<:XZ 1SjL6eTՉnd#2Cx5iQځjbj&$PA1.wmGtJd+,^_&dy%,[i(hI:kPLCd7~*Lȶ&zےMq8?YSt" "q Нcö `ǎxCSJ5%:99'X+1.p7UhA`L ^holIJ )Eׇ|>g\3x!5soXur|'B{%tgWLY=u<\M WƼl-(!]h$s!ۜ{0nJELĠKId̝.1WlplApz[ͧ'ڬ\x o#Q?Eq%ցy)T "J@AYQ(IG)mdڃKoiI wIXwȀFw-2'N.d;n(g},A]5lXrW5g]Ieҷ)a;N5 3IHv/6RJA $R%(Λ0IL}7;HE_(-|~O("Ek|$w36TDwD:i6i-֬TŏZ ӬDLn9oH\a> h5w 8d&b Q_A(j Y~ubg +a?t4jd69vG"+dE6b86J}*}=w .N䌪~C1oio<\( i'E4=m\QcD&&B X9p̯<)aXi %RSB%ZlMG$( (WݾXVH{XRrn0{kUbi?wxp^$ XH\Eݾj̭oNaI翭X1 L 4dJ*5LLNnv0~_'z̚$Ac?1:v/Y`ԄZ3LAx(wx[WWz&{H]ˀḎ$>~r*i_tݾǡ| GG$u8B;cc@ #&n{x#aAQV;ǡeHϾg AО"eF 4ldy|Q8[% S%;3=UGNagYZ7zXZִF! ]ŗXiɟ1Dw7v%[yźN%yI6f?P,wW7혥sӆ%1Avi PsV'sfXtO xKa:b+4ԇq5fM+jwrh*$dU-'Pvv)Qz ):ÔfSPHÕen_=yd9*/zIY^1^)#lV2MZr   HOL-Balis{*W֯ 8Bl,]]i.9J`̗VC=[~ qQm ?dC&6;qEOPXlXzGd࡯nbPӡW=TuU<=l _$J9^:_`pdԡʠP05].,R]-`TBY8IVGޜ.A:;4ʊnC~V9My{}Vwqsg'BDEU{B&ܛWӴ=˨\DĴnAGI?v:}Dxq/1GmaR1T(b.PP)a~c̸W@}O8ݎnN\㆓xI۔/bUIӎZ/ x,o{{jqO݃@W%N*>[W߲ Ԭ 4tjZX86[>2/Ht~V7kgk[EBJu2zpu^g"b I7aA+ќ/xp"z 1`(@`l]s4 6ɗg.k$7&Ïc&VQ}:Na_{+s|um4ۄmR14]GA'p}`)|sj)zЋod[(#:0 4 >}QRr.)v Sd<9!C)Vz,7/Y\g!{"ί!֘*PS80 8 JpGf7]_m)ke~Sr=[\\BKxΙiV鶵bM!^Gp?V`APp#, _y;CgF3㹯E:2rMhw;3zٗm芁ۺ0_l5=c=^؀#nz~ 4"q:`+H >y k271i7J<`ªD+sNqwyAѷA7CM7W }fv!Oq!STwplϜzj ,w_F.a:n4*f_#^h19k>PZ`X V [YMmI_,y$F@U\C0@_3@Y Nҟ¼G sHYM!Bך|ָqZEUmj%du탁`oiJzU VaT} bFbzkKdQ,?jW/XAz5hdGsрfӁq`\!HF0 ɕb{z+; te\5#opHDo).R,dE]tE@d';wkхW7Gq#2 AA s,&djuRz}EA`8~v )݌8o 3P53N? oҥ>RX5|!15Eakec!ů~wsK <6y!-c[$Gz<kNhQ"Efã\~u$'r9o~d 3L܉`@ ^ kS56[Ҧ^?Svn1\YwiTFjy$%jMyrithɰNtoZeς"~~R n_@i`_ uuVj