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 1   ]S]Nat-Interval-Logic:threads=2elapsed=41.824cpu=56.112gc=1.312factor=1.347zXZִF! +;]ŗXf1-/6vR[o]dhNZ!*-| #LS>䡩uV;N+e WR_j"!>TYi|+Dq#&*Ac;x4+xqKa)J#ϢQF;-#o]bA`5&v%#9ohPkgYdԧ,z0XV,7a+vo0k]:`p/4J= ѷ6@'^$w'qf!sNjT\vfU1Vm9Sh@F>OK *| 4Sg<3EPLj$ u 4 G y~^vLsDoKdV«x}qPSf̟9 d#bE>lW'6S▸ ,BD  (#^3##D ۶qYD7lm .!L~I\@}gɮT=䤞hvn9LFG3v9pa8LS+SՆb}y{iB:)sW刣y’HBdtZFHjUK758{҆ ѴM,ɒfup!댝5]68Qav?uu{aeمY3i6&-_ܒPJ@n/{G{K@RaތRj:AznZFo}. 7vyw|$Ax~&9 \f8I(\v&WXsKwm ]dEbLADb"!^[D`q(-BGE6RKPWN;Zu<Xt86G Y[O { \"uSpvח?ŝ#]Y.@=fXzFMJ>pRKKcaߜ߫G 9.;)7GⲻS4s ).۶dig EH v1ѴUBB2lgnwOneK|qnup]q;? d ]%C_0"C;-ANͲl+5#-5t7sɾn1{_8r21<_ݧ_rИ H