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 k% D %S Sturm_Tarski:threads=2elapsed=17.446cpu=33.692gc=0.608factor=1.937zXZִF! ]ŗXf1-/6vR[]S#L35Ά%.wfnMZ2PzӪ܎ *h'Y C"s ƙ<30v,Xᚼ'ZFIЂx\;JgwA#S f:߄U8|!6T]@Y<'U'~}^cOBQ d^廑4S'D[>/}U]pQEm7rQ$Py_#"s(,'>=#UA߫+Gў ~3O[qu<'T wKB*#Wb|c&)ܟ % Sturm_Tarskiu7O#ح?`X E2qBt^x4#ɿ~vkhtz>Ŗ:A7Xh7v2=R<2i;r`HV4ODVַaخp+qA H2y_Q4yGV-uvҚ=]P?h"_%x#>)+dpeXVž9vXvSt5ѵVʞE-S*|Ǎ,D&s!*8KSȡ ޠhDl۲%G[ϧϚP^$BS/+tC\ K&lq!T.&q/^p7w* a#oH_=I7XY=:|oa9 X/:b"Ep>^&25pYr^e4 oky٣0_`þK{-3y6YuK³=pcoxwKHӦ:{Nˣ(9O0t pZ]=m1-Ճx79u_5$~pDOַڛVϡ_1Ƴp}K8OA,G转dUed 8SZ#'3~۷O!y4Ar`J➦D޾Q-^MfVcF,&)s+x)r_)0% klA bPV+^M`JnCV^ZX&L(ֈ, G/^33;MnSCEB0+6_3DOic,g |IMbʐ%f74 j{0/N UJXm֑\]O]]Fގ ԱK=R99=SԹ*Czu%+]ܩ}N=Yr)p'M*T !LT6?rP#k2Ġ"\ xH Q*|:Ϲm=qȧ$+3=sj\vP:iG+s¯ҜG`pm 2 kq<elEx*ٹXHt ´0e-vyz#os29GY4چͷ ˍ9B\WPԩ# @| GU[E(f^Aqt78[K+G7}^}DzlqfMi;>p8c2X{%D.OE| q5{ {2Bgݰ.T ';7Zu|~HhDa_ƺ.2_?_|g89Jt) 8giXC0qءJRhFԋ=Qagofx4 D٣^X8vfjҶ)i+*w&U̪'Pi(=g)kRTQ싗LMȈVtTaxl.]k>Ja~ܖ֑mvJqƱ/Y²ρVJʹ:HEݕvc x$V6_ը}a &Iƈo\dLp SdE3YFKG z 4X!,W!]U] ۰fě",aN&鞅 $X_4/#Mp]֔6вNСƄV}- p.>ϗCZ[y @eOʭLm&mtq}{FsD lveVQx5'{\ˍD%Ό}:IF8q2*eTS6ȰpEH }j!SvopLZ2% z+`%y|"W:u'JB~FգtlYˏκjΐ[]#^$a ,򀜑Z!- wy(n-il{`h tW(3[ |9զxrٴ2dGm/7f?}cn];7|c*s㌠[59Jt:n+C*ó $FSnAXo6|jiT D]N._sU'ƕUXL#jqqg/%޲y19 M0POz.,o zӪx0[hОYϯc.ͨ7u ,sְL}WRҽ)è#] QE-76җ +rW5&qyo(7@@ݙSͪ@D25eLaJ͕ax>عLTpʙft_D$mjo M_ -gYZ373e17a74a5d45401c95237fd8ea5f1c9a3245c0 7484ac13bdadf5d7db4dce48410fdd5e64a042ca 8f93cf5fe04be3e267c8f2d2c7b05cd3d346f05b c717c73f0a67903194e6112d21cf74647899fe92 d9c238d1006300c8d53bbc0550a820903309c88cc7c621c8c679c6f81c939be460dee2fbe4c459ff 6a3b5f35a47c619c2090fbc84ef59d242c963bdb f013446ba76027b3286f5b8e02f8911162859882 e10af832a830686e469df2bb65936697791c0a85