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 y) \W qC3"|q/RۙQcdJIHDŽt۹3}i, }**П4 !Wnby;/ڡ|W`Lt"ن=;H72[Z9}ׁV5`3`G~ GBY}j}o''v߭:^@8YzD_qw2q9;,gBo"]VDTTlO9nd>_ճ#ˆοh0b80ۛi-!0PH4L@'QY܉,2$q"<cWtf̄P Mp%_(IX DQy 0دE"bjt! 3Q~C8j; ℨo^J 3A' 9ogIFhw4ŷu[4CRO}V>/:`>!BBxvWD兺6XI Z'E]iNA<\;ܰo˰Ad}{7Yׅe6vE \ u2wlZ9<sHe A|Ma)Nq,&X">]DwGj5)HӇM&pP̏ UK},MřMI"ƽerUjGm 2Cb*s1"؈TVgTz30>bV#u9de%.Ej՚ucqj#a%jyƢaxAZ2dƕsEa"0(zMR8Ee3v&gh_ol<@gbWInFerc1\o $j6eVdz;SdL*yIcc!OyǕk?h@8+=HY bNYMT,]{ P*=(."|tȵhl x+;,%>J븍k>m}s$ Ù C[lfaGJ,?&ϤE-muaD/Ic[B_2l0ْDjFڌRΰkA2HOO:xܢv@1g}W+%roP["1/78zbH /a6+2î2_f#6btg"VYγZm_ϢY U|&@ԘïQSbUc;( Ɂ[ :Ơ" %qb#Ӱ{i/g-q!of\?QdvKCK.{)C}[5Ez"n^$Yo;ӢR9IR_]1MJ0#48[<2HWe9ہ꩜0OJ@RE*J8i('(4k!ڷZk%KC$]Pu$?yz~wZd4%e2(,m mvVx@,/ởWU>+l̟q-#in}$Md(pivG47\F3XRW@+%:"x=~~nU~**vizv~U$:oJsD" eA(;4izNUxYR/dX]MّH2&N Fg|:PǻVoBYV|s:A_Բih]]\_fU+:ǖؔk|®DsJ.r$O/(V?ӽ=|VFo?YtLg]e;^ Z9~vG"!|'!sEJ?TCFN皺}wa%IHD ",VtR= &KMtz!WQMznWVoaҝEvp9a9L\۾61EvgXNV`XtcQltžE5JSv'- ?rTVwcVC J7uʥ0H8SZIKJ[YuhԈKNy^ahS~=Nu))SC5?#gz 30#d8y}UkSʆN *ΐZyQ挤jHk]hrT(h8'ֶf/.sRQ{X#0ANLJRIJa<)jV#1O.cJ3/*h!qF4^ȄDwZ4u<7pat^ͥLB~d ϒ|ENSϹ-;+Vx$,#,y]j~IGrdx6{Y]@44)j;a;FLgnx%po`8€>;: )ܻyt=A,G.G8Y㛦˭ǎ? 5e,JFI!G >j~L)΅Ӆ/ %bdBM(7aat!lg8S9. kEpj7Hu,q!0>]q^5S=dvTWX4kb; (`HPYW.EnZ Eț]Xx2w9 =VNƶ,߂ j9#tvmr8QSAΊhFBBӺ]A6rK7& [;2)(ať5i3yV >K ? qwBq@7* w.nX멒9j^H `]`JL&LnClrvT@ uh*I`fy$1{9[ Ԉ1{7%FB~r}5%>^`p pj<&hsӜ>"ƝOgYZ7zXZִF! 8 )]ŗXi%sJqhz &(>d9; R}l+1G9t! K끲Vz0hcL[&pl-),lkoJ73"3eCF H oCw8ѸP2lsbL@Ђs Ζ9d|RaQlTm*~eX];쩼ݕm;^zYaehU1 yr CZMh &M>X :$ TͣSnx1ԲyTGoLթ({ZnPnݧȜMn-l`}c:b:}K'ʀ;$ezjo^!3۲SXurjmb5F4>i1[h+ MZI 0PXy-֩Q>Jz뇼*LÙS09:O?9h( 24y,F% R6s_jcx'VfQ+<TxQ߮@`,geW~$Rȥ Lj|iguCAExY>;<8?0v_TI.*&uo>,=f0HT79Æ?WI`߃aCtky^#+D*ہ$VYGJ,E&1؉4z t{qmJ= =>/(imSpkZX KBmtʡ<=J=:qlDL4B~Mq0*"6^_],nGB:v[W@K]y`@G|pT Nj܇ wո'<|;P/hި{}VXe Zx":Ĭ~n,>@$`s.gWx6T"ZmqGMe=-B_"!|K!8k ;:O^7>xl yNM| ; -yY} B@cmN/+[wӭF# pV9мu!iǡ0vآMGo$L!` Ջki`Jl뫠}]ݡTd"&=+".rzN,Riot'!Lا4aBR(Zĩ`U/>G(:ʐW.ٸYUeiCď 5Ʊ;{Fg+4sY@ذFw2KI"j]I$L"삇bg;psʂz& 71 |/kxmMW.GlG ߪo,S l$W'4Lqs74YC#Ae|NX "AWt(<`%ѮVu|aWoaTk,"/Э_ e+e]dآ?PnMM- Etύv#b_Q?fq~,!]җ'8/@[/tm 9|Քt :Opxoqu]H+jf֐ҮTV\TU梈eq|(ܶqZ稺Be7DENΡ? 'Ra )#(u`N!ɨʳ1ߒjg7pꀃk:m(-8 Ta,u)ҕap%}Ң^VFBSyι)5 Q ;c돽 7Ӕ>?m}2D$Om`&ʗKC>$pRqF9[*bf4$ ]M2_ߢ:{I#bW\\:/lBFNlP"GOc:~<"NK^,EsVl+bP=ÙTDq+(M"`ebSl5MuK@AwSR2U3[~:bjG{w*d`%\pcC׸sZ#.ऌyG=O0 7Gau!u*Wn踟p\MVyCNEW<=1Ӗqg Zn;W^|dư7كnj"l9 ؃Y)_`~vmvDo*P'3rΏcg֞콖Oe.^"= K/bdG fu6z9}xYN']0Ym6dZn&5 wtx j }:޵\|볔S)ҜxR?2mvZTUqe(3G>:1,@FUCwd,9/bׯTSz^Nni~0JQ!ԡ/ $ b<@Ԗ} ?ܜDt3";.?$V[ s-Ը[`җ5}c3%k #q޹Yd~ZYካ-rA0Ѐ+r]jRO7#VA+,Dg+ .zsg\Fj 'A-iz͵#njx;ϪUY6L(X`<]k%NY`;8ԂP<_ukNI Y ChigYZ1468e48b8cd656ee8a0f15090fb881e3932ef610 2401bbe8b9942d12551f3d6ccf8eec9cd61898ca 37b10171a7b8848737666d13efd2fb36860de921 48d9eba8bd5553c0053985fef09510164793e757 919b5021253870e67893f6f78d6df8a22a86e487 c3a04239d8a181cfae561485bff71442fb40d565 ce9d247713168595ec46d4a55e36828823fdc26c9711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9e62ce79f61b99a6d1c6e6dd64f6517a35c70f46c