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  + +R$Dt ]/]Cauchy:threads=4elapsed=2.708cpu=6.896gc=0.192factor=2.557zXZִF! ]ŗXf[&w4hJtiTRrۧLMW>\? h53 2|X~@ZxSc~lzŜ(~i/&1@,9V|H^y{l5P%AFh*UIjpgYZ7zXZִF! Y]ŗXiɟy?}ScOZh`KρqD.N+_K9ӳ AzqiGP-Y+C͏pNʋ .7N)ǥФ S͆ cvrIU,^k%`0[.준YжzAw݁ ˵n !CigB!j;9 T$ C0'`3Pg9爕P1ibEI[`ZeLvABki$-T w*TUZgKa@jDl&f9@E Ly`]W⏸mePǖ;Sv>oK Ϋh8 3$X$8'EkQPteP:JI> 51ts 4U#",Wz]i4Hښ&) ? U:گ?Di/ kx&8vF9U#CAZkI1'TyvtƵZnrn^Hz}ۨ.ub#i{Xx k_b_׉'c I+`9(SCi^dCa*IDMQ,M:o\pO3$"^dEkL}FB-zq64iKor!.[僷c͞uS3cYW[L1wK31z؍Z#: 4DMnR"SΫ/gYZc18f9aa4001063462894d9a657882eb0fd20ce4f87d722a51b70602a06e4a7b7d793ad6a8bd08e87 b7feff3cf6fa551286ad5206b08f8a4505f29591d77f08defc8d814c320651b50f7ef4c9128df523   Cauchy