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 QQ$MT % Password_Authentication_Protocol:threads=2elapsed=102.515cpu=160.320gc=4.596factor=1.567zXZִF! f]ŗXf1-/6vR[2Üd! kn8 s$g mWL>ҞQ]2Zl{$¦[Ÿa09 fYd=*V[6|na`Az&oN?px-<q&tTNc4 JGRZϝ?Vio15e5=~{`_)9Q!l׽{Yc娏i԰cȭhh^ǰ:lglvkJsn(W0=|{4FhVT[Ķ kpFXXLXu6iB|ͫ`#in8iK i aRpgHZSH8L2#1-`pldGc tOj-? p=|^5-([[3縗[c2xu$)E8?]Q 4VP>RZ%S*  Jjp;RZ0+ -7lwbZ8땘R1.-.H/e 8g,/sZb ĭ(BƷ7~$4bW3.F@D.Us?lX| EΰDE&uނ|iG|Qhf:-*š:95.c)?S{%I?͆Ȉ[ 2:ka@G *s.7RU4IBCyΞFpn2)BejڪpۄyC>7gYZ7zXZִF! ]ŗXi%6zI NRG@9lw›;̎Җ"!p$ Y5CZnVDBsX=*6Y6^Y7Ado -PcՄXvlbc®AB.q'\'"WxXR36'jMNE)F9/pyzG#jx ?KB*uC$"edB{̘{B>}zXvP_ bܽ1"n!tʁP&qI95(g}|ڇ%re{ܠh ]aVr"Đ]CT;xUq#>eRDè Uh1tmGwXVӺ|sB$/!wu-De.|PfGM$9BsZ{,q7$"5/l8.UKI~t1-/a~,D2V/q1cmڙˣQGU\q<a^N7cJEkiީsGCT@1Z1 3ͷ`nb`u L@ͨ;J2DjMyTgeVUKQP&y I&ZtŔA|*-jwCJ~xoEE$|d0_H\K%%;p-4 V:PXC4%Xc KjVm㚈/aL?X  Kǁ=(&Tyt8g(P40kY_.^jua3Wբp۫)`לSr?]mP l`^EEo8^Z0TY-Aiq6D']+e@Ҷ7zQ~m+*hnW9ӌ| g4k'[GgR; h@Li7H2O̅WۊꬦUPfS*N ۢftž:ɼ Ƕ#ZݓI*5b {nP,d#t)E _Jq~=je #M Password_Authentication_Protocolhc-ⵘ@ 8@6,f6Qn;Đ3OS77*H uo,fHd!my ~q-曹E$‡^hm-g<: 6-GZG;*p~qĊ&θ W.NS-p>1,'uTjGdkc4d+?xfFAK&L#qTm=xЇ2 f4ջ}ZgŐ# KX^?y-ggW&PR!\e*M&7v1Qe}lu/SZooPaXl+܂"nܵ f24KFbC|F@ugM#oUAoZ; 1ݡ%aY\߀fiRg"OD?r΍vܒ;m;Z]ɦ?/$2E^&Fd:G̃F9Q/UXg\\HpE-GURY4*XHQI`m +0V:Z0mj "Rعb,ضbډ4xۼuVȶnBm?lhNa IE A޵ ED2]}dvfVzXB >Y23{M7TnCucWP6 (Qb=^u>TCA)G>lM~cݻ ĝj )i2"56ڃ*K bӾ^ <_a>sE ΃_D>LcԷjk w`}#o,L2!;ͯkI-{׵4K2긫Eyny0&K}>8'V%]Qc`!6xZ3(rNKH8CqSsݛ 0캘>zlCv6(2F:{4[~5/4z90߱wT%UJ2*;WhPPj㥌LeN$ Z:ӛvOjo߮$kOeF ;z=mrL!ǜz{HqyvS_P?g۬|x)5fz!'?%e]q$ZD5OF9R3)6_k:_Cb-pl 6$\l4)zH'13<Nsk؃/iG@3ONyxoB|EJ2dH|WM4W ,~R%>a?ͅ>ΫW; /oan vNWs+%[#i +I‘Ak[$/j[yWL.Wf6=9`!nN,$#}$lAAc #^#Ѳ= ȣt;Ek҂r.5wI~G:ծ=p䩫Fmqܝi3Bwi{KS`lسg޴Rd)r?zJ=|8˪C8'' &R7@ ,&~:6-hv(FZ4m>3ןN03ϙs @THrʺ ("]" W%pMFr|3m>*!/ΰ%2碈&*EJzt "ul7Ɏ nヒ|8PVɕ_ySjmNYN0i]](71PK̦^[ˬs`S[)vK}0d+[ K:~R:'ѧ⇅{x =a)13;Ep̾:J diM5 aɃe>OP6j0kS=J9^@B> =rUnՊd,JhFv ;m&JZ%hT?ad .Kw.tIMX-g2K]r}xcSK-fAou}>a(6@!1[ g'۪5 %ˆ= ݋2yEJG+R>SjO酨?EQuTn2!XL2K|ioqK_`w~(ͺ_]4~OùΙs ܳ!ƴ}q_)L>&sE|X IbH$i^= Nёu{%˳q=R6Q/X\ąG>%zU-:=DSu FK ($0{ⶭ΃Ҟ\ C}E E[6ÂF\5${Dr;ؾPm7j-x3-M E 'p9z0(+V|A3ueoNp7G݈ʈbbRd" `WP ى|l1}ls$xaķs鹟#ݡXfbb :͚RS*6g^l ED xkJ[J<\} \j |4w Éobw%֟80uɌj2 ӵ[Zw52rKE.!!UN_ k&ciZ3bvߵ. (- xQGL(D#xLq'k@ڷ"S!~_ʭrlS 5f|n`.+o*za 躓Ng(ҡOx '.f/hЩlsy<lb4rh?mSx߆`5B.)ZK]xsء Ӈfrp ~^UNDH`; z.GއɩХɉ<ř:O 1ظ_/?a܁OAŽ9anD`w I%A&Q $@ e% 9ܨ5o;ڤOg;?[d)~dVBSVr򏭚+>”7$\W(k'¶gYZ480ba4aa58d59105586d2000183ff5bee5cb782a 52c30e72644c298ba06cb7e5d4f15b0cccef2659 ea6b7b38328d1aaafa37095fbb1796770c2835aa f4b31db9cb69147184e4ce16d616ef9040dfd654 fac45b2e7c5608bea50d81361142a8f261f776dd554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 2b469e38ab065480632e9b5b8f44c208e16cab8a