SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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  o oy \ [/ ROBDD:threads=2elapsed=163.944cpu=274.752gc=10.856factor=1.687zXZִF! C}]ŗXf1-q恈͐7ӺV /K!W8DNKY>OjxiKGnC)p?zHL;ٙ|EP*d v>agᖪZ{l@qg7wL5\ퟗ9$ V{"@ pd\`}:ujw@wtZ@:Wm="-ȡ[,\wE[XRk+,E^Z).%K MtZ+W|U,k`m[Wl KkisUdJb]} `Dp9`5kVz&衙PIs$D4]OkPܲڵX39i\^SOD6ˢ?AGXf{%z]% Ω|H#6TZl4օT@けdeh 8^D7 ݧ^,?L}%"lv8Нr>3"6džo6eMoj {=C/>2ޮi5YZ|(DKSi:cSk9+8MUPAtA""~!]?''E&*HZ:d# ew4zl7ΥH~k2Ed _r}Oqi6QИjq&}mUr/H*1;DPё ׫eRQ5FILkaWh 1:R "Mdoߏr0žA{Ga (KFZ= .GY!szW؅8.:ˆ4 aq#xO2?-] 'wẒPb}/ ;#H*0߆ Gp60!V QԁM9{xPHÞiGgϫ&wLpvI?BDV vm9bOŒ?p!VH߬㉡BU pU[ GgEq]qD(rDElF%Uz_aBc1ZPߊRl'%+["!iIRf<N 1NY0.徍*1eB?U~8M%\u OynDNΤb-DD(*ZEX&$C #ew_"r N+T1΄?M^Xk郱0cvƄĐA:A1VT}{:bZƒ5}iG[z_tsǰ(8wH#i -ʳf`<2"⏞pgafT% %.SoZn3 ]'Mh.S7B2^k:>˦[IF@ߪz{aڱ?lV%H;y t('} <68N'fo2JRc&̨R܆<Ɵf `FO%/.vi5i\.!0ƵX Ay)y@p֦<{87A$ k΂i9aO$󚋅2@%E!"&}~{(*,4> ?f ʍŗ0 s&E d5np9 ІeD.΄ $kVQl\kծlTx S#Ք']&%boCMyH9i613 YG;R4v^!#v) ߂[#xVYX_%g%et˿<:4YlCv" 4 ,,VA~K=Kk>xWX_$-u. %gl"u o+A7*\p^] 0:ԫLuEd^xS~eUDɳ"0` &7mHnt5!a+$vJ.I/inh{U3AlЗ'?UUȊu_jǴ45+6J&eP%'UKqλ~Ĝ"\^gYZ7zXZִF! "']ŗXi%6#yJMM$#MM$ G.zI̥O.߅r F%^%u2TaQܴЂfxb" "*+nI7Z[ KNϔA!EV?qi*y~Kaa Fvh|fV"#ɇ4aSܻH~bsFߌݪ\Hd+0,HuWgƋ⦆ݛ8`ID=J8J-Z(ш|1|r2}f uB@B:p wë`p&N,/$Idjfzq:T,<˛>8 EŖ=WF iFse3RS^`sRq̆`Ÿk1m̢Yh!Ii_;abR& J-zf/[GŇ*wBcYd9㔂%{D} <أYujM;ƶiI X 9BP-kAh2l#eyo(e4VZ];~FCTW0;DND% MBu[sh;\\jL:GAeӭ&ce#{(Y8UEȻzeRsot50=+9N3ppSE|uP+}Ǭo1ArZLJ9}I1qףԫy1@iZP:_b?Ylg ٓ u{ iTb4`.5!zf7$?򔯇ʜ`6{hC:eƅ(e1RJHrв 7nv-\'d>I[-VBzVM+^0b!$7xɴZ/1 +g-RES>qJ} azp}E@C+fe7ll}.H]['$'RPNScR <F{0[yK8\ax?D]R]eQdv4Z$[Fa Jx#zJF$Qk`G?go0*{$E&|3W~դnW!7>B$jY" - #&)C~/-fI=iA-v2Л@*WйėZlRqvM&(c8/tʼnp alSР~iw!*n>6GQ*y.ېfS%KPht[krn&&6xvm`q7;-5FS_bU^NvlBmx[{4h~{pxlL[>qHůϡdS$uCڭzvge'}&ƲuCN±B5{Q$v/$A%+'_$,")WFWF^0e58>ߥ~dokA=Cނ>-y>0pQI7Ʉ wyc 'pJD>?@Ʒ AL~MwOM0se^{>f.[*ھ2QKRh&T_aj0lvZoc?rĊpxn~%gnh^0ȉKkvlpiaۅ?.dclFT5DAL?#vC{ %g̈́ݘ ߫+KD0Y]oZ$7VߘUőm0>x`v2)f%)xX(l#z \[>yǿ%0:H;`Lapp3,D#T'E(כnVc:&#K G9rJ H:>:Y#Efm4GI s u07Rā^ jTOHb5 ]KgdچOJrlj m'x ub[(jӺk [bPJ}عeb55:W'4u !T)K%7 hv[s .uih$0?H# JPx/O;b(dm%$6pzXi"vmkUP2vOIӕUfN6ޜt!tWAS:3E~p"uB~:鷺@WFN'zBbpk".݉*MХF"pcҫ\ tLE/AoC_;)ZyFí6ÎQ055gݩC 6l'G`Tϳ k1I",8gZ5." :'[\V. G>6x&tKbBE8Dڔ q4Z^Όgl%ڣu%"+o`ߒ׈vQqlj lqLJ&j: `bi;dQ X5aV[究8~ H  ilʱ)%J9|GOA&J~繊L3yA[AeM T`/cC8h<xv64v]j6O}&؀RėLԑ1>/&GPJ ɐ}!1:,Ֆgz|CƊ-N<bBGgr,$ ӴCbYv!6I YaR[w~Dig+,9/loQikܫp/;Dn-rM͊p`mrQ:\.`~rB/;#,鼬\>D(UGҊe(7/otd:\ul[:j+1mEمam2D=(_cM,Q ?e;ȥU>V0U*1~SL'_5 _,/iI皨{Δ)Jm+)aүPnksb .5a7BKUmփE^%=,z3RT8 .uIcJ>11m2'WqݪDɉ]%j'l7U P _8n`'U^i@CXiz-_ʣװQ_PHwCuwDAK\nxvQW9;ќcv*ro~nbe)6O1H5CN\ Cwd-xw?lJZ0\Xk;D=b=5F4J&ԟg(\Gg xj]GS1=⼎O20K.Ms< G"//`.t.N+(|Nw0Y[h>:c|;D)De(țaXUM@txEǒa4JW:1]=L<9[}Z&*E;ISK*We3<\&1a?vQ6!fӻTb(-y,8;_hrlx?,8vcU mPAתt?>, MKj"/g ;,2- R1] HϿ[۫z r{ޥɳ=~!|r-H+?%V2` Ex`bثM3y7 ot]fLq wwߦg3Q?Rp>+DR篹,g~mlB2(.u>…“IA×2hmH8>k#]p ƃ9>'u<`^J2j8[Nt}'^`JC5bICDz`k@E8@`{`:&9:K::V ,}bW#(r˟D1W m7 @4ŧaBf!\d *U~H>6"-[ܠPcHuscX4̪W{% 'Ze|DLy7@&HCu?Ij-gIABz)5R%h,IrsF x#)yU:^>/ڙKTh|4} @& ١V3'@R9E@UԟKdg`/(&Y.Ò>9U(=BwEkOܶ=ʴꈁ_4TN}m\Y#6k`)vc?)ȧ̈́B6fڋeoL?g>FKEkY &=.yxHD?*m^w}…kM}gkkBAƬniS\"sQ [0/5$\V-_`I8'iGK^qKl*y9Wڈsc3e޼e1e>֜z $/wke*x6RnJ ӽ,Kcăl!8F `Os!8e E|iGo @Clj+"lI=4{WK^֢/쟅 Zz]q/sqԖ,-DV2owZ}s;UgjVգ a(6dbS.\\?WrhΗoNr$uR^wp~sFeF S2yqz@\@H}I`ƆYHU֞Y`5Ұc,\\8*S-|DxKޏ#̀4:oWa= ܎!;v_e-])rz᭙OZ Bi$P5yrT_=[FWH>x!{~z+_sGrM ۳]$Y1{-?9G^ BfV ʐH9iɧ uYԿ nk`}KRTHM]&?-Iv/@-"ʄT~+bpUpfۙ4q"c2a 88&MũqaOIj+z԰_uPJFٟͥagmTSuS3ߧ/А6EK_wWty͝m]u`\sh~iY*vԬ!"1_mT)ҔQtr{W/ٲT=IN$ 4.]ذS:q DTkĸMcdSK0h!3!&2Ⱘ\w{dC!gL'oy1V֒܀ .1^+.qxIڋj%'V&3 /ÝʏH[thq%W `mDT{($ 62(Mb +G4;$L. i`>f_pp "9T=Xi+60VE3vstC$Wب }օcAݥ @ӽIM=PBRwJP١)"X )[#+] %w>y${_څڃ_GxtZ?GbFCP7tBhn~ ?-wܾѯGx[U8ͱ!nY;q[0 W%vEvPVM9j+2 6 oάw5Ε:.姞 ʴ% "31ZCI-g>J_ X*M%#zhhr`sAwj UMK\YbOʶ =_ɘt-@RBI'Fuvh42D/fTDX|Eg@XZ>c!Ư ߩePm{9G anͰKoԟYȾ1"Qq<:BN/!)bLR'x35q:\ W'^| /,l%/qĄp8}OO].9m!8{KVQ*qJ<s"a4CrXw|{r]Пh6tfR;u'E+f9xڵ=ϯH6&?8itxL^u _SDa첚 ~V4ޭ/Su+M.>AN$z5'R BX(=ýA"\Uupy0iEh]08.Ha:cRTLǙL)h0:?zXmjAmR[x7l.BRэG6In[P*8(Z57%>>':,~8e 1ۂCP׋E Ԟ{xeIs‡/#F[=lWMkǣX3gy<-S[ 54صmlz(LY,HMqd"eչVqg_pY- oaփr=2؍]!{pgY&:ou#4)&,"xe|_nc؊$\~m;7;tՃg}Zݢ9<5ViRS^n%52^aeۥ9% yu]L(v,ܥmڄPur!7?az&fyc'qIpRXv? TO2I%}ztoSh{S) lά827vBL:~Z*(gp@8F`ST1]nYsZ