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 __7 \L ]% HOL-Quotient_Examples:threads=6elapsed=27.201cpu=43.212gc=2.932factor=1.597zXZִF! ]ŗXf1-q恈N/|p~p%++"yqL^ ?Eu@LwA%0u5!P}ue; )"2ȭnF<=L3:>Zfr5|ݽP:a8TՖ{*h>U0^p_%ihJŐ/ImR&J{0];۹Bz{Ԓc}J tCWܷ7R~,7/oMp/">H蟲PW5=G8;reQ:dl %KIO8R]Ue(eAPU#~j4E_z8ɯ>9ƺr :o[Y+S\\"8=huUء `)4̈^}0(ߕ ࢼL2u\icҿYږ_xw[/C1x !+F|犫ᣫSYŧa:bI5 y:KUAsM<:{fD;M}:+!@2%rfL)ufWaAp$!YHv#r7>KeG-O.$(di(d2@31iqnOIy"|RGT=घx7ZPuҕ+Bl"}0DCpq$4+'IWa֕wQ}.I]`Ĭ+*3 7l0.T$2U> ZY9yu`9'] Dz8 6 cm-c]4HVi~|&=~ p[Bl2YLGFW#$tb.MW)V +XgYZa3718151369c2fc4c2ef214e27078de78e4f056bf6e8c467571f6b6fd723f058bfc31d74652304b2 db42b5600cfea4bc64c4d86c908b1b90546d9cd6 336d3bc6cb0ded842777b10b0e56e325079a5a58 70a45a681f2c09b8fdb839a807c09fdda9d30d28 b91c58456f3da48f4617ddf9db7c15cc47304ca4 7 HOL-Quotient_Examples