SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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  / /NTDd ]]HOL-SPARK:threads=2elapsed=2.439cpu=3.264gc=0.092factor=1.347zXZִF! q]ŗXf1-q恈׍ T fPf.Vܴvl.c@"'[ۖK&M+όwT $xi@H% [՞9tyXEC #0^JO]k~^cKU#&y{JqH}UK8wS)ıgYZ7zXZִF! Y]ŗXiɟ1'HGm7瘊Mǒ|a#+ YDPC=f0 J@~F0=iHۄu9!.gYZ7zXZִF! 1]ŗXi%;4"@Rq)z ɪa?G+}IEfνjp\|D.`dFa)Cgu/+Z9F=ڌ{ Qi*ɾmβ)5L*!kϹIZJ$sk 77˜>0Mt&iRd$ IY~l큟f}FþN~PģIDӏTel%1:)pIS~Bcg9pTE5Y?dUѴ;8]hr9p .}7Lc?.MYhxw3a/mqTτ8 ]Σ[+$UI]O#M)2PR#^:`3n"xo^xF0?h­ uZl=hLa)2"@Z'LoiZ2np\H6Œiu(阮8Vs+ڱgYZ008de81ccdee63c7661536db1c5bc136ced8533f665af98eb5b604629a3a80f1bd6c88145ac43a21 5144ebd7f8a7159ba53f7601bdcfe133b83a40ee 8e753d6d7b3a7e7a36c26f3fd0ccf15f88686c6c03d607117da282ecfeff98229f4fad5f707f2d86   HOL-SPARK