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]HOL-SPARK-Examples:threads=2elapsed=18.903cpu=31.220gc=0.840factor=1.657zXZִF! x]ŗXf1-q恈׍ V$*(5DU߆rAcf,(zȭiV)Dӯqj(5 WuQ+9 ~kWP>!-5҉BNVe.  BB,ǝ?]bjT1!#z7f4k*k!e1KU;rY6a?:gϼ][7*knywQeƁT_$ݛQG# ;`rJ_>;ŖǠL]Ao+6b۾=iAa7 uf a{});5Qԥ0*gYZ7zXZִF! E]ŗXiɟ1'HGu C),_=g~ {^}挆ɲg])-a%Y'ZfK:7I{M纉ct/ᮟi8(^Sʒ9'm#LCMCsc/ {l4G:M2B :rڹٓ1lSN (z³617&Ȇ8#?ͫχzJB5%FY\Usd?:AcL5Q+q6aI[*B8y-0PC2K.ӺV%[n:ԍRRb:(pb/"o"栲 #ƱgYZ7zXZִF! [}]ŗXi%9#aZY0zgSTl0qtuK($#,8KZBto$F`7tطDXrn^zH)s=A' R>bs0^R)2GQDDvbA*x kI.TsJV电uSzхMCf.`@.eo)u?P]Ɛs$ybS'9Hz`6R2e88+X<,JBRTHL(p(pE5`ٲgkRnz ŭz"aJ(< # e*,x3 LOI3dq/\/<K2o.CXRHrOy|Ҩg\ףԱdף+^r33<]&ڠ//ܭ2uWq~<E)A5SAZڡkӽg`#n@t0;2igk[ C`]} 歅y`w_jrl f>U%}Qǵ$f~oe裭H/ Ejբv98'Soq0΍&)o–xz3v|(M.̢ńZe> S}r`8>KP݌vfdpy I:X5@KFzP,Oyl6BQrkgŹgr qX.O8'w{_XXť Rc^4*-|9+>쀷cƦ G*r gYdgTYa64쬍 ]&Nњ ma%j F%-y\ō}?JI՚'+:*-dubz8b1ߚ)$avw1d:j ,gYZ8c5a42a5ff4abb28208355062b05dafeb850f9938ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a 573c60ba3acfa61cac9ff2a6a5d7e478e6bc035c a9d47853d1921fb27dda10beb03ece00448be356491d7ca4267b1e8bf866c1b6c6f5367f02a8a8ae 1 HOL-SPARK-Examples