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  'l4$ ] HOL-MicroJava:threads=2elapsed=176.476cpu=297.360gc=11.908factor=1.687zXZִF! %0]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^`z, Y7-ai:TNu.@%WSms_G_CFmVrdhGYnn8rWH`0A]tZU(|r$kztʄ|jzہ6&$EvK4;.ӛBo]ӃHxЯyVaXUrX6B3,:'x× ' مc|AՔ/慎1[\=7@2 3ƋVCC6yDy=.Ko.u= %G {L1 rH66asP{s* Aj^$UIg$.yUֹG"y"iZ'ݏRL-o(Kxli{`G@bo2C/:yGӯ]  cu[hnCoWF]`0czcS9]"h&+8c4hGnInGϹ%׃G=lc/'Kg0hsx]@6$_/a2m@衼 eTOay:yf6zL h#h`PVa LFzǚeNKjqP 娪7މc9 kBڜ%By6H.a'gH=;)=u >HHŕX:Zڴo_LlO4}8{싎݋,J ' HOL-MicroJava.o^fpDX/3Q$O: $ ~OVH]A%ە bND=g6ƊYH'b|G6aAwyRY|D,naFo?9%N+PYJ~]xrɦn X*[m=LXyPH[ Gg~1E~qdV*b@IE9I4C{¸Ho<ᄲ(?;`࿥v< /aIM|>jV^taKUظ{r+Q1$W/AX{} ʱ;x[𶨴DNrgt8VQ~ !lԦ;EcLc%V$X?(Fp( ܐv̄(T!~tz(Z4B8FNv2S%xjy1oA Rmy.ay}75f՜'GǷ@#h5kNSxTɠs'Ҧ)^;fUэҮr,@_AMuktRZ; }ҢI?Mv%i膖PϲjPM$m18@Ml9hSd… j"!0,ԗ X7䊦zMUxn^gR2S2 l҂Uf='3w$( R 'N߿|ev[ -]YOu=7AG"Z+kp( 94#CDyf"ujgu|i-ʏaQca (sֵ2vyfUA >> yCD9Cj}¥YTc/MM}DIgNf4wf9- Z8R%1x = mp9=kϭm~ec@FK7͝!,;T?ʆt5@X? uu^ )_K&l쁜aj/9&eT=84c1d.PoRvvHt3} 2*Ru*Li5YwW]@ dP.r8D-DYK45ˏNS Cd37#L=ZnY` .+ xM´85 |.s+laVʗCWϥ+63AqB*r,Wi < &JR7bϢκMꎺhvXWOZs4XzVW\Ur{rq _Pʻ<#ݒa~X_e_ ʄ }U:OzoL\ fdoX$.^f'j_Jq4 ܤ.m:B:G4@O(+U)/Рn`CKϷҡEO!95+"i@{8ЧMŎ$gV*'v8JO}nLWT7´=i8T*í]ZV"Msw|]o^ 32- Jõc_Ȃ9ƔW)JҎъBj]0[?^PiyŽ/Z6hq7w1_whc|Dw x:M{K55*Ӄ҂Ƨc_bu#x=m3Qwꆏ )!iLT״dhO%^m&MgT ೷qYpi/x#t1ncX$K`r_{0$ko>ܞ{i{%CW9txFRmY@6SdǡW謉ʫa[s-IҭRZ,;{T\%8@LAA}hNbM_!mfԪz}%!;<JVsJer޸ ۮlXħeNk‘#w~6~ ¹j[fT(e5z G%$.V"O.O1㤆n^ѰO"Q5,Owq: .״\?%nm譡eY8%HGy%4"naEݹa b{@MWg}hSf/XM@'Dv&΅Ud/I l9aJp%:ll5O3jثJ`lkdOO*?_ WN{^ hd;}6~C6 ( )y^6Z\t0K4]LJbu#vVvž2(^:ntd_=p'q(z"g)4X,?+־`:FBeF = @_ pf]DK`ˑPė2 ʧ3)T$*vfa>l  Y,bWƉ]I/?%je9$ mdiBĨ&+XpQoXN}%{Wۅub1xĘߜĉ I#TF'"6A=dʘ v7O> Ҹw/{'^↿Mv8񙴳֍rf]wx!e xcH~F;MqG[=͐/A{&$C{!~hI,O|o![6y@hQN!O{zW%HQ$} ԗZw_p]]5*m(QǺXa#1*SMۃ;ͥv2eLm)B>Yp#X_ $.HC.fS#准P!:-+F%g"m>𺱺0GB>}U6O37e.~xY9vOpf(Tu'1(S N}ӊ 3=hň9~,R%VbؚRٴ5mHOmGQ[^ &ZrCY'qzb)|\@pܲtUY_Y_G:f$Z`Tb R1]\r{Ԓi.yr`دN .H\+zm8䱹 y~*ÇIL~s~qrc$79xjxYw욐r{rl6Z]lN" u<ݱf(ȲNf [?C.`i-]v˽ZAD2k6~$=C%-ccGQ,7Q[muP(t*z"~XHl5&d3e[Ws1%|E77j?T [{q9Rv`ArMUY u]Տf׼w8[Tl_ŭa_I#FS_;$'~٦jef)5E PlB٦Y& pC[KƤk3S>S ]6޷o15|)6~=@/7\M5f˺w^_ˡ2mP!E3lv!N+O'^T:.۪O/!ͯl{(sT}^.[?mhfXWل6֟1|Ӯ1a9L׍ .",_X~bS߬W]d8[f9/UnMIT*H)3ak`;M%o $VHD V4WMBh<.$AFg'EY h%0K3HH 95zHGFhȾ)N'@=COIa,#2 '_면~ʊ4R*wz]} H Ћt"A]oG"B[BcC[CaJ8,BqgLٶC~ tm ԟ~ n[d%PWw/*= ө?߆ L\mSG7/XpmY|{Gxt樺sҴ,r;МfycyEr 7@i'qhȿΨ:J}<eষ(:C俁/| z|) ;" k;B6܆O #,_= ŷ~iv8s2~ jyo\{J !uy[Ns5}KWv[&s oo%[?ט HQ(CY]@:1؞_߬(Zv-ܮ6B_v?f0y%)# &8܂RW-+=[F\j܅5}Z8Jv\~F%*;JLNdAl`ZKkj49l)z4vx6a4MSEs1uJBuDƤ}׼ڍRַm!{Fp?JY 2jG+EDПH=ò.$sU`j*QGɱއ>(h`{f[fZFvR; KvDLEIl(׵ ۸_,.h F,]2׷_SlѿuØӗpp,#0yM06(Q;Irljnc|`Ntopxcp'f|ep\Yt6M"df7`54v0VLёy2j>4})r:TYKc"V 9,*{GVVʩ%1!+ <z ַvtJT<*TyP'_EOmsub偐З۰,9sZUK_ [ )#a8l ]>I^~]7Փv28W_$zU?ou~=+"p3~B11c]JgBLSוmHyMq]ysq3 @ɇWǟRiU~7~J^A 4Y_8"0I B,mv;{6!B.c:*:i0R+[R bp6ujiGɼ G̋ufE!]0}LgFR*'#wed}@k/-6ZQ'3Jdw/OҟSScߚY>~W'Cc^7kJy"P5V3|ԣ-n!p>}2ď~mvMW_2+м]D4rD35h+U9)">,S>^[ż%HSVw:)V"5^5Kܼw#5MM(FD1nЯ Göb[;L lp>|{_0}?ʠo:̤Yu񟟵gmI)KKNU6 ͦns?̮zua\]SDzwi xoY8[8WKD'Fxb_g泩iu-ƛcLHN 9n2 { wIا'ε[J9rͮ7WԮxUl>7%99v4]_uR{pLn/skLjk\)4ê͞3jmlWs\E*CӬiz 3d lt6T?q9Y,Lg\K NvOtܝn^{P*<=h=O >ikhf:cI:~F jR"4nj3tuQx]k~L[MB Bҥ'] ߒARpi;CLO"FO9: aҺ0[;YlO3uE1Q/.gIѢ8 [!6cd/_#VCҦn5'pcHkh540NA!M=08ᾘ%&/Z,*G[wFfϚ YUm>PPO=[Ww j: ?l1#@LfyZKԞuSd7X$ɱQD=K2p͆'*i6)Mp"ȂW "Eӂm\$»I?A[I+e~*ʒD'ޱZK4| &gQVѿ=T 1rz4XmUBJl{ + #l~8ov${n;lqK"_\d eSV5ym#*N!=bRqN ʿ> ? cU`#R7JDq6LVw?§G.kMDm荼j;w+gS_#/;,Vaf u"G%/ﬧ\ o RPFKs-0քot z1adcX^,}> aQG&p}&de;Lx]Cֳ&QBM1"8tAڨ8XMʢ YXG1:H{O!N' Ha|`7|a֭Y`W5/1o%;2e9\ ܡGPP3X[|[ɓ fz'^ O!CSic#ċfT. >n! WD1/b?qS ~AqBfZ׫f}!*R\oy"CR ]L= '| l1[^|ZYn 96h\2xkF$zjHygo(Zկ&^'LaSRNS|0K)D$fUQ@]a(@a%X=U~J ?E٤ > ^]*e-_XR,cْSSA{\ڼ '& # T U/;=[&g7`ˁ\Gy/o@M@ g8:u,\Ρ,w~P("Ywc5Xog-vӟi),~B*NEv<)*ct'rf͂1d|$L`[ fsk?lx4;~@\AVzeyaiݹOS{k:rP=llJUU;ۘ|,F_%ŅћRSku3Q 쒯'C(:kͤy/7s i7~ێ83&]Mj]WyXpP[_Kbdl2Lv$s)$îpﰋ i8!\ĬBL{AÛ`uD)xĊ+׷osʚgĽ;֖HȽ%mV>jprҩXp"yR bcOFl<+,ǎF>ԡ=VKZl0-[pY\*ۋ r~1A]<V{ճ-3W}ݕ<"Aid HI\+X79 R\CR.Ck^P qhIɏH̬]mU\KS-x;nJ/AXl*|56J7T^G:2:+Ц,khp O .dty5ZnS>VJ"ïߘkphC7(&oR%\]z;LUB*d-< EʨڅfӐLmmFu2 3-I6#;tD(