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  !/LD ]/ HOL-Proofs-Lambda:threads=6elapsed=106.004cpu=130.796gc=5.216factor=1.237zXZִF! ]ŗXf1-q恈ܗ4ޤ9ks}JspSm[ wy]{Ia?c@%mZn3T=d2p٧YiƳ, XJY /CeU57Cg> V u0KlfNB_Mmb^Er_ws[Ɋ brTOf #w2]i};yXr{-l[/{->on2K"= ڬK?o4@~5vs<`aܷ7&F}F\ُ'yJ==J|*Zj} 'G.j:lɩzp0/]x gQ\ϣ˽BWeT,3%{ =`P=߆-'' ]FkN Ű),_{<Ž=>:u!=e-C!ǓCu/\QƄ馆zp*„{]њ%5yQ.ˮ" Ϊסv / HOL-Proofs-Lambda]d#pb-"ҐKMNofhG &:Ál a5sdLF^O*DAE]dZD9̅g Gu9/W')r1V0&E@E%=g!s/zi3#6}r<ԼY"Bo v J  syp{ 7շ墆&@أЉ SJ| 3*xkRz3"86`/r!I#T[ U$Q%>~ &% hM ZT2<SuFFr}%Q!0S jUl vwGvkH Fw 1$o/c,@'H|Y=qR7ࢷO-"MfYF2n'脛c5e4x\jfg.%|Vw2@(FUo_Igxqc8}[Ҽ8-&)?֭\z0\`1e/GZKu#1h&EPL%-vPvoߢE\~6 %Pil5$N(,@a~=ngdS,-̵Ԋe_ٴv[;/CmwsmocrnScbFTߞ,jC_ _ȘpktQs6%LF}l\ ˲^ۭʉ[\#+"fj+&% [B+^B(!65mI#X$Ƶ@:7M KS2s*3oNql!$^ \1^9֍9[;EkP8`o4%x7?Cn+Pq]v:x,%Yb9b'qs%֑R]R,5!;(Nqjۏ W ᎄM269 (ĊTtBq^NUs/P!bNlnRHq^(9C[q$^qE8,ۃ.z'R [", VW<=)YS[]k .3~"O\;A{xM8<}qc|iaP("=$ZYeXh^CX>81rFPՌH -T8,L!t*uhm?2 Z^N565VGK;F9r(F*0鵸WG 禞ɴXMZ 㵴I.9Ǣ΅C/׹%o"C/Ug,SrF@v\-ˊɎŅht , HU);& ]ji1M2{b/ ȏH/}bE}߁Cy#DaglH^6 hߙ&+Xg?E[h؊){OAyжb]AW6'ebh'~WFqeZbG݂ip鉕Y\nO`6bC_P|\FH08T<\m%f|̬o) gd}J|FZ@۽<)_ &p?GrFH`x{$}-L0^q ttT(3sE21G 0c#D 7A ~zWMb<.}"t]+xݤP]C#x:i2pzjq:m?vqI})mЛ} u)KڳJ.@*'Nal=lՌ!*:EưaSrUT0FSAE3ȓL#`"/ [ǀ_}& H*11w7;ӇJBl;kk)N{>G +ljA9NH5]_dS6 @Ȅ(›.@m' [ [h 5tɯ'?RwP6r#csX:@s#LU!_GǾ$v4J 3+u9&_8<%ids HS]qkyVML"?w o%E>PCX:R NoT<(3JX5]qo#S [:s(?PvDpEȳ2(9[\u2MfUuil`lۯ A^˰dLO"iOR9ed55~aɿL1g6 XytXtLVPʝ;@s f Kf_S~Yb:4[v!ZnȆy+'-9仫(5M݀W.򜺞;ˠ'f&KwsQ lOi]@G›_tsb<1iUU$ QxJ@z`dCA`"4FtoleM]Cqa'6׷ߠ>/LTBlƞgdU"?9= ,ddxBmQz-fmߥ0-`77f{M*snqnInDCf߲7pw0n!i:V.HE O,Zz!J7CT`)ٙXyL8q5tjNnaz쮃/4@*0i&cά(wܟ.M<IMoU{aǼ?{ap} +oO#oތZvjߧK1УsT -WaEyOE6戴'>QЭ҉oAB8_#oi}L:SRԥ<-ú6 ĽO=n+j<=ٰW*y!hy9n@)/+I."ȋgYZ00af63e618672044672e7a23ac1fed7edf27c5e45bc7b8609748a10319dc3892a3dee59fdc4e228c fd65379df7a6aa7100ca4201ef04767a03b84362