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 j1 ,\ ]S HOL-SPARK-Examples:threads=2elapsed=18.422cpu=31.172gc=1.048factor=1.697zXZִF! ]ŗXf1-q恈׍ V$*(5DU߆rAcf,(zȭiV)V?v5Ҧ|ZH|BE&ŧ)ng̵X^B{)AʰnNDoBd=&xp؜\u;q XC^ΛLvH$n`8='݆yZ{#J|bZ ' ^fbDKנ &ԗݘd*p%mѴZIkY EcoA¼dtYᘓߣ^&ex=5AX <-H=$Dzr!}4[pq+0"ߙ) ʋCM SA*0SHIv:uwy] O 'L÷bT#y5Muyl){04ؑbkDk 5w nx`ܽb1Mh̰x909; < qt`azoDNH]~cUOD6F_VA/E8Eb9 N[ |gYZ7zXZִF! V]ŗXi%96}inŜ>du4QP4pb uaRb1d\pnĊS 6p#nl O2Te i橡{#!pD„7eAM_ {ށ&2-Oʛi٦>L8(` K," ,~]H5}|#N'u2y-5gߏ%v^tA=2ڽ*Ad4{J m(I x LND3LPN~-@FL͍Ygg՘3LF jwH<݌?LI!>w}F%+Tc V-.]XE8_o}dF}%% ,:l$g o9v-^8idSCok,ie,7tܿ(T{#ם`h46=EkIM|O6f;plK`vWL+* Q\