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 # | $ ] Quaternions:threads=4elapsed=26.007cpu=34.820gc=0.520factor=1.347zXZִF! M5]ŗXf[&ptO~A`Il ·R[7TRM&GN?^G1Y?325#$-IY/]~@Nq1rj#s}'8e44T>.O ;B7qFQ>MQ!H%wR ig5.sof_bu^=|:` <1zG؈zs5rc"=!)=!& >fܬC٢|Sb I,gϲ& gpEK,͝<gYZ7zXZִF! LD]ŗXiɟ< =TSцdKeosRE9_3x& US0ѺQ{`MM}YZ7zXZִF! E]ŗXi%B4EsІ}pTo'B=?ֈQ^:7q&o^eD8ȧ[ wF/ڑPbqkyx'}5;U=x]ݽ,R&MV0Ūmo4.R6XKEdJɤăE/,A]pzW3xLZXґ#S) nGNe-Ts7,.m(]RRY:]x0.m} $Y),)Ѝ!ۈPJ)+|";eڵ{_]r|ٚkZ,lnRαt9rynh׈-nb$u>ɗǡR|nu~!`n`^k,\"OML;*ɅAݲ_ާ4|k9srQ +\m/_x.M!-Pn+ HmPǨèVM<}r -#`z4Ȃp4_q1o&8<;ܲԂzhJjNхp:jT&[YY=hJX>BLy mg :ats/;DŽ2ތ'Q QTum';;RS2Bn.Kk༸_g>QeffM{PFO#ϓ/TŃ QҤIιIAڛ^vc˻z+Sw{o5d8OAS ]ۓ[i2vVH91nk†#`}TT݇l=j1yiY~ֈ$"_\ FZINvY)+`l吘~3Toq )5WA2Îe9jufu:2R t,]Y FN3[pM'7c0 OW5 Ȥslq6kM3#4JX#hP0ݮHZmNK@` U[ ;RZZՋM U[|Ykd1lt]mh ڽ ƓSf k&v2Ȩ\iXB<˷^8J}W 'cG|+\,c5z9O%ĝQ]fKuMK5Tƒd/ԚŷizGX6?vHp: