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 [["' LL$ ]/ HOL-Cardinals:threads=6elapsed=7.570cpu=42.840gc=1.736factor=5.667zXZִF! 7]ŗXf1-q恈<-¡$johkX2I)']8PIyI @ E HHHr(t&HM2=IH:˶$H!_Uj-Y B2EBdB+ 'a#[(ߙ\TFayRjv̞,f?9@|3|up#Akĕ͝OO+,0yW/ 7ٗp2"#Wmӹ ;> zgcq7:ɒ{e!r]PI3: xnW|8rYvp͙8pyی{0Kǯu;d+->dcqj <_̐61PK 7`Z/9a ߹[Ĺ ŝoOL6(͛.틊on}t<<29LNYU}ȡ=-Qx杜@fXP-?sJ@;MGeC.%[˖_  z߀"b:URNN{yxXn@?zc> s 7Z'GNͥgCZK?[$m<\,]3Ϲٕ2 hͬ Gƍn$