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  8 8=/
DB8KDopB*dzҐX8ȟǸR|8|9S1L~nIvei3cz7fU4(f=u^m\A8ֲ0TK̿"NkD̹7Fugb "$;#uDN[&K3ղ؅)TeXBof߄2n#( 4>|>x4N8}U[!pM]tqgYZ7zXZִF! iY]ŗXiɟ1˦r+g'^.e#M˶pFrG5FzP:? :þ:@1 HivH~Nd6n^e;ȍ+6BP?1axQWh zp7i0snՠ$bC(<3n_.ynVg>AsDT('"-[7G#BdDI rt)eP* azI L~w{XJ&UY@8u~K\U>vG ːRE9yT|SY[k#=h9kx;K؂qoՀ¡d\$WHq׼ȒG}qAROJɅE` &uP-KgYZ7zXZִF! ]ŗXi%6YI:N9ltώideZM_CuUГA UZ<Q9[KMxҮʢw|i..DVX;EI]j}q\PU-U Kd[xu(u-Xx5T͚m/Te2{ )#Ir5=irגSoJ"dA*WFIPOadirgqO37>+~d=Jyp됝i' zmJABOGJڀy HTRޔۙX'bfqnߤD&I aӥIO9;wpS^Ү rt2za Z Lۣ"T饮EՑfhW3}祥emB`GFq'cfT{0| $8$h׸iWMЁȈzV,8U=/`z*SUizhU.8HKCj / HOL-Proofs-Lambda]-4o^(he &B+Gg"m٣؇%q]t9C˯Ôw3iI;b^)]|Msij Y1z0z$3k P>4~ѣ0}p2 !g*[$2S<4/wTgW@oO(|iʼnSsC1P)=J.n@Wq sb ߻~åJ:9rK~lvAq^(+ :(M`Wi`dGfz]pI"5[\ Hf Պ jy^B{+xn-%{۝յ$z:j'^TƩkVCP )I$:-[ . ] D:o޴Զ>>x5 S;(u>Q&@S@ٞ*2P۰Ѫ WL(рXC(}rTt4_ 񁚞ٸhBh Xd ?YLJd%@n[ۆ3|oA?c`n EI %|R7L3yh=9s #ܔ1`9زm'vji.Щj&/4*I<40^kQZOWe=oDa;[>*Dvxfg[``}3d~Жpȩmro\@Ѡf ]Yp~y 5;/( ~&7^M- kT#J6jo}ӞwS#j,^H&md#1uϮ8]\͇㵈aC IHnczI-z8\h\16 _E9r]*?Yppld|לC6DR*f7s-4!/H%*=&?34O ln V84pp)SxcVEu{&tOgv݌mn*9Z wAl(*,`1C@MƗa.{pnƁI!E X  5cq&d!Ck|4Pv qf-SV(+X/xV! a&g[]^$ަ;Sn/˷8{O-nV-_nStaD32>PĎRz_|}>0Ee仫 'oQ@B\dh>54wH\>z)2@'uov"6ՒFSs3P/*rB?w6jmc:^"skWQ<%% 9D /L89 SAdz勠~o- ,7$!<^ S7}Tonʘ f(ӆ3f&iH1*LfێG;tު!]
  • ܊0J".%&v;pl= .#WxKxalA~x`Z- #@l)dž(~N;_YҿB9on$3J"5ALZK0< k" ž]_+&VM-B,6lP/E]ggz$,#C0[ _\q:xHp*^#KIe&g>}ѷΩme#3S_y0|$7xM7Ʒ՞HUi:^i[MF9ay?N#n~$TGk!m'ȉׅm>Ԗ !IY4LcMJwFW-F}pG#OA>֪w>c/xl N ;DegjLqCq{#3DPdۆ 2(Ǡg2›[3~0i9٪$ &>mrTw8ɻLzw18@hݶ^L.x}8Uz)cw7YM^b:?w5Af2Xd$vG}>@XZ%jƝʗX2!s GI1Q]`^voeRP.EՅrn2` ,P UPTjtN^ggbs*%9:Xq.{SBZTy.r#6kgHb<#M65<"s*n9ҙ{3x^SbȨ+C1|o P  *xӓ)n]wfښtK/Y=Ww}KgU%UpE-i,V*anY_91wЖSR2gdc?V Wv7eTM]IN5f AkGA6(dLIQ7p;.%'i*q*ZaSkmS:&7wJgsF>U+K#K̼!gAf8J!*gc zz/gƫ/ܥګ DӺzfZc$e-~׊yLrKi,Ii֙D:z.c Wb21H3Zc6a?_فcm[Vu{K\28k]_2g5 xFD<-bʶgZpV =>`gcm; yuOѯZDll7E@K%F]0;JDTJ|\۱bseS;lJ/,qy͓$؞>V| ~[?&a(^; & 2,V`iTmPAxb\7K5()GՐ7/Ͼu|jZYW'{l-xAt068{S[1,pbp FoݻGOQ3n9a 딹\Dk{y~;h.>f֗G ]]z,.ԩ_ cKibCbCb?-K}L '$ړAgYZa1de69af3b03ef8b283f382d07b3f2c88dfe542be739dc532a6c80e6f5d762f572346ebeb03f4552 6ad47bd83d5a49571dcaef91533445e214d43142