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 ZZ#= 4L4 ]S]HOL-Nonstandard_Analysis:threads=2elapsed=9.868cpu=18.768gc=1.156factor=1.907zXZִF! ]ŗXf1-q恈1`VnȆf ס@,ns*%~FȒnbtdAX`YEyX͸86P^vЮۇE]֊+H&3 T?bD_upCE߀4{ciE"hutվBx/.\qpi@b(AW8Q Xl ?trjyR?dءQPdy>ՂMW oY¦[f -5ۮz p9QHLA alPWkz\O8 S8ĵ`Kf\i_^rN~%*;%<܉#Fp53!P#X;Z[ :%yYPPR4M:v!bg5x?}P%tP!sB[~   A AgYZ7zXZִF! Fw]ŗXi%;Pzf]1pD?l'H#)еh#y?^#,޹2>21Ť',!-|A_3R`OW1mb8xrt0wQmO I5M(8i-6z Eeأ Z430Ŋ9j=&=5Dx’SMH+ϔ0JN1\?Opmߣk[Ey8V8ƥ,y$II]5M? gN2^UDp3@*Q^Laȃ4%oMCc9T2?g WEC}0 |uٝ7)F{|@nG0 ;p?Ǝ}cUvH\gi.8X0n\b$Nȍ9"탂[ ZʙR[QXgbI)-I1/_K%tEǽrz`ep*$Q3,PRW3]k+wY+La [gYZbf275d0e2f35749d82041fbdad270917765717ce4b2e4ef84f2f7c72f1d619e9e1af08455389b338 22f28afacbb5196a9cbfd43de2031d5f2e9b1dc0 01763d1f9d1dccd6e1ba7f81275e973e88524c05 fd417c470595813b46a376467331620b09de3b61614f2398313c95b081adc1e2c46b8268e78c50d7 = HOL-Nonstandard_Analysis