SQLite format 3@ .  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  ~%l \ ]S Fisher_Yates:threads=4elapsed=2.929cpu=8.284gc=0.072factor=2.837zXZִF! ]ŗXf[&!6D:qMB q#t3V)#^ӫWO"EMůJ& gšnUY(ex^3Qx au(k TDZ3I/,82 d ɴ'8_KFJ/m%`ȉ8ac gYZ7zXZִF! MB]ŗXiɟ馸X:bLd`". cmMj)PPu j~?R'yC^Nfڕ}YZ7zXZִF! $(]ŗXi%B|tJ\@qye]\~EX|wR~>> 8ew [FډLMlz8CJmRjx@Fy'.wK BHTy1CCFl6_aOZ;rL[vhVe+ #+[yӠ9fݧd & ҧI# `SNY m @ /I,ϋKkZ<`}tM${n &!qJb?;:̐o,}z-M+%gF9}TD3x_#:A* ^o(sMScæϚ: maIJhiŠ#}, ůa4l﹡~Dᣲjce[1\E=c:JAd80 :ŌX՜ix>)v ?<Y)M6ZCjwaƪ-(~Uo*Umbr;-Lko9V)ڗXqzH(߾ ݎt[WcX't -t`_2 &cN2a̕$لǪ՞r b.!b |s;OFw($p:]0&{6A֌nlljCj- VIi>]t @Uu9kZu111Ft7^v,#4<&|2K׀Wy7n^yw),%:_pݏm HpgYZ7b8cc07183a9a1e68efcd30d76fa0db637fb962a3853cc710de37a8d8ae8e2ce10739760530fc782 68e24fa803389d76024c730e22fc9263ebe14aa0 0413d6259892f6c071395997e7065d52b3366edd 6ba018ff4eff7b16dd5ece70bf05a767623907ed % Fisher_Yates