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 l)  T ]S Buffons_Needle:threads=4elapsed=3.376cpu=10.976gc=0.052factor=3.257zXZִF! N]ŗXf[&^zDF&:HeRz,äɛoV*{[AgOZ!uy k`Zx@BOJd+^Qxiߪ?| f/x]R $􌭞y`Q~_Qcc-8]jȖ%NX5z DpGg8X ZJF e's~|"zFsDP*'@; !@gYZ7zXZִF! QD]ŗXiɟ(0uIU`s..5L⼟0U4[Qb? :CHwa~UĎк`RT}YZ7zXZִF! &c]ŗXi%B5xS-iո$ڊy+81P/"* !rCf9du|Es%ZX, (ރju<O/vjcӌPxp8B3)|t =8!":3;őf.NjzWaVA%uE3/ gTt22hHxvG9*[5DzIw>S_H5WץpC nV~lJ1a*A_@"D72gݦ6b9f3twJT%ߑzX9XZJ@o N3}QrEv^j"aEa9$!AX}f