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 pT {/]Simpl:threads=2elapsed=116.949cpu=210.904gc=11.468factor=1.807zXZִF! hJ ]ŗXf1-q恈͐7ӺV d>`;Gؽ8n򭖈:)FuKȾ"1-I7Bj |;[Ru/aORTNN  Simpl'Nρ6rxیX9ǚ8@D"pe&M1O8h@U&C%_#\g3UI' `W8iξdd%Th{߮MEÌ@W}rGp_z0"LBzSNx/p(0}M)0(d#i58P;OSoA?5c 5l2ZӼ`]O#ёU_|0GN.f1l,c2Uƕ60fT%,8sؗ~x7P+T }fE+-Tڎ^%Px-%swjn0A J(ÕuEM9¢q޲J9^KĚQ0)[+XCw QVP S~DkOІܮݶ̈́,NC(_4IhߠkzU߮NA'_GU#C@'kpܗify^8KiRJ$Tat@ORt]\|kSvKW-13'?ԷD[ .ѲY},ϴPq <Ѻ zrټts}:trLqp/Zͫ:Ru#=ė*,FKʷPlJ w^9l vyȖZ;ɎH*a=ҳ=Ȕ`S7𝻟,_mϊUu\7pV%>5/2Ecඬ'Tr큪U+e[MnJWVHl~i\\bugj5 V;LOKc**@1b1X,Gֹ.nɿ<=#iWѷu}gR#eFr+LOĐ{ UH/c[՜p$A ?k3O]MRC͂Xdz̎F $tF)aJhNyzẪtn3LuKSGt&بog a$x 8%O(!6bQ(B<ږvnѐ ' j)ޥ x>  W%k<^CWN1h2ȌA̿QÂL&a|0H"UY hbgVjGxLZajGCEB¾鳈T҆G(d+q lskg=4dd 40lW~6`f=z~r 4ATߢVI7[16=lu>Ly*Jˌ|N ~+h"bzkp bR.>zµ43C.5Bb!Dt&Mr*V0ҽ< &:+CYTYdadEX 眵z0wOYP8_߽%jŵ77>[tX|HP%!Kk*4[Dqת'}q15e>Xi\%tI?/HAz L$Տ F yjLj*2EDz?+2K_:T̫gtVv[`o7XF$Ub4V~Fމm V2R}zv.'gsR5.xs2BwإuM}HZi sZzm#P^:[Xa1jƌZ#~M !-/K㩔/n1 xi Fca˥bW#tI%i F_lRإ|GWaWr Q8Ƽ0qj: &/ xw{_ck_!_c. $1pB Lu)lˆL~Nþ-iw?%-鴁 3(GgYZ7zXZִF! W*#]ŗXi%sI'#2%8 ӊ3ܗ,NےqHݦ3RyNW_ (B~uX59. ^]KvE0i*q b/T: \_z9?L|m^ِlO#pa-wzļ 2H,;y,l^lD\2vpn0uqGGG+|EYIGϒb;fnEYՊk.eiZjM}nltrqhn^Hd5$@{Қs;6z4o+_ ^`ڧLKRsٔnc,_[zQ'5yR>4\8y2_d7a +Пf q@4&HHjN4I$Ɖv$ nVn7"$k@F_d k ?ū +plS,GKpTШ4 4N{._ j޿F=ʒح 5 wj|zTNLD;JGr5L$lwg]58'cwjt\ϮڥIԎ(+2ڪ3 6DEW|87ߞ30SK+|?O.^B DB& „Nc2 vۧ[~XlSZ ~> j3(Iޫ3s tgnYApYr.dϽP tMivAfB#amwO4#c{G4tO\;zzى Gթ OK۹,_6!pV]/sݾ,nJ$Sa:U?t.sq˜4Gy8n$BE DM>#Sԙ] Yhb*,"A :)MY;VI?Όa'W'9?udOŝr~Z !TaW &Ueū{tܕSuzc6ɻfy2JAB=mc)zCLe -RN\w^&6`J-]o`_Q89͊,YW.d*G󿼒&>)t|RVi>/0(T0^q!F69*dvoW(_8IU>AI3}8DJ8twAjyu$hڮZ3 T-]8Z1)tWH4yXW+, w9/vZ$ruF߷<}s$1S|)ڴj9tJXQX JH u#;};=ɘk@QEEm7/U|65eS!߾ Hԉ] C}f/V{u8p8RL|4 ѿ^tULC%Z *7tǞlJ0 .o`(. + 0M@o$B~#jjǴ/L y| } BrYOĞ]'<&[>2*•#b4lR8Zߢ3kSB>, )1Q9*p"i[e˭0NlX߈ ht5 C D@SA9569*iF6RLG£#f<΀q-iYT~Fv liIJM-O#`R mIS/ ³4ޠHIG\ݨP~v/|#AGuCc֒)$̬l r5ud0AIepߍnn }  }L&p|܃Y&#Rh5iSz%O-4_[!q;<)jh]L;}菃m,0Wҹ-puR) %A691x.kn7Qw> ka6jRjؕxl|u36FrWOz}x#"m8#iCMGU>F[w˜K{+Ä3w6G4*^KuQ DZTm~6xѹR_9.j![X(j& R! 9]g/u*C>PEHYadlk-ı?u++ F1%og£Q fdTzy4D-3b7SOL%8D K~7Rc;bK^/L$i޵ˢ ^?39|%}CR^9u+sWHNTU*C-+5?j,G^BK~2l8YGL!iFp }>H((닺=jbIY9P3@%bŻT\:g:Л5ٲ{՟R-n.6NTDn7?'"![/vԫHMpuIo Oq 1z6)J^Ajqχx^z>m" Iڮق]_fUjsU9Yq k- aDz1͌ƙ/:@mZdGF'*xqOxН]# >啴96x1qM qoS2c\%QmqI wkmXcc&F\'aƥЧ *t*6e9{Eo=jfݷ:_4PQDMʲd*" ޱ& ޝ_YE,UkO3Y)~]];XӐLEܥfٿ`\joh OD)9R\< ,4uib M,_Wt;^vdpBWdϦoHhK!9Cح4\aЁNo;#+}pV _th-zp]y;I!UA5jVooDUT+괽8y :3t0~ySP|fǜ4!+m8&Qʇ.j}ƥ;_ F8J!Cީ0;(fvuQF|TNTWKoB-&NtZQ¦wCntM Zve$+D%bi+z=;Hnmo>R=q}`f R7p ͖[2[`w4r,}ϻYp5CTbPT{nn+otAt80VB %'EVI?m Rpm yZ,E?:*o" g)^~X?)0\AE_9#2+F5ڹ y۳ЫS3'97@34)fa'"3_Xɼ+>2K:9:ݞn4(=mnP ?ш~,tX$[Uʵz۷HApf˖XRl0RY ?y<>Sכjؐae#W'R{2ъdOo搝R3de׏J׫A鿦V;ېރgBaLڷ&ZKΦwflĔ$sG z\IOW"Dd.sU̪TF1`Yw_E0zWb 1 [\ޠ:>(=5)7"2-e)]\neS@O T#A+?Bg<[\U!FW^CZ0 O@.,%Ey!Oa5c[@vCW~Z;;I&]eL`#J6? ^Fc„*Cp75S~3IP8QBl۫DaVh^\It)86\M).р4a@ó[#nlM |ӗx7 KӬ uF1__h]{إjV OFShʛ/gz<4'&0 U$ FH؝x:I0 mm0xbUx\#L;ɀGF EE|.N٤lN*l`E[W3pauM@Js/8vE˲N#]l9PMlZG0̅<߅czX vΔ,8t OrjT+zII~TsCR kKR2;S&+jTt|٩9̭.aܮ)w1dvxMe"is@.pg0|C{.h…&V 7J^Y<^2*z,hQ i۰y9qb ޼I5D8 B7y)`W[doQz!3#@&_6l2!m