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   k)ttL5f4NBҚ#Llci!] b!ʸS~e׬.36houW@0+<6F|B!&(2󌊜M.r~].kÝ&E8v4) [kFE UI4h=|lE'h۪Z۠Vہ@>CNLD\s}Z|~xm:W* i ӆPs#Y@$-}-B TzQjLB ۊ7BrsL-l#ml7P6mSTۼ3[ i曙Jkn B܇ uoԅKqqI uNS9"8a[S.߻PڍZ{UC b3g49B2./YHO*){ 8_(}Zj~X_;!*h/3d 1Em)jb{E EPmODؾVUH*(y73uFKr2LLjlF3^>zEUt ݢT7oqNʯbR7alJ9ӦBAlM ]%Lejvcrq͉ɘ? ?ؾˉA2/<8ۉ1vsKae rj zf*Jf9'HM%thrV?"}]^NDH x!1rd?]F di 8T`q,Xy뺜κ-(*uS%DW4^ť(HŅ!:wbZ\b ej `Ĕ:C&/i.ҥQSZ{N<]1暼ih8Ơ %*fWwJ_5AC`]glK!,bT=ֿ}rO,FLh 8ׇX͡aֻ^w d279{K̽PH0,^)Kϧ A@b8M|IRI K @!͜fpGW>f5ϥxCƔ ueSiX uX֥4^mD{2)})Wd=>r&Q'Ah$1g!4Mn5|~>^-`vNC˴ 3hzsnf#*Mު9>4th u;jJi* 6,ɱ&"THxղQZ0Ηnk("XSdT +/UOL@UE;zNhꝔߥН$2~Sj^IOh@_' sEDEgYZ7zXZִF! W]ŗXiɟzlk֢UzYFFLhAI.&lF+ S4Chvvcݱ:.eQ|-Tm3ԫA[B,'\=oNH$f `ކf4 H,xNd\G;.X*`;jW{AR,hGD2\0箉} 8!MxEWf̞{ݏno(Pwy %#Ğ@'?  oO{)aQ|&o"jl}bMaRNkg͜*` ) Sort_EncodingsUG%Kv[ș;[y?8T/c{+ OgYZ7zXZִF! +]ŗXi%9#ohG5ֆvM0y~"+X@2څ pd *.C|FV3"8 '>F2O@HuJ“smX{eQ~^js զg(#=vF 1}x-_ށ)g.!(ȱx#C}/ &>;%UaRBo)7H^k3W\ 4(=DcI)4>˾rx/NCp=_4Y,Ƞ4͝>GgR^I`XL3PvҬ3s#<(_F\YLS4=CZFqzSFaur$?D(L+7IVsIޛ~$Ëw>sJ_oT((zvKulS7fLc`R~"޻^S t=[َe 0YKI SWT#oC- ;IW~} +L>8]EyL8u(9o n85;C¦>bW/`dBr>JW f2*qp0yrlYKTS _ KEJbQY 8kJ~a=?sw}{b5EÎV"X캃cfF^U? /#{LhcT^;d{ڜG5\(3 uJGl[ ͹iR璦}>v#[=_;4ا߆1\iN=>AFj 3T2<`k g98W̯@G t _tjtݻT]-st|qo3V7`S9R ohaF:Cز8y̫~ĕНC`,>2Or]Ylzm-Kݥ`t;]&<۔*"S ֵNYEC#\!dRHBݥEGދ qwdP%C,rV >d9`'RMNwZg:"k*x1g xKqUTJuL.I^i"*39[ bHb{1!&54iK֝硟HOTC;ũ9zmyN v(Bstu35ƭO-3< `M,3\ cHJy\Is!MShSE"O%+d4<|(F6*鮤dlA0JI,D)[}};,@$NWi7]Y  9D|;o3UG>ݑA -iŜ:%g6\b"`2XiQuU֧bwj-.B j̪pwޥ3p t rO2d .,Z],:tXئ4uuP)ޘUň1i/PZTng޿a+b4RKXsfNR66rhW?^Bq.Je/1Vݤq:Z۝]/m:&$p[H$HXXSj]M?VƔ/QV!ţRsF5lhRZ>k vP%4 !/?+q`xnL}0ܽPUȓiEFN #2 w=#Y‰31|cj^b_Q .%SƒG2yf/xt4gkK[$D>ԭ"]NP,$*)vKy n߹j+VĮX+{׬,\KD+NVlL e8e\?4oaSMj.ɞA|>Qre,}' [yƑxG QpZj r2='2م8|GۯLօ6Ǚ84_i"E@ ,V9RUo4iS?DyCtWjKǙ_Jv\̖ З/B sbF1L2#fgzwy&|%{V`ENRxn{`qz)z#E@uY:GHҘ'or.%B$wxkЬo-A2myg !tU9eX9,P2 ޜq$;NمbAa/'jEMڎPZV=oDܓTϭq1u|gMBmi}m Bg}KO z{*qlAca``M1x[;N&ni47JTE2]Y!m=櫲'֤Ab:>d,^S\Um:I%cn9+*p,׍nȃVtRr CdQð/ct?L,Sn:}ߘhp3O؝S?GN΢ hE?1aLuvudoe3ޭ)ƖYr5sQJa'0Ȅ[raTB-aJ[+ⲩ%׌J?EܯQg%+UѮQMęgbM>q`D K *BUW*M=xmro &Iu.L"Hij )!$"c#hLMIb7eKi ?sɼ2JrsPtfQ]~lhKk~T#fm$XKx_ 1yrJ醭'9'PcG_fNe$wijێK(wy[߁_SZ 2/$K+SIbXk۹4G;U'9#IZ=@It :WO|DCg_;BD>=y:#ݔ @*XQX2%v+;88lzaN9 %UH0Ip. _I#J$YAa҂bTBfTcZȢQZ%2_F5$@kL`lc0t9r8+f^ @|gYZed3121946b8ed822addc2199ecc7eb3da15014c18ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a 9dcd22a721fb4d6cb69fff249fad38e4e65ea05c 0e64a70c4d10419a9480e50fcc89391c82a27ca0