SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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  H H)'lt ] HOL-MicroJava:threads=6elapsed=60.001cpu=263.588gc=8.160factor=4.397zXZִF! 0]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^Nԍ-~ iɊt}N?}|#I~(_U0Ui]Z6-/]7{6r4켩tHsT@mq^-r6 #P:+/x%&6oX`Sk,ҙWj_o4l_,~Wskgp ^k؈@M?rGi"!.Qzs>G%+sn^n`y?U |dwM??/ƀ4ډ#ZB0/1}hR5`o)[쬆%E q߅ɩdX ;';j2[xaePwLQ !ð=axT|\.t@  zDĥ!#lZ69j1fvX$zNEwx:9F`x8ZUnpP8-='D/iKV B~f {.J2-ֹAb8maQ(eb%fb1WYgHb$"FI߷2WovvMBl8c)=JDž,!tCz6?^Zka,ŕ

sch,8ۼެcLYj\g8 `(]~2xT "^|P &=KmmNrae@0B ۤ"2.B.1b?ZV_܌t$b`E!U/e[6s(%|X {6cW[Y߉!U8K|]rn7)UD@VNmXJ.<\)e5A0O%${x$aژ)pVڊ DBQBc0l.,NҎlzyHcBGlc0&\}O4 sXBcw# kSRРs{bP!Qur~4 3]5`*3zF8<ֶmc<|kCҭm92g)y;,PP0$`f+ApWJp h.E9'@I yG~E2}]rN|wwNc^K3A ?QQtxczJeC!1+biJ,ѻo{ U1H}s2YXi)ޱT`/sԽs;w-;l??܉uTv5,WUךds&aB֦!{i[x4`n$69rŷ+_ZHђlX1V;QEp&(PL"ڹ-^rS+v@m^Voe";:?F%sio?TȯNt傅tYxm=~중쎽yIukԵ5,8L]\[@/\p-_-3QmT%;/VJ)5k_m$p.bՓ޶EEE]Bs29z_yNR%{ ]`hc$1R:zΦ =Wq E}tJA]ΆڣKV.DƎf5ןmS)rgq#C{8r{3KRVRuZbwi\G4|hpEz:pK97<$ÉNU}TP`t[1j̣%> a)If+X5}1kzޝSld=OQ(NRJ/< ͨD]bu.;UZB.9:KjrT'K pqlhկX`x%$;_#VY }2,b :цi 0r\>_n\8s$IM%ݧaBpCl9׉uWCXZgJxPo kmn&YhxB&FƴlFGdA8(O Tt=<%#<W|$u{VW |Ν'ߦ칪 'Ylӕ٦15KnLS~Y]S-r$Jruh#oY'2]XjF1NuO3m]y(Ta*hۧ'+ ˵GgYZ7zXZִF!  ]ŗXiɟ1%c\aE>A}hNsqgo>C/*'^*sLsIbT(~I蘖K !=16F. 'Ou!" UM$ΐV&7*QCZ|"f >NA_;o[c^yk|htDZfYC /Zaѯ" 3ϭO[<$F k_2 %^Cͫ$c$לnI뼹 9`BYl%VTb `-)X诀h7pOzte\ ZsxY›skPG~x@QUۃ;&C35Hɟm}yIg&tdq ![W:@@^QtGfPTj`WAa{L诒c.BH2g9fﴔ8MT{äΰT rz1BiڢJ9t؎.1T 'I!}n+{M_1 fVn0\)cԥǒX~loFlߒ,P1RQsEkr&%c#!uZ! g R.!‚&Jya X-:-EM\ C>. 85}uҞ6T#[k܀63^dཹpVkk,p#MGeSw&"}b3ߓ0:д+)Tpc ae rbзA3k/F95pHƛԙR5s+Wk%S߼QgwiQs Qȹs'%s-9M)>8йGp%ԧñ5a Rl՝|/ˌv`y\gPͅ6F)C9 l6(E@uFl8%b-]iRH#GdY!D0HeDy.YEw|OZBg^ɷ5%',!´-bo\ w#6ۺ}(y$%Rg@ͳ߃H;A`%DpLJo]tHcT.7k9xiz4dRںgJ@W)=NYK qW_n2}ǽ ;3]D6{OUd2W-iacgSxs5P/S$FB_=,G)ľ!4ddL,u_܄,.Q/8-+ zH{n p^8=̼UK6ď;yQF05d I0ߋOxuH_2d:\OgS(j -k~_h7;d鱓SUKuf0%s3FH|I}Z#NnzFɈHgz&ӮmN-' qZ cQr̟m gEZ" +4l="|jWY\=qu ۷N\-x0Z9.m ИsPI2BfROm87 ma:Kڊ1_'&G,Z}iXleRgoʰZO$흾)LO5$tyvtLiތiƒq?<6`K!"FwZ#LiAs^ȉӾraD9t޾kip >Vdd^.h}%KS*M[W,du#<7uXX7~ێnXeǩ) Vx uj*RJΟVhRVs 2Xkg?uXʽi6NaZG9e4*М!=zol)LG}z:hckLtYD:*ѰnT[ X!r-,U$s㼴j\ jXdAMұK͒257JeHx(:AL~ꇣRB`$^&P̨;'xqT1gYG1>~`_5֠o 7ċbA ̕4bO$oAP.=7zCZ19w5ð h0 &fC>nݜKao@CGٿތ먂G/M6>%&1b=qk8M:+?+fxKȞv{MCV%Mn,&@_rNSxQ)Y"gϕY0}$&M= 5^øj&cY#Iިͭsg=}Ќ\ 1Q7ƶ "C[zvG!m?# (ʍϫLakaxD`t! WLr̷DwKl W7b%!S隷k8pur%lr~M~I|;lm %Dn}t4xy+?Q|H阵v*F N?~2lpȪ4O>w^`0Uo wb o . :o`_zsL_+>XkwCqwax] 8~Ye^|w-mVf"β84徳i%A[Y鬡nw %)_,5/"ғG!xᇃ5Je"@ ]&$oP~C 8I!=wxϋ[ `dJzi{h\mJ$؇vmt k~5tP2e3;3$hd͸]Bx>U ,E[& %-{sDYR:${du6K2ϓ >u@ {[ۨu*0 hM. ʧ"M 9^^kM׷B?"aFGD٣1b8V'=+O!dNӋ҆.h,Sb7$2qRیZU@w&hVU rhD\>=`Oh,/% "B ,?ED) ^X!߲+n18FLVa$Ǘ@d7U֐I|@$}x[a6[a-94cBHkc-F>WKn[7eJ2\Rr?l! A_mA()ϧe&?k;Wp9,=_(]fL{^ KB__jPg'ǰKT6_Enxߊ qEa"<4X@bz{p R44ޥNT j6[)2t3* Agsr%/1RUXHQ85餕+1©P GmD{J5 ~= r%a98%[=oXR$ѵogYZ57ea80956e217d57efddd33f9be0e085cad0ef162ab6afc53332b0678cc77dc53d23f8f23ad3ce19 470e85b8ee0fcd8c2c6b9a7daa17d466ca7b3c05 a426063f2358f0b040eb0bca810e8ea748b4bea2