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 13 \d< ] Efficient-Mergesort:threads=4elapsed=8.529cpu=20.436gc=0.428factor=2.407zXZִF! ']ŗXf[&&tS1 }`͊C:Ο7K $mLN{bQOӈ0e6:Aú:Yȗ?+n?UXie`IQ*Qx#OMQv=ndKugHaķ=qu(=hZ 9* u"2wl*#Nh$o1sơ!L.+TgOaixtWeHL2>$;=>I Rs8mMڡtKyh;214))t$&y!h&:ڼxH)_y4?=PJ$Cc/A{iwfrJʛCMZ}>?|ȱUEL/{24$ Btu_P. ˤ{PpҦ`d/"_%'D`-7Ll Bf㵠e(@B_^lR[p:Jܾh_x\ռ9GAyaDBIgo ˮ#<ׂ\vW4iWXvOG˪KkZ'De\\s@G^@1X (Z:=PyՎ/D!hmJ<3IB(b.!>#2=}(sΤT,k8Wލ,0l= S~g)e`kSBlu-lcewhSY{{%̛mg+~׏/>xB5߯5M<_g%}nB#66Ғdh+&F 4t5[9 (Pܘ Y3wYo?ғڭ )o\|5v^&?_q>hmR7t`޴ ;;/Ru-#3]uJ{hA#.@גb}$B}TfqIePuIUKdY9<Ԍf1šShIH\;nG.Hĩ5!M* -#kU~?J@T !gB?El慠`v"Aw&_3F9R&oC= פL NcU_9 ^TgYZ234a548837c6f782fb992cd781e592fbc5c956581795f3a7abed9fc1d9546e3552e224994a90ba84 ec123dce693829f016aa17c5552e2b7e72eead89 34b3143175cc0cafe9a5ed0bfc2c39b86220bc46 3 Efficient-Mergesort