SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 ^C L  ]S Comparison_Sort_Lower_Bound:threads=4elapsed=6.168cpu=17.276gc=0.736factor=2.807zXZִF! ]ŗXf[&!9sA~2jP;QJfCp+~JmUͻeqVte={4F1qlzf Yb@J6{2W_3ulkr^w-?LDNIumĖ+^W2X]cM H!!0<,tJ)"tbNR D856li͹hm1S%6[-<(g`HXFQfA+(@SU1Rq;3`B:%*exAsɬR /CH ef+" 8rӶF%4E; Q%)h޾+tp'I0\hwn 'bgYZ7zXZִF! n]ŗXiɟFTp>>cP$qXLE۹ N_396HFa lkcKG^ O$|TmB'L(RE6C㳌>$Re+z Sd嫚W&ab.$48~]i-. c?{ wĝ䖅5FgYZ7zXZִF! 7]ŗXi%Ge' MULkTEU$yB- mT.mKg7.9SETˆ !nh]#nxIr/Jˠ#H31)-iw zp~F hOؘb([\tN.X~ Dj8|r\n"TK=: rG9cmІ2SwUL>7yR $<(kSw17|rtVt'e4x1Pyqw)lnͧ"j1G S),hxmtO~ ꥼ`t:hxL#'>a=%IMȌR`@^8I UYbS[.~87xCZR`gOPqbTjܐ- VNqpV/PZ giG5t,E|E,pc3 vK94j$ كVedw5j@)C!f ohgYZ9819214675e9286fee5b484e9b9ec64a9014791d1795f3a7abed9fc1d9546e3552e224994a90ba84 ec123dce693829f016aa17c5552e2b7e72eead89 7b2e61ff0c86e069f55e46d35334d76ef1e809ac bc4f25d89927d65bda14cee372c03d40c54f0e7c C Comparison_Sort_Lower_Bound