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   Y\ Sw Hermite:threads=2elapsed=59.849cpu=109.872gc=13.940factor=1.847zXZִF! Y0f]ŗXf1-/6vRZ*F"Q@E)Qlk*A,QMtc㾍yYwi*;ٲ).^ga.1/I~6mj7OdR,:6ik{bHt"-Ug)m׷SetK[7v@>|-X_{a@/ʠd f}FK@xna!n# ]\(VC';^> R[HW9LO!8 ~5G%wM8 w1DC>qWfw5]GV"l4GQU) #4f<Ati9Uc6tL?82   Hermite:ޒP $ 0[l$>?M+Ն \ڇ3(-|O%G'ϕksOJiH.~yjmB6m Lb/NuѸ$9w_q* #TiMJ{=ˁ$ Fۊ|vs(gH>~Pi'uA{S % aN2񙫳:ߵ]-٢aqg䷆1arr|d7rhgYZ7zXZִF!  ]ŗXi%?6,v$C "uC_hqPsCASl6p%<þd >>P[sīB`(i OB4$4+15$ y_kM }#Qf9JG9e*\;Iڒ2KR3rZ>Ax(E+ˣt?p|% / !H' oa=T ˶I(l`TP6~wz(xRQEZ1X /If%y*곳̘9%h.}N } ?* 8|x;ȹ!Vt# q wnqu6!3"2P >θ\U33T aq_kۊAd'5^íڞנ)̔ q-wuFu0@"q^~Al+ɒE}'7$/&8AKi6ZUj \Q)[,;y$z(.e %$A6Js h'bfP%{ ӷp[d8$ɰVũіrXZu$Wޥr4|c Bd,F;ZuыVABRmA9j:^r uV!lx]&߇۔J^ڐb`(<(q=I^l+F-j^Q?  {[%|C%iX glI𰎡ftّg%uUHd3laU5!zJY4;XL=^F߆]{4%*x,^_U6, YPعR+ЊJ]g#4[Y܆(Hϐd=")~fOh9Gx:[LJeָ8L*g:j~1=m{кxio%נHV{u3|eJB.aⱔזoĒgR!;i4`H丵H˩'SG?ɾ1u!4X` EDωYxxI %T iKZrb_6'<Zi2ti`@]5+?F\ܒƋ A +P?JKA9ؙE={N#-dFِ(?{Ҥ{B;(D_9%@W}B&fIiRJ w@IHy5lW+o4"N{}#W/b9~n^t L] <؝My.&4W;x!dZS%F9'| AYI {<`% Z6pi|?|1cߑ8f(ъϫl:݆̽DG]lbKipm36CuCzTrf?zI2z<7Kg yA.(med##kA 7y\3;AxGh5hŀ\Sl])?J< L7lѕ?a}#qfjŗ4Sw>g{#/-3o%:wYtucqG7O؜s wcP6查5>'Rsĉ=xG2U0pq??(_5Ȅ'n), S{Т˝ D%Hw_N#7(~_qW6n L)vB74^q˚|6|>U魫NʶC $G?\-R{hwعr5^=u6q >iើww:q<$ߙ=sa&Kb.zfK4VNܟ]gYZ0ecbeb6985371fdbf44a0f33f3cb0a5fe08ee670 4179fe3432dab15034779bf4ae7667b8a33e35c5 5a591ad33ef46abf86e4540006fb778ce9ca002d e9bebdf05d120266d95742efb3f9f02ec59295eadb7c23777632c9a5808e846c4c293183c8f78938 d902304df1792a9edf11f13fc29f7daff49f3259 e239851711910a6527f92e8db31572ec8f52b3c6 db46c2d97862fb5dd860308057c1a116323a2f0d c7d16a49b695e38a9561a211a55bd45b0e798182 d2b3abfa9accd089b69a00af11dbe10a82aeef34