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 g+ L ?S]Sturm_Sequences:threads=2elapsed=42.440cpu=79.440gc=1.512factor=1.877zXZִF! 5]ŗXf1-/6vR[]SZVB@I3Yf/jG o^1Q*${5;;ISf;$0d%ޱ Jhq؆KlGpNb.>DU.9,O_rG\TC;)8^x=9F¤eQ/th6%clnKPywr\~ʷM2;ԧvOb }g5]X@ެ`+$w q#l1w9F $$V^Pea2On"w |_3U,UFKFJ$ґ + Sturm_Sequences>]IqLU/5䘂3s>۽`;YqYvC\BЄ\_mL^u#3NݎnI@/m"twCU4`ӁIfQO2yDrs\N+H6Xo_aۓGRi4H]H.#O*TDѴFRL @(ƞZ^$[#ڤֱԭ;F,A٧֢=?!/>/*[#M=3ORf f\ H*4¤Dx Ҥ>dO"Tmp`׽M (虺ALfCe҆GkjJ#w7}>|-_΀ N4kTM FدqT$; '4s:Jxd;iU`.iFTre5ʠT(@wf@^hүۛ޻,F^eٷP9YLj?RJ]&27cgH/'χZ G$ aE秩pnP9¾%'6)_`1v?V1Ѽ37~6&\jRn雪ĥ 7ƻ) T#21r`,DKsRb8(c{<5%/pペgy @5%ő&Kt!OZ[p:Җy#3h(NR=a7cY VbGl2/bbr #fxi_N!Øp&ׄNP3=fA ׆Uۄ#W:WQe]h{L;EǺRkUQ9y/eAމQ)н #+րH[[ lU WKVlƜ#,ͭqt :^puPN,>54Ѓ#gڨ p,+$ã8XˀZDLOYH}ޤ1<81ӛC1@nNpy~12^z<W0}R*D'mq鱾Ќ)pr3Ne7 ΂ޛX&® ,d#7&1x7e&R̯ њgWu+UK.ytmez\e i("kɉ) ;ϟs6;<%(=}Ce%7!i(1FNXڪDcLϦ{.{pԱ]l=h$"4XjCY"m*ؼȂy nT\ g|Yv-a RK}@mWIT6~Ɉ~+ѤhZ=7~w&^Qw1"ںDr hk#23۹3ANz"ޭ!%XԲ>%U ~ f?Bs#)J[\vNbhtd 7B= @g|3I&Qw|1>H_F3eZsj浽w |;=&"X`sTf9ӗbl^CG_)Ms Н^dQxz%_'xN< pt(}Ytgp'OTU+s<s+VNf>>t0n?J;8<㪷4B4RLZM cZ$RקV#@9o#cڷ=;rЇ꘷_&!cQ0d{Qgt*YH] U쉍SruES:g2ኀ[֘cdMXʝucs%`.m4{/݇0 @h(uֵ+,%?UR$L0ߖ7V/]VwJ&_O^_D5Y/AAoR*7.GU~Kx WЯY3ч̐1}f)qvmBETjt̹01f )[MA'}5pX #ncI=$2]r-KJ $3ChyDn:| 4TO~)y1J4'ڧ-Si_