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 FF+-$4 I% AutoFocus-Stream:threads=2elapsed=66.519cpu=117.476gc=1.884factor=1.777zXZִF! A]ŗXf1-/6vRZ]](5øF<Ꜣ\Tp+LS)h2)Z@ldc6?i,pHVPX»;N?ϱS~#8#)"Vk$8|I~>BOomӱ$˼{ J`8 eMb ..˱o!/Ǖ/fpV|W6`S+>^in(r= 5&ڐ%]|Zm{xr"G!Ð+*~rUeV4P4\Jr9BFc{ + W6 ŖI2DXx# ĦJ/2!@Bx23)Mê<,DIrĖw8UZ-Ϫ !zoǒRC]=^ J֤qݺ2??xK~lI:`tBC$!KAEtf@p 2L?ZYKi`!jc.OkN>MEǔG~ϛ{YDSh1~G4]Gdc苕Bj)(2׻gw1/u<,V' kjfσ^bcgyʵp~܌ey&o"%~= tҎ7(<,A4̂?S#x3IJTGj: g΂*(_i,-u} 0{KW39.؟`mn1^%V*8y?My5OV[_W  6J~Dջx2 zԭI\sKVF_(/3:P0m\la8*YyD'!AU^QaQ {N6`Qfl#HĎD9_ PvUU{ P~;Y>90_'9tVsnxZ{NQ=.) )+>J/[^dh{o#<1h4TD&$vC֝1zG?mG{ulyȵ%Aj - AutoFocus-Stream]F+w+hnίu7ď^$ܹ%Gb^O 默 V0޼=z΀Hmtb0LDX͔xsu:]fWOqdqfFq*{#\KBjΥ*%C 4ljx[Y{>2bwDn|~|`̛tIekkXv'"HI:f3*&Э mߦ ACu&jpNܧmO'?Tcˣ0!7=d*㽷5s QW![&tu;ΧDoVљX!Dpm=u(;Ue6æ`1c&* :`(+̋EZNKP\7e0PO4mAĆN{'k5xWSIe^nݨةɷ\`x22GymmWǷǯ,T D; Ox p?.kqV?ݵ^jb2і;wGfK-Q?7}f8O%PNqIj ch1ˊԵ+/Y䭞%Q}Iz?Ӊx:L^bb6|);+, mZ o`8ju -wPt&u֩E6+bXH'}SxGrN6`BZNlc YR4q鐜 $(ḥ<E -kʸ&Ñ1? J,z_'CehG 'Toy*-qoZR8s|\fUտ8ZӐ7X-4:2fKL.SS¿RS x.x4RߩUQv A3Fc2b¬:8qU2k?yȤOIv& @c9(R?oXݐ=Mb>Glc휣CV3ͽk;3'3b?\;gu{Ԍ+!p `jf~=Ps83ԅ$M]hJ<>*1uiS|ݾD UxB'BPu`|<%WO05c6_w`{toLZ%, 177ڛ^~t,O=,5ZPoo=u+w%ԥ>ܻ̈́[³gdt\1^PNG3tb禞In/g 4`W*?P >J;ܑ6ODbBC ?0~bDgw_Ź }S z OF'7@ Rq9+,UE3iL8LJ6qZ{]# ҎYDl'>_u R9{KH -̛̀"谕 ,W]LS;gΊ;-d"< Ԙ2xL_`+c{٥t5HKiP', Igú,t邅V5v Ҏi/K}rN}o?Pe>⷟WԩϷiƗ,iIó&EuU½[QP,Ќ)Hƌ~ WXɋӕ7WmqM>{?pp:E)Z8yX]B-SH[2-ZL4Zh5%؎2M;o!$K gRZsٗ%:S*6̈́ィ4H{r݉5tW %U/MKZ"d,.dBNњ0Zᴣ"Ij !䏯Mv+ v;BЁ5C _!FG43f1\dB%+/p t&Ms*sVNeܸ+* sǓPDEj4X`0U"R0 PGQ=g6\ )'e@ayG˃x'ɮɑ fky՚=|"JAZ2 zAv=@^EV[^5bX3< Mo@v ~󟙥13آy?BZpKZhX: UUB 1b@:R`HMk Zio*N} U3zi+~}M4J.Ei!۠,M0_tp\ܺ@fx,(Y |݂d9 r  fNFt>ZJ!'Ѣ @@ZR0CIU}cu~A S\=XoNA2X юGJ7GgJӂ0I hNz1?䄽,bdT%%)(,oh'Gm7`ܾ> $x`s bQ$a񥽜E|H&< zzH=W̬H̿.eF/)HTm`*gwbl9/RK4JUyfr w*<O- ]xNJVNdKwd[ j =Ġ;R+ }P6wSKuڌ>LߕO"5@q ƕ˅=~c~VZ s׏,:%[78#98G!N;٣p6O|k|aJ=ZE'\Ю9^M?hzCnp!$nK/{xU.JaeIC]ibg \#CG|Z =SB:h:#Eb"ZL6r^^Va2 G]-Sfvu' D5f7ǰfvL2 ۪yaRf̓wӀk)聪AXhBwo̹KŒ9]<;Ë  |b,GM ~ *@Ru<܊6~`ǯIl~n<8v -C hz %3>_2 6̳ }HNNnSf w\fܙ_6PĤfw R 1[^My3Fz/ݣN+j<`4ɰ&A`c*]Ka~UᱞyL) ;#---r;TU$sp\ (č>mqp.e$(5nP#u7!\^l缠Qђ+h3?|J*Bܓ5%7&7˪v}B.^߻u_"&_&GRDEM8[R 'GzlұeIf>Dt602pq"hvk򙎦tB36@B)9b[:n +cx)@;L癇ɾAQ7r0¾Gй䲗E j-$vSoM 7KYi)@LfZ4P,[%a tԘ iJ I'_PTV^hn9|QD ϐ\e\zGbGYXY߻l A2 %>E|4 M&bzSPW4Z[~!<`|o';aMr,=(y#@zWØ7%by) ֡M^?^\D>WB^ {Rmd/lA&aS,eϙ?J}XF2ϻC嶽#%12ӯ"Y"-[Q&!1TA\^ܗm$9L,en3wѧX&^!SpcBsbK(LUح}"䠤>kh^VLұ mB^nsk;K8[|VJm(_= xHzd3J eC_pC)>dKA, $Te\%fh%Q֍4!\ Q(/{\sWw[ lWļ(gYZ131e43cfecd9e446da72becb278b2ea7c436f6b4 1b80d85ed736bf07dd657ffbedd75fa04c61d7ce 296c07736a2eb76dcfce8bf32a68975a73f1d0d3 3c40b84801f079babcb203bdb62bbc97575716f6 633b88c080681c6712c9f7cab4483e8cad1b4727 664f0d125a0e34e4d1c3e926b5624b05989e4c01 a4ea0b102b5a3f7037347fe0a92c125d8107c9a3c7c621c8c679c6f81c939be460dee2fbe4c459ff c121e04b5193f7bc8e7b1316cf00321a124849d8 5f9cfbb3ee57725a294474ac53472d061591061e afe5f7ab0a8c162a9db6b2b9bb45eedbfbd19172 0536193ecf21f3f6e957b21237de51b6d1707b9b