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 ~9 T ]/ Locally-Nameless-Sigma:threads=2elapsed=41.835cpu=70.004gc=2.144factor=1.677zXZִF! "d]ŗXf1-/6vRZBh S,Xf³@2AdXCϦr v0xçm_Dgme"AQ<4H1cK,RqM n뼐ЩAHZc$B*[\^ pөFFc#b@sc7W+gh2!oY%״ RbY؆$@8^a@WhZFL=D5V- 4LR7MQJAvqꀦI!ޤbg?N3 U6puU"i=KwD gYZ7zXZִF! ֜ 9]ŗXi%6AtzN8w87`b^Iep:L<'u8] @54S WeT$Œr殃vu&p%<eb0>1O0qBrorY׾j^fk'pBGS &?~ W.ctOv*u]XlbHʆnG҃Q`09((vo0b$)+Y:] 4Bnrx c(ZB(KC %R v тx$cGnQ_k!2F{P~W©y`*߫?V8.1SYx lRL޺`Sy@殷8.ز4J tGa(Rʠo9j>#,ETʞYmBE [cP4I~{VtI{I] hN$7>q43lxeA㻕0jn.XSw U{t}~gO'\8(NQțv+j83{Ֆ>zaچ#2Ytqu`KD`\e&T^<8_ ͻ/$ $)I7x{OY!R6>Mu]" f3&;@]NmX #)(MōL|u; Y{Ѯ"ϛF.ÒW!7dY/G+~qm="4C<¹Ҕݴ>wa">>ySmtRER+WɆMjsN G,o Sz+krv/;KWH,3׍'HM%ܚN Ѥxi^~Ɍ䮀§*9Gךe@IBQ}6Sk !!;1O Mtj@ŌݗQ5ɴJYAʮ>2W==S|Iz0@n_AM#lY ơ#%O܍K&z Pez>\[CAEut M\[Trs#Ƣӓ@ E vO-K`NnyV_#k e*q!R [$>`mtlj'7nlA(+aG႞.m@dxΎgdHKעөmar[LuPGInVJg3gY5B~%!8N*+5{VWr°cCxNB0(CEaϳQ)jYC쀈Zn` swcL-}l<ֈ%K eXwj`$E+*b`f"dHR% ;AV Vտ0.-.oO'e pJhU.31Z6GnvK9ͮ v Nft[N9yT'8dU{Lu80jÎn>F$C<nU&g(޷;Y ZjSX8[rߨOlL6v6$p&*oEոH G]" T0/"<C>I&Z U ԭRNLa&f<>Y/ƩiГ6n}L~txH42JsbA@2IO@h1iR}/ŭE;ʍ$%JX(}vOW, A*qsRE?ϣ!vݪi㚈$V w'zX!U/Pv/tU=l%WK~<. ]Un &,hj ,=GiZ›qp^2LA (E6i:2ȏ@f<I(m _l-&ZF{uWPtagYZ22e1e15773c9ebd1c576d57562bedf040f241f74e003033e0a1df248159cfae37f3521344e99dff4 bd9d5b59f62cee787b745a18e37ce78675bf828e 9 Locally-Nameless-Sigma