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  ? ?>%\ l ]S Fisher_Yates:threads=4elapsed=2.652cpu=7.752gc=0.104factor=2.927zXZִF! /]ŗXf[&!6D:qMB q#t3V)#^ӫWO"EMůJ& gš` M FɷN$1LW1b@& pE 0cx|@9eGzϝÁP/byn1R瓳mgYZ7zXZִF! MB]ŗXiɟ馸X:bLd`". c}[zVu}{=nGx[7nL+ޘl^Nfڕ}YZ7zXZִF! !!]ŗXi%BBoOKAynpE>-.~ 奃f瞏8#!p5rݹĹ2x j^~hcq@{+z&cD59VNȖ/*)BZ5h_"i֝R.}ܭ/8[ʵgk%5`%!;gAJH"]`1*xi)xf垵d.frbl^H%ʊH 'ɒPi1: (D=2dI v6zI,XrΣAGne|(}h%6.wm&>__;-Qwg9$Қ'<4dB4#"%ەHfjWoKC xuel#xW<@#'nHq [26)Ro%;$x(02L <Ħuq)t]E|ѲYNr<}ow3~9keMI}v{`A"O٫On1;{2ݣ>-} VTƑT#M_G918"s%ĒPˑWAҊai{k\B@ʋIJH^,ݚf a~k-"wBJ