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 -0sż2%_ Lv9.*QI>i6$rmQ[_&UYuS_ET'3˞֦&!7U;bz<z5Og c7R.7ڻ5~6qNIZbZ.̖t_l)q!ؔo:Ri4X&&ɽ vAw#WXwwiq.݌+HV^i:\O;T)Ņ= w%ao!^oF%/r@!>Yt߂hWA{ȅRk  ݑrU :}?07h ]b;ynW&ucKlΖ.(qqUqOϔyԗS(b"%Tpj> VNUm3A2 vٮ.Ug(氬rJ|*s F6%FXL'm_䫰b ?oP͏_EsEU҉Si; fôq4P REP;BozF;+XYYMAof eOUUx_Q On$u'o6RKQLHw2#l: 7f"[+qF+F5Djk ׎#t-&( K3-btD磢ʻIWF-UʼF.$ 1t=dky z|3A^˦HӲyU?p ida"ygճcES"R!MR4>{M_U~9̞'žLU%i~T'EFo) ܗCNo N7#dX[-UVnD\<|Kťrb?ϴK聎}R9 W| urcַrT~rZ7Q]lUXي>U5vh{Ttz~M/aXfohjp)S}Pwuz`֨>JS=KJ7TgٿXٖ6 )Sv{KnwrH*lPkZmʭP)0ºio)HC8çػinH+"cL'`"-~*Oԣ:ܬ. ,~ o|=>1guF=E!9"pFb?Fgqsmiuo(7˅frJCڪf\s;՞xAg־.!aho6Fث2_̴pSftOH_G[igٰ̕#T Ǵv[F#Dj>i=G p6:57:*`޲ڊUWŰv$;v[C▛鵐321eXb=/4չ$QN PjNYk/1 ]aݔS.W KD/hmRgX&?j׊[I'pT"ڃMGE&eH`$!]3&\ک}b`\v%@»[ P$wGiO~G bǰyc3A t~a -O^ ղŁ.]g{L8o75xWa۟<$`SQp[=q|m#1 lۜOe@ׇvs=ajj;toݳ40je$?ȖA[!2w@kd~?<;k"TB @#_g*de;ICEJч&혠6yKظgb=GDșh6lFe@TxNc9s-r R+}3S'X}iά}jm4ϕy-e،\oÄXUT<%p`pjP_Id3Znb,~b9oOexݓ:LvxYžc9'T7Q1 5Y] Évs].nORsÈn1Kx!yʷYr¦$drqw-0^Tck.  ó6qžY@_bmd#R+wS(VȠs;`ԩ,n+ ,P%_5[ϧy9Awu3 XVRH|j! 3bIhy*6`2\aSB_e^ ,:y f{rD5)K($Uiӷ¡U 6fLYd$KHQN" 5XqW'fs(E. }2h1pgki < wc+VGxwMQFIUr=H{wcaj,Y!( 0m^-5|j"XGcIik|^ ?%BJXēLp[%5iƋFW!hVHHLib-h7-2n +@p V"MSk $ev5-ʰE^4@!> ~+yc.Y?ՋcReX0bSlzT4慣3mr~5?@Bz QS# m[ީw@|<#W_+PpQn 8AjoHsx L(% KPk*l,ScʽrIe1ϛ};dM6 .3]C_!/to0N7 y0Mw)b5sZj{TG`aJzO+|PT~PGʚ:d \w {~2Ú; U2|M:VloJvFѐƦz:=:Bqo"m;6QIaJث9|ixMc:l}G?a#jf? _­Reo{ k4[(IMz<: bKWitj1'`^ -0>eU'P;* FP}lbEu.F󇄶Lj+0^baMqVC}Aiعu'yUkeU?J<5-2a?clfzYSL7A Ls;w7N?Z:C4r3.7|_r+brd:x3gᇎ:"x7ʘP)K$:; 4^:Lh唠;E)@Qµ% .>y4_cOk~,/ƽQXf K%QA] ǭRy+A\β$%BﯺfGI{Z),:h(A&Q{'G7eߡ͓3cc2JOT&kINe"2r_ej$Q BKo4,1PdͩA`_q: q{6wd 'HĆev8h,|=={^m/=ѹg-I[6)vxPE״6F f{ |m`yU'ިC+#EL<)VlS6&-(T0qk͕P-vv0l%Kmo+(rʝDQ}XϸU]&|8Qh∫:aun Ǜv\g?[- Sۥ|~TH+C8צE"|^yFMZToT~AZ: :RK'/N_LnT 2֜C t(&#Jc;jϜBdtYG6v2 X~ʲ *Pl<Ŧ%i:9"mi{e<.=i8 荲G66ncX[@ۣ)#-d|t@TxG)R,`uR2mqCls'ۖNG[m>1xlv>x+O *\eV OD#jLB2?'teY}ԅWǩ*iU^s0~<|)1Kx`42805qȓZ! VJ1g^5Yܣ8 lT+N~?(d֕8 &gem-5v43c锖UŦUJ Fuaӱ0mY#kn&3^:b?ctv&:' Z$쑘.GT{'KҲ#|pM';VjA~(#n|vSôf6dEQi|nόG+0b|wZ q?$ddKX)nɜ[oJ!fWXKFzί 7a&֚1pdY?!lV`Lݥx{CJ${''*~<@?ʷjZhoX~'.{5vugb4Gar%Thcki$%޷c#*S\}z@IKmգwHhpѐ}35UZ2d |_}^Yku=*iS42qT-ITc#Xu߯"y U{F7Lx^)č8K-DĻ}I8oN9+ObkO.$P(D#Uoh49h iar%U/Kf&j$hug'{XkIg:>E/T*((J|h\j'n5VU6~Yes$ghi$~0(ٍ *rduzۡ@ξ>.㟳v!ZC`K?N1ZrgYZ7zXZִF! }]ŗXi%BH4@%>sWo92٦1PbsQ4j_3s: aZAXb\t@#L+B\&&wX|gq8eΗ]# Z^tn>m868F iE>Jbǀh;c~s-aT+FҗޠV4Hq3DdAOq17G'} 8ܨ'  ,zRHvL@CK} kYBuֆ1 Q֐ZO!֗vmD6ڳ})FtUzM`b=o"y¤IaYtyaI~Vi |gȡ~?ntӀK#"mH=xkj1$jpZu] 84G ȺO5p6<͕,ELc&ʁ%2*N&׸Flecr;k+`%zh秇?dX4Y&X8tYZwHeŝm_oP_D7׶ }G=dIOe9$9H\E~[T`Xm@t6ZZhį^}D˚Θ`}wbv +T8bP4lq7b0mmyҿk[ ڵ]DWe~95Pil^EN(iۼ%peωC mߍi3) G ltXC29PbMPP $"b!:ͲZ /au_E?aL /u_^b#O rBKaH8ܧ0͝%XQ҂9x\ּmg57M18ėDbU߫%D`֝JDՎ_*+Q.jÂhCv EIc2H׍iwl#wǽ=W|++b!ʊ//Ԟ󄝧Dκ (*)xV][1 _B3>[sǿzܵ[&UJ "RoCԬN8Y835lSf95?ġ|Kwj~~aH[!F;.r02JOR^VԚ[x0#O Q|77o\CL{S~7D[t$<=1x)IPH+ #%.r=BSve&E~2Φ?m3l>dxbˊ=Z J8uf #X~ qp`U,LS 8)A}Rv'C}Yx{ao#A2]T2aj OGe8pg;Ysm`p M/ @bK0 ƁU=εNndl_h@5a¦W8nd3l\18+־(!# I#gHgTQhRiwD0{Jku;< JQ=P|3W> ׮V.YzwW/΁9ZSG5Ʝň?LULh.m"WwnaTgp5# ir i)8؂Z,ʃ?Ld!yуpum|c0UJc I{ Ǽ.nԣMߔa@vXv&Cq,peINr4g#M}TBAGExWjPqnlԀvY1l~9<IoPná |Գd9Ҏ5xLU la"tF(zzP=D; %󐒔AڃIUҠqQ@"Zp/DH*$p2]G`}'#W.=@/}!lC1x𓙔2$W0"Ap%:Ġ?Q d FƘA)URϙSu8PÁZ% -'`*dZaWf\B Dx!lCϩpRiWC#S^w{=Hߊ!*XDlvP KMu2,[pzCj $ܲ5։s='jSXs\.g p89ShU#K5JV#x~Qn\#k2IQ09XBjb7:vfn/ aSTE[)?&G{&P]Ln mL~#>e, Cn-5-v׋`r d-7 痤KJFbwH; *dD]̿, ^_ ں2m& 0C\qUVQٞYHщdɤ"z~o8 B 9 '.5A)<"{ĵ]X)p%>=qrsI)pb: ZI5cuu- v(}]PQW"%ճ_(H@MV%|UBR~|֤k^ Mʧ(D Y8ե)7t+"dX*bpPt߀` "$/#~hw!\|5xFmmN,GDoD'lH&pGERh ;pކ׷{ דjJQ_Nq`h!ޖksxoݍ}~0Wx!M_$a\f1pH'{,5jdUNfY 1LNķj6q~[:FC/&Ϡ*@qH=)3it;i}Uz;ِ<'7^Uy$bnLͺC?-i~٦G i#b\q b+"_#Qև"iw[3Iݝ^e"8j-MCuF i7lel& HpAs 9:g^2[?%'WO^FE'B9KHiȅe^|w \-|gp#(k$3jJKIFy!i5pYt7I>:ձWn($Ɛ6Fʽc^jGBZL|';*MJ56~_";4K볆m0 u`y+h=i9@1Ot/!md* wO 9G$r 6nHcI@sܔYY( e > k8kdO!MF9p.}XxmÔ0>NtLufZ$955 d״t.?g;mşZl`6QsZV5CKXUdݭ;B|v%1vB_4ixmmDHAj3U&:ahlgJk0vN|Hʋ(?**ʂj) 6Md>q=~O3}RklDQ${V"59qR Bf0XqO1i]G$O=#km68-H$DءO`yx# qtڭL fZJ_z?Y3,P0$mc:bouTItcnR=ZDc W߂YZy톺^ՁAg+uUy/B!%_/;h M_޾X Ns֒CcO*黁4'TJ4ېBo_d-95rhh% 4hU䊹(]"8wc*Oj{?LYx[O jd= :?gP@LבRI75 ]w4M6n_4 w=g{dGKWo:HAA#WצNف\iRo %o}&fQ8ƨiyLgq|S5D pʹu 8m/bÇTeG 3Y*IA #^,2@*tiD;<~4G!OHOvf SГ@OCA1ⳠnUclwэ"7rEYݰr9\ *5r5o`߼.Ԥ4) 6J^_sh_!V{O+%alZ"$dLs*Ɏa?MDpe, fb~dy$wrk1QskIT3-/7Za9~u<=A7vDS_:=%0F o`4`OOW2x3l#1~ ;ӘS$u逼X-:ҴU60nq|٩'bi_4`jiS MlY̹^31lkX0npT= [EAE,5t)U{ 9U w "-50vCLD;;TMZ}!*N O\pZQt4<Em[hbwl18mN1?w%=lW>>$`i/$w8U6)?C;#D0&C_)"r7yMM}VgSg{{YQ&$= ˊݓJIո.S3/ va1}Rj=ݔ*OB6LxD՘8+~IUusc(*X*{߃Ũ̢ ҟkd~{3gy1%N ܟZ3)O]w K4jE>RlƱE%.5l݆e ~=F@EOknҸkH!e=@PZM/ʕVƐ V6j}3n^)9BF3 :gYZ19a82b57d359a0bacb9ea15464e3a60b846ba369 221f6a8e9ff8b24e8db8c4685d9e2ca833a99234 35bf6eb8bc79c64cd043b66dfc7a3cc9cda9f7db 3b8d398853c5a570f2110ee30cfc4b0a84024056 448c6d808aed57e56c04337fa59b68a6e910b634 6dfaa12ca8bd82e1d123b8bb165bc9882a06a51e 9a124e6374601c92265c93141c1d180c686a5b9f a5b19aa2b53be202c10fbf927b66f16128ba5911 acc6d707fafd13743db51d99282c525ae6f3972b b2fe5612887cf268e77d5e98cf07bc19feb94100 c3ae848d6f5c3af17ff93e2a01c74c7d7c0eb99b ee7e6af94dfdf31bc30896cacb48f1bd154dbb66 fd8d67d240eba2aa135350a894d10951e102e07d feec1a27cfb7cc3f9e82c52b47f0275b4566af72d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295 795c1bd37c9a10c78036956c13014edf15a60b39 ebcccb4ce8d9fa24447b254aebab539c14428239 3b834a811160f26c9950bbdf5d1edd0a5921b522 bb70bdf889e95ae17209b6ed2bf09b39fd189ef9 677d5c3f59edfcd45bf3285b85d0a50997dccb50