SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info %-d m]CAVA_buildchain3:threads=2elapsed=191.470cpu=303.220gc=15.156factor=1.587zXZִF! ѽ|]ŗXf1-/6vRZxY{"QhEa*nB EnS /Usܫhaw۵5 SDX)̨$ - CAVA_buildchain3LӐ`o$ ;urM )6ʒtGDT36\,w}aO0IxD:" P x{|ʝ]-=Rsk tΟ&x=ŶP*(gdx Z`6m)I- WG wdhV%O:{}Y"'CxutLKDzhqa֍wJ 9I+Dh0ӱD#B{<;S qgHp_2}&G7ʹ}GQ\,8%̀XSoR8+CRȸ-w3${Ჿw#U( K/E:Eϒ >Tw#Π6SWq6 Y3&&d D7~Mf-J yl *]r8"o. ^kDf׆k) t`Aϧ֕G1%h"RSl 3I34νQ&oغm᪝۱n?n D— Y~YkPGM h$P믧0~E6WsYEΩJ\N[v;zئN+p'Le7JϠS,S+"hMlwPE}ъɭݽ!w7ýlS%N?ZOTN)%|o,b{c\pKTd(sr8 498 ˺_vS+x w KZmWN$t ?a£PCsd(DJKYO^q3_FE 7E7Xx1O_eC>T U|qjH,S>is V]G!h[!;j~;A2~ȥcIb}ޟI|h?}bЗRxӭ^F6|ucv$lƥo<;peiDOQ8ش1MJG1"PӅ,Ӯnҧndhʶ'Qʋ-8-U+c۔#J?'UF~ڂ*%~vĭ]ZهF\Ls:7 !V%67G~;Cȍ92x~(4hC|($!EhLvx#n:ۮ릅̆> k.ŵ|2->z'F]I5PFLI`HA MdC[evD7GV7_ON}TKw'܅|.!s}ݻ"C s9Ee#F; F[;643` (J0 _yzUɞ.8 D i \I>QShSZ_aBQ>ϱXޭ4RQv)(}r4w}fč2'RuPkp je6=s~)̪ߪIgThcNfiv T, k@%N2ĬǤ 6DowVZ+jh emfkC-I!DM@UͲFVa5Xr4sŐ|FU o1wfn֊{qXFx֟ ٚ5EH*k)Њ3x+| !{~ѪS+#olzMvjVKw MJؚ;V+=5O#'7ae&p=7naI1X7ˉz-;5wY,z \UIYjS ֭ds}J\3f"L{NP9ge^ʦg~l |8)mM= @}/LC|1ꦆ+u EUKbkvi P*8_RvI薏ÐTg1PÉH$iLPKgS`""A]<&<>'~GM8%^xnQS3t %+Ԗ7$i̖NƜwhj?H f(mnF-‚~r [|k kK|i Jpnl(,|;XI M±l%'W?a ŏbLV (C. X6nl9;*P\r'`s_5~mYv 'Ι8-YiN^vb\(B̃AtEUDTi60)"0)IPT85K~d|*9`,UzTwQ+9i:B?2r(l퇱QU(SW&Ċ{P:@lmI}4}J](YpNvXk^q-Nf}rD^|٪7IWUZ1ۈ yd_DYL :ho ٝ=V>mgs#6D;L^xJU`6*؊Mp?rC!rY?Lf%,--ƅz z9%| ;GVR!F9G D򮖻[Oh~4.`sOh\rmؐkr+(Мg*dB94Idl8fN)ˈ c+,ՊT\I!7k֐_^m^*6L]LZJ|ACiDٿ pr^S驂tl ?Bn7y!#)zM'zBh3bK]oW¾Su7E>8c4 ՀkuӠ\%)['iQ''N[u)&>{k#r 5">E@I-`?"&?a&<iEss>3۵m?TXuD؆]eGE;Ff"PV\:0W#/q֛(*~+:~DIf;.G%ɫ:2H]1U?.W5id13W̃9w̋2=d|i$TzReh΂w`?5 qPoH) y+ūϺxb j?חaY_&o8fM0qd/>c3P!g<֞Q_Ą'Q&a Zy !_ _@[p𡏇%K7g"9b ~: mGkD$}c]3RTR1]CPzoO;A=q{oUg\~Dx@%f;Jj<( 8TE $TC,~+-($%1_"dcuyQe(cp.idTvngػcӂKD06F[?:7EϛtrÄDEDexެahjH|WB|zuʢEM2st2hq@?GXÐ :pj`yRga;(}jB{ kQ'TlZA˦K#h(&_ov]dVֲA fTpV, KS~T.R!X kǸ..*YŁm;iRQqkʎBZFa_(ZkĻ cC6nUgidS6i |.#[-0;&Gn^S/Ad\w?Fz:[;X[7|-YRDL|]]9Le^;Ց!l^.|-E3O@pwǽI*١,aQ 5ދ|{ Hka4)FqJsr^7x%YT-ˊC%41lˎdrHA:u J ff1Vz6! Iїd+<;,N}R HچrnW]GL}u:}FKcuԪXRK(H4'?5GQ , @A!]j|DXCE2^V`?>@BЍFzG.@ ,){}Fqq7-dx$f]ua9ủB;Ȉvϙ5/%O%i{qJBʔxsá&׊JJ~k.waǐvd,;;{ogອ}nwPXc+}ב/Y6 8bqGWZto_M1 ÇwM Ѝ)6)ÖVW4W^Hl[eǐz)'ڌOӖEK3NHs8P寧$M_,g,a҄G)q}[ 領I ;)mG˜k FNA,P Ro)oz ȓZlk [i00.҂4'pW"%`zb 1fԲo/s-YA{3Ÿ.kW3YBAۥ~ƿA41VʠL*:ԎaY`CbpҘ12^DecAh$`)IbCׂ=Sdo> e`C2~I@9 [2mawywH 9M<3, ɔZF`X\mW)vq:eM+=p +3nc ?c\טּ>U  rH<^B1s CWM:Q؀>Cj|CfѤ1>! N]hKvK٣@Cj9ZVw[ U ѮOY9ϋqyntUm&z5m1Ĵe5vb <{sW-ඥYh2[8Lae T\ޞ}!pձ&̈\؅b ,-=f&kz6%kÛeLP!n6<|~5NeOXVnI+dUHVH#](!kd ϲS*W 9v=(w*IQM.l&}N3bUϲ*ɩ?rl Lc2M -C<&२GVz F\L)lli5Al]̜RaC87c^R,}XJ;5Y\|><]nA2R23\ 4a ;&O ?sN\}ev [fBQ9gtTg Ԥƿ[08##qXkO%\n3;z]axxoE"8dh@Xn WН:e ivc|m|oac:w䮘w 40 V *e2^fTTdF9kA)VM;ƽc,a28uJ=\/khbŠc=‘u'VɈ]#L/ƗNR}\kjW7<{4,-+?:DgKX4TMXE|R05v)[w1&= ] 7 ;L?3H|~Al|znQ9'R^ד:^^-o{ݎk ^1Ѷ:KY 3ؠ(,9BT`)h6tXI Ir`k(`Oei4$M5r P`8VmM~v{V-*npc3M&=N4в]U \n+)O O&dnXH>7/$6S"q#':X,vQeHa:ѿ4>𞈫֦8ZS~#@^KXqQjQ !^'LɚFs6-gH-xka=B7Ȫ/ hmnrj!I}pE `@B$0fY$l>G{YVXm#Lj8zJ.:8q"(S*F}n.:yH~?hgHР9Ԯq*%\hϘ9q = N3(b>ʂv`&EӐ|1v~1K )8דY|=L^($x f.h[P梭 e R)\2q'16g}0שU`^0+<\l拶qTpx. 22k9x0dKzZ?EqQ o*Kew-\>zWpԆ6n<'WLɬ\o txHJ3Cvq gE¶5Wq`ptSK8dŘ:ee60-<&8Ɠ op@%9P*}b4B*bjfysEٿ]ONo f:zN~!Ǿ0yVF mT kMyQEK~;s ]BR#I0{oF8tox_,2%wNjS갺OewM4 LpeNŀoR!} "DB67xӴD7&p^VCgmPyDɸKL1PN *b-8%猎feFmf0θx]R aRAOI6^`LKaD4p*!y$W?(n1{B#fAwDe+j 5T!_*Ç!Xybfߙ4Ys ߒI8m70AD]g9CI! ' X:j$tgĕ]OkraMEs'yo栚Dpvq7A˜j`ˮil`GfP qsw Z~nG 7 EFШ3t!k$ N0ӍgSϖ?RfQLdr;dڊh(|$"Q' s#eG" ֒U|g7"Z{5G uFꤔG=ڣiN /oX"KBG9|ʆF?vyakL= #ZHP3?ƃ$R_ka֐o+fF lPsd['p*$%4uv=IG8fs3ì `W'Yz}^o#XpH͊SJHW bgTD &sh9tu,\\;dk'}Bn:|"-BWg]1}J,P#rtq1픇<'88-`sMwUh4U]0~у{ :? $ll :8 f[=ahM𵸑E936_0srIXy!Mɧ,ZHW~H1u*<%7lPk2m)ȇn-RffldHpD]dxJ bH;"B`peyzk/ ;խx (z1(&0fgHknH3ߵϮ-LΜD,^ߔ^F 46$dbb}~.]HmfNG)r{|>~Ǻ֏{A"|I̿{Nnլ:`5[WMW#C6":kG؅_3Z.[]:A@# W9j8ld"edI~m1n4ƪT \onF^JltD`WJ}7Xz fGjW(#$MPH <$>jo'w+kOdhN]ݳ8PsjTL'A{}[uJnT!&4ϜaL~LlPEGVp(Wt󹯵w{ aċ[ڦ/WGV^ _82&!tzET07f4O!y*7'ڌa%$\F֢ ڷqm Λ0T 10VlLkk:Y;$FX]dӅ_P,JBJfO\Ď