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 @@=% tt ]% Stern_Brocot:threads=2elapsed=40.455cpu=62.176gc=4.464factor=1.547zXZִF! ]ŗXf1-q恈͐7ӺV 1̙ GMjiYEh&!9 7M<8<\)462F6chVI jPL3P`d X]*!)ndGadh_>H0$V/70FfeM ![9ゼ3ȱj}iM1 )?]3gM!IcmxTU K6=ܚ^B*cW%pkȅsy4@txz J**GڪtR8fvM0K&R.K?1)k߹1ŕԅ=na jxW*yY2wˇ%oⶌ4f*~;cu[8SR8P][Ya(ei6{~M↸ЂY=JVYa_e-O>8m[u=bK5i'ޙTV/1gYZ7zXZִF! ]ŗXiɟ1˦rG1)Iuz}߹NP!E7s(ie&giJG쎒|ׯ ;y0y-5[I>ZCdJ@y%{wsgJC|}C!gYZ7zXZִF! ǯ]ŗXi%;-Lu @L<4xpGfPpTu2V{L&Bx]'03f8L>`)iU~-)6PS)xZvd4׍zRfT'Q3p>ڂ\7Q.nMfLLSm =_z@f7dr1f>ʶ^{e))._&:|ԂUUIX<<ŇBk}g8XAŞOn2xǴ ϣ$bZU FOkCs9z _y3FfLqc^wUgǵH^z |B "ذ4n5XQg_[RJC@fr:T+:d]%]-^Jۯ{ 1.UX@1O"ʈr-9HnǛ,)}](Cك4 $"~)1r.HH$9oFn &gX!5iC薚Y814]d#녉Md7B l?[Cb*X`a۾Y:u'`I( Vr-zjpyC yJGbu*!ɝBO!N#ot!TC^K:؁ń0hx>$nz} >XjP #-d(;Lbw1#¤1bb+k~D 1- Ī2`0dH~ad*S3-[[snzm<iU *x+qO '39ZW:O. aӱvXBn#l! ®U3`~dO mc|X$b _ڣ%|s# s'8YvF!sԟ q߉~F=H )͋,0.@D9 QyB0ܺxI1fL4q8Z n kᖴǹ`&ͥTh~\:)T~BOX~>&176ǡ_'z~P,j[4Q*ȺAeAOyQg/k1+ȵ\ۏGI(MMU.Ord{ت-i]|JKGT.īEFZx ?!Cnf˚sw'RH}8#Ŀj*q]%ӟ؀Ah0(/uD'Z_;RLM@Fu|oJ' }5^ݴD ֖bM!E@t wm0^KV-p*0PE *b+8B/`0`M+UZ[s|O ~.%2q0xZ,Gmn|ToaF 8($U֖5"_0xpCXU=?d2R-n$K}FIt(Ew܍s~ 6Ȝ BB"Ggfl ü|[o!.\C^=XDzJ^u{OBWS T