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 ! $ 5/ Splay_Tree:threads=2elapsed=43.527cpu=74.264gc=2.036factor=1.717zXZִF  ! Splay_Tree! s D]ŗXf1-q恈͐7ӺV 5ԭv-LF$KY:sM!Cu e(nTeO1L9DQn lpz}47sQ3H.h/3ZBQza߹;:t){g=L :`a#r H;iLMzk[tC,{\䠻纣GI饢7c'W J;l8nwJhcQI|s$I~o~x 思(qfuT0H1LFԝWf& ܓe簉g"rs& b?XEZ#B&o `|ڗtpu:UjJBDm$yd‰v7;8iA䘒%Z]}:sYoVjc*~ؖlbz^4Px06c :'!9[L46Oōkp%TǠq5&->G ;-呒k퉹PGՁqBaWyOz=yҿfb}W /%UWkX6dk7f& &XeP< 0hVJ2Lb]F1z4 <+iΆ!;xeAZ.œ! o =R̚sz&ٶ:jk }لI!w[J^~+a_eq3Md|{YGhv~g.n C6>K/SPcW%c5z%_~`Ç140v9 cT>#I4[ 1uy#og\ ʻZA)|PJk^%[Vߦkr*H,QI*떃OEcTKIjR1vDmXnhK>l:J) k)*}j>%V)G\QU<T'Աenު$|Y^`PwG{?8J]uy/zT\nYC&  R%+dRHÀ#Bhٮ1\J.KVg*O7K VO-'چaGv\gK"f aGEj',8h  #jNBg7^CPX͓D,32/j r!E"j6'S%zV9l뛄#hKz 1oȉk٣P6:V>H0t|#{~I [Ƭ1Kф8VUDС3iw!5x!>s{vUW_*US&/4ܟ^R r8 R ozO% F74~ M p̬c:/RiNcʂ{1.xX>׀9L5} KW1^6jVZ!Z:7d[Aȝ @OT^${Ԃ/UNJ !r]vUS<K ]*lgӰ;Z۲E A!c4CI I qnwn+k45>PLIReDx S N4\6ޱY=>w"jPKѮg[q$q<@c\ Z=A[`FQvkiw;([$nvhnB]>n9x9Qk(QN$@zpg08Gځx}wg6$0J6^N+! `g @w0iS$ET=cmbٷRpUWzUH2ºe|ҥ9 eҁN7_%rٹtYD=LDe:Eq\2(9P<RKPu=Զ6Zmf"x:,oCQ,Mh_3w"eV]q9힀G}՘1^h! R V☴?كsGkū˅)Qߋ]ۯ+y^=!=DwxـQ?z@qn_##Pc0.?J]tFlںw.0Yl{IwS.zܮG -ysAOFR<#i+5;U6Q~L7Q<&_àvS+YgAwf{fXI%]ʜͼ<<*DBuf[U 2lII,A2{V|)UA #$nQ?9r%z :Q&1Pٍ@#^gYZ7zXZִF! f ]ŗXi%HOd ;/"#{~ 6G牰)A /BBD+ʋ~| hv$?L@x6 ݑvA3~!& 1 J=Ƽ|h˚ߴA+a' IiS,+Vwţ56dY(4Fr|%9æl:Ka8^U-wl\)͆ t&R$܈\S/Wh~isU*_ Y|y j{!šҬ L9E@Ίeָt%FvNd/LsrxZPX՛A.0( _*e5Q i[M9sS@T2 'W3AI> ޷ +T}hp i %퍟"r9dNz -zϹ}Hd.(şt}|)(ߋSukI[ˍ]H+-QBiy.5|{F)xvd}l0A6:{iIn t]dvb~kf`5/<ѫ䍌=yO=rj\`QlIf\}oG)Ky[lGGktU) !7dStE;d<&#ս˴Ou@2討 #QOcKصO/hy!& ßT kx. <fV>S nXpDxIC?LNr0~W u|*7bs|2 P`_}Zl&ND_J΃ .MJ"HNR)Eh zE>$ۦsPRę]HБFT />=qy'AMܴ? n=x\#h |R <_mX(|oA&! "c&cs: 'Y. e=C+jTt:XcNCMŋ i7h-"SY6S҂qhI c,T(ۆᅌlAqoOibBulONiYľx啴/Waa3h`jD$POB+@&fpYJ~,@%5sTTm5 nuy_M! N˝#CTǍÃz_ =RPl vJ@ - L*G '=!jfbae-wqnÆnk`.q@MѬLd{!WRqÍЩ(rλ"hwzcLD[H6YC~VpK_aP' |*ǟ-8LצGn,V)v@5} NG 15 Z'=UG0";L۟ ˒ݽgA4n @hui[=t.՞KY6.|!T/BODowrQ y|K ADJ8;"o_IA 7UrǕ914p(gah+@KC߁q0F]~ ŷi5T -HKap^ lvx;")h&5@Y'aKT&W3UPScoYnn @H%\aƛ ;V9Ex30hcrܡ`B{r됝:-ܼ1ĆG'Pt[+}٫q/:;}َ?70sL:1Gxr2_Q$P# ¦OM<^! {43̔L4q *UT4zc-wyݶ8Sg4 4*Ssˋ7Bw6/i,h+3R}\=Ў?Z,YfzPay_itgZDhȣ;zX-CQ <.6j[Kվe5^C.:T'AumUcgVҥj#!( H04f։& (C?C4yc=$>zQP0v HT?_|L" RߕLb/\O2|8vToԉ Ul'NSo}MÞ x Hʢ@%!yz_c*\\dM%YG <| Ŕ8]7j`:RN!2n-8J$gYZ0f83e9379368d232af1423c3a9685e6e1cf74f88 2fed56e63e64893cee783edbeb3c8594b2a04eaf 34221437a109a5594ba7786476b5abb5979a2647 41d32e587e4da97ee0f959ac9fec845bedebdea3 4fca60e691e6baa8823ab45ef7f6d3b83c70723a 7661af568cc046b290bf3d73e48e9f58adea5581 767b848e899bf51172cfcafea6b2fd397e8b0312 80eed581e9827dbf27df0eec911196b92f9e4a07 82fce86746f9061205d625fb926c1da3b71e3bc1 a6d881014016ac510413e96c94577bf126ea335f b5fbb85a82a477e0f96254f96bf994d64f5f3ffd bea63528c5ae9662bfe55afce882d1f0fb32c3a1 e21dbaf449637eb9161af006cbc8f4faf91e00f58c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07