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 SS*= Dt ]S]HOL-Nonstandard_Analysis:threads=6elapsed=10.722cpu=29.592gc=1.116factor=2.767zXZִF! ]ŗXf1-q恈1`VnȆf ס@rX) -p_)ik;6x5fF]xqj 2lû*xe`:(yג3:@Q|S@OutQ}+,^u~]1j+JD,xvfS4 <_ G@"8M+fgSč %,>DNWㄠI-#^ ZNxL9[YTP?\MgG?EchR\eQ_°.-_JQ զϏf&tĺ=*vsaNhv??+Sf`[MFؽЫ`XL뷌r0RAWzJJ+PKO~i]nv1Qb!:`p@精inBUI~TA,P vV?JgYZ7zXZִF! 6"]ŗXi%6AtzMg ~2N㿒VSP"\<0E0 [7gSQ o&?k [vb\g#wpbh-^r}PhGɇarHp_ؚ,ПrFp/2V[[!B3c"ܘzЁvAފyfKf/:S(]OEG22ݤH߬DKj(-@D)F爛ڰ,gXw‹{cݜC$KR)F4 rPmcL|z?ԜlNmԦ͠I4-XOV@~і:1ڇ }ĢmY{-m+쀾ϗ CMF ҄"۬VZ7=߰_oY&V_`}y ] fd`h n5|AxJS§-Ʊdr¼G ȎKQnԴH㐔Kxpxp{W }pAI9go]AFDOpZFN`Oޏiɥ$Uʂj>Ax + JX;o) DMn o~3+UDaM-'KwE%=E h3O\B'w"o'^HQ(7 (aּ%쇫'b qG[5r^$~P4&$wiXd9KonGV HDrbj0` ?'%(ݩcB I2*Qs\(JCvt©A[1'{n"go߼E#! IlPļ':;J6aC߅ e%I{6B8 =Eww9l4Pc--^pkRW@AwB}8ƚUQ٤wkuhGuEl PgYZ991aded766d36333470d2355ed1a3e05270e66d51bc35d9f5c260a07418d50e521d7d63c2a5eee08 ceb5af7e7710e56d8e11a352c6a6268c805bceaa 61286f221934408c604d798e58d2aec64645c74e d87520c0f30a1d889cca15a4661e082d51465172cb9e8e1820445872d3409c2ed895cfeb1dba9751 = HOL-Nonstandard_Analysis