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 nn14< ]/ SIFUM_Type_Systems:threads=2elapsed=69.653cpu=123.336gc=3.592factor=1.777zXZִF! Pj]ŗXf1-/6vR[\w5G.`cxY݂Ngi]k\S3甼IX-vm(w)ł)ijբ L h(ә}GԾ?zm:g֓T7߲y\mUg}P;ۄ1fgÝ #68ZUr|ݕPS̵7Lyl3h}CջVxbtNm ~.Iٽ@B|{ޕ {q4v!wg!,* KyNSpïpi-0ig 1ehmx}K ״tV"G1/b:9i HvJr[tւv#DI䭾މsv{Y#,X#"wGM3 :[.*0GL?n 1RL#ޟ)zOFJ'"s+ 1΁+sRLȕm0\>z^mFwiT0kʤ4Wd\)m:]irP)DN0C2hmǡ+*HX|lZ/!)F^Rfn" 0,/>](x`JkrDk%kiYW7U+K}2V/\(*z &% ]QGB,Veg̺m3u;ZPG;(Zjvx؃>9/2(S-p7ne2d. )%8N{,JyE$rǏX^D I!ϭxtEƎ"cp-el;H ,SoQ*7f5d 1 SIFUM_Type_SystemsMo5`|2_B-}y _&ᅪ}Dv]Hg.OEg=jypPwuΟ1o.+ºQ\P1lY Q[b>(lCs+Sa+tvyphM5rw6ﱟ]kY Kq)=SoOh^Ȏ(6a=âS4Mܰ/2e / AUl" h @735ă.Vv=ĿOKHg1@Nɥu@<P gJZVΆON+E7m)uC2Pn*އw3 M^,(iVIrte>B{^^H➦ D0ObIcZ=pE ga.=^n/uuww=-B&'d'a8`6ZE%*zx?ȷest[BjeK-*HŨoScx298ӛ_]L7>!Af3Ƞڠ/8"GUkc#QvpTד7{cD~wYp{" -Y;EaI&Sho&Q\qZFaM/5Or1#nA UͱE*FVucE8( @d0k}8.-j9Mv{nGYol{rT 9&T1;Y\E,&'@BxX:^W%tf"6dRK;rЈMִ[&*P_~~uzy6]z+]TH[L.0 w+Җt&fv8;w \R Â6ՒxWSZ) Q1s \~ H C˕eQo9e3U(JTR(0T%ZroMѨkݴN@U&( ^@ܚƷCj5W\  cCdA U?/;Wc06Z,C/O T!A}gh6@ y8u4 u<tTwTGx6S]EPk*q.8JOMzw*.'4흍hȸ9s;bA&z[Ɲ\1H~Unt#'$-Jkp=BXk>)V^Svh.1Fj=<޿c'Uz-m?/֣%+4"=\:]-}`0cZ뢶 t6Vp^A芆=pA2 QѐZIlӄ=dKAC:[-q zdӛkֳ$M: M<@ONwoyhAA=\jP{Q/{{ ]WCr~_WIv#TTn[.6.DɁcbXw^9͒O5u̢*!{7Ź%qMgg4W~ Fh(4AN@9ge0׎ݽ;}vgE `WhFjK_%1*+&XH;\MIpYThHjK|E>8B0NгII[@Y['4=\gȮ+/#:ѩ Jwu˥tv{42 O!;d,?Wt .M= G_:U{0nc3ب]Jyf%:DEbw0y?mښZi{2v!2޷M$ .q.R?:tjTgmi}J¤4Wi(bi&B 7p0Ik{bntR{E`~vqP0 &_EKMKU.8wenDcP^JfPzMt?AWs ʇk`?16R+?nHv|]2X{ :]l'+W @n)n>P}̽DVu*z.:kv3H@]/0[qKaBxxM.U]:f F/Lt>c~gMp%7hȚ?{{g~Q6!$q;ag -G+[!v>qiz+{?(?lĪs'% 꺓|j ?/j 5 Xr.ܪ׵?eOV&LƯzAgL2&yoǪl19;7 yT2ZѳR'SjgS3yOw:yDІ*Ly0|Pr˜=1[( `vZsc__᣺Q?fcr/c*{Q#j>blJҢ9qaNQr=LFb+Y@4^꟢v,q*&p Ot>ܛ_"zϩnG'Xe/lxϗlHW[:zWaS1ًщ C#˔"Ac# C4k̔Cxz߅)DឈHQtjq->f e>o]qZk@74<>\F!Cís:TzӄZ!Hpuzm4 aHJ4y37s~RsGgٶ >T3HPی5,6 z>"g3Aڊ3v0Bj%o6Q!Y\WҺ8#Ƴxʭ۝Sm슂?1rJ2(R߼Aa(;U[֙|LֈSl՛qk^kiCY Qr} jbTE=ѓ!C!x&.Hi09m7VﲍjA2iR>᠊mܜ'wBC69U|]vmQӚx+劉*I(iq+Fʋ q\{F3^LU e,^_I7щ`IM߹f,a-& $'側=DJ O{0At+0U[?j"Û"T8ܳ w!GюgYZ59fb075cf7404d2bc6b5c44ff51109a228919a0f72476e49faf5ae81b565cd9a808c77e6c79a7cd3 1847274f423d78a61f6a5c9cd14f9851aa9995d5