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   ^ <<$ ]S IOA-NTP:threads=2elapsed=7.632cpu=14.288gc=0.804factor=1.877zXZִF! W]ŗXf1-qN50^ Wy<#HIA%a?dO jI(t#TA_ ؎쎸g4]c!>6hqr־US2Z=vBU'9;"h'9tphKV=Fg9{`Sf&X:mz3h Nqbf>nr6tpÿi lJh­_#7̬Mzs_@r܉֊o|b,,_e&pjω:AIQSzFSOQYsUU;{^ # [>2L|@@+^FvGgYZ7zXZִF! ]ŗXiɟdN@mP$UFr1,I3buz$P")ȇ1Ɂ"M 볣GXYm&YnR%E@yRx"߱퓒X}z:8HSsc!s8r(e,Y9>`8IK!mdi+ -CDҷq[rb7~Ob@4`қ@ye` -)R"}m{x]DžZH6Ka'bZa(A[ffC[,3c$Uik0>=}z!QɨN?R#q7M3jf&|Z>s(ze%%|UэŮb4]$G$Vh1^0*xq61L>bE.*i2]ׂO'0їY_sEYbR " [_Ux TWW ?Ѵ+\fa&fb<<˻b5^mov 瑛Jrk$M)<2xr4'npdE=NɟX6!R9j5˕r:嶁3N*,?KEQ9fU[1䌭ď"ssc%]J?"W!=:F.q. :ǡ#gܮ EGH =Cxf]֡4FUgYZ23e19acc42faf4ac69417e4d56830d5038c6bfb831bf4bac648c51f49408130bf9489829be3fa993 35508bc2877195b4acaa6a24645b77282ba20bd1 b019279a3daae570320d38a60badc595e098c1d0 b6ada39d4caa1c1a5292311af613fc707c0efcdb   IOA-NTP