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 -Ll< ]S Lambda_Free_KBOs:threads=2elapsed=82.873cpu=133.216gc=6.724factor=1.617zXZִF! >_]ŗXf1-q恈͐7ӺV 0t ŠdrviJ#UHlyzyU<=^Q~} S)hO,-pq5w˙Bxx!{qFѼg7ݘkW8,tIz! ϸ/Sdm0_=0cj*M03\6h8q8ִ,[spI2g,JїiOd?؀!^N;@`KaEߎkTZB<}c>6R*:b8ܐ^5cYU:cTwM ,7[uT$Qe羑$ĖS%E2|ea,Jp<K=E g?8&ti^ q' C+J B9yo.Uw,~^m(%@bFVkBzU};0,#=drqo}J+eG1O3Ź9 }_ܲfWGϾC~~m/cz\pY.mN#rgRB~*$ribVijלk eDZ`v\uϖ<59hyW,Yc}."V A~3RX%wz b[[u7*UAjSSxdV1#:A'åidVI[&mٝHҥ`:]8f, 0NML#ī9 ΃{c@!jܟ&G3PjYg2Öuyb6~^9xqEcCczɔ3M܍VϏT-;A-Z ɲu&Ȅ\{h/Bp! sgI~F|.XNv蓵~S*R )k!`lUܡVxIB7Dc:nSi}ikɭ^2(a/$>(]ڭ\ty`q,a>Qn'`$IJ[-&IH~ȯTrI 0^i\anHmiޗ NuMlH1v۹1eY-"[`5 ~ Y3DA.S'OwJ}FZ+" Qaܶ"J Mo5)$on/q^ R @:'b G8(SH "wsq poG;h-= Aa-dEDz[ͿwRc`ti;,S}Bx.9 y,[7Oܥ#ODp^ hv.N&ʈ 5]J0;iP-0iy2$C6,Y <5OOC7!i.wKǪsMnn40Knk*RN>;BU`&iE|u.]y'Z>' |79gYZ7zXZִF! /]ŗXiɟ1?ߟt;9HK?.>e7"MF^ s4t;2[]ȝɚŽw.Ĝ#Hry6_9mET34S=%t|(I3{uu K$%4BTo#7.*Zbbi5ѷBr'wim5Uw^6!G ŭ=/@uז[%*OmO.[ia\n3h?"mc=p"86B@*>FִentوL 䄇¸+p@^.M-i/d}~6xxwEݪNuNVu&HAmߙ r$[юEȥq0`6G~T}y]qB}9E6CЙϯ8j~rK&fO!Z` @=^,ApPi{pj8&`I27jeSsJG^.`5%[mΊ%ȵO>c9MC%hgYZ7zXZִF! ፠]ŗXi%;т<i~`Y4uj cGJZݹ17! xb/x_>_Xv[&8kW">Y8 G  }2Rp! N- tr"Eb~|0Oo70̍h?sJrpbE۠1TpnvW`] ΙZl W}4Շ]s9Y@yJym]6 FZ$[ 'x L :pM A&=|,1-HS%6ŇL<>:&@ZS~1Dž 0͚|dܥuDڑ#v_ ury_ gye+iy.+EL nxn Mcx_z쒝|ŝҾ~Y1V;eQ++pOWzR۞B!H3A};hmOc@$lphM%5l6Lo}r4"P&XRdւOz< N ŒCԤ E M/:yr1*|tp(e.xY*)Eg g n! - Lambda_Free_KBOsj9>6`` -$> 81d:rjoO 8&>tQJTR,̈́Yw@x,G3/]"K460'V"Tm%iB|̄PԦL#R77&= G52>Vtu\ɓ[ޞI5-?Gcו&a 5thJ\^(8lrBg0-ȡ<˜C24bg1(3Keb,u柨4o?$4iB=UNS8PU6z¬@W5^Bĝ$Ne8R$ƛ.Mޕ?ǻw{:iԳ8s2{{h>Q]zT'#\uu䏑I'c !\1Z$bgpBrV_f袳C#Qx5t'#s0'ψF;%Rϩ+˒tԾNwPgخuR MP`1סu0+y*zbIf8 {GP~~pz| )>SpkT{RaZÍ2.?/O-B.KS;@0ےm)Nc}M7ThUџŠޗ6[סze(/o QPŢ(`y3EU~n 4BV$UY9 `UC:H_g#mԧ ΓlTX۫/w)D%G5Tqjh~VB?ەXE~3DAкꊕ[fHbY ߏu*&\51 $rZ-fI/n , t՚!`rB%%F$ҩV8 g~Gvx '0"M'kqnmɸ+.x"O9aG Ќ"aSN#ѥ2`;5ڗ`{#lg`AKnc WL៼ 0\gMA ōؑjN2T d[& Nde^/5ձY6\sGKӰq#S6 eE졯 >1̩[b5_H/#EA%1T>=f j I,5shvJ)~{=j`1SPbb3Rx_4{%;{Xa8DZ}̿Seښr$nQpo}H,m!`i[l\e`-$m=+p]}Bl x6ޤk\[Ϸ@n 7H$Оu\.T D,_N VSs{'r-Q=4=˾_%k7221qPS-i%QaZ~|i,LuWs,le%@9*3{;| H%ʻi0p#yG0zT:Gy Db#=ߧ ]dE#2YcO]p[&1==+M{O @=^*Q! r V˾8N fl#M)D>-F{k1/?s%Az;X()$\0F#-Xf 7kW\if4s̲qoP:A]^: jk `\?h_ ثQ] _e]3hz + !>MâQ$\OTbXNJNڒ`J!ԍq397pI */pIquV@dߙ6.ۊ#?s : ;%Z`G.#G`ZoIU_`ep .oje+QN 5 ̆ゝzbPF] s!^֕#?2n>@dkf̺n੪ ~I=il|8a$SFĽ6Sڅ80񕧄p+J=NIi(oiߥ}5}ncw>l0jR&[}Hef]}̣U⽢n]Ž}{a/y_!50JjePN$ցd4YvUlD0L6%ugSlЄ*N|#=>)rĵLF\ rb}^Z"64-'ɇ)g>>~M`9hN椒I@=;l ?_mwRR G\嚻3(4y6?>H%j2:g tt:N}5X\a߅r>-s1,9:_2r6jI-TwV+監bђ2=1.O |G (>q/kUTr;5P+MNs"o2jP9s1@;ȥyFUn&WJ__Fab+{Z8x*ni>Q*%~se%G7nQڗ2yW}>n`[j[JrCy˲!쎼<"83V ԀD$9ei2Mz62`b&C'KxoWg]$paGqy~tu$7Ϙɿ" AE%C*!i!ӍzF(67 30wN NCb! revf4lRb+:]=kQ)·r=ف8v#㒰Sg%>m\뜖sWDg$} qfy&. JmD.ř6װM1sʍ,~1H`r:L]$)p1\\Jưqxc Ǧنlt@dulH&fN@#"GY#)ggL,p‚4$i[{p-b ˫2Jw|)YǾ">#uBHF-?8CU2<p/ xoPtP|fGOa㲪j8%|,p=PvPCufl _AZcޮ M~ƒ.;KT- WfnϷ<jM *@k j?fA"fc;GnJBv+W73}XȽim^-^ڧ7[xZo.(ɕ\=[ԉf`IJ2τ|]gr*`2e ~'s,«,3wń»7ނ}54+?sy񸱒[4O