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 ^ ,d< ]]]ZF:threads=6elapsed=11.974cpu=44.868gc=2.748factor=3.757zXZִF! M]ŗXf1-) enȈA XR„``12:)aiH|_*`#8q}s aV9={3B LYU(zp 80BeI!C9H^ɱQZw*^Ng"#g9ڧ(2st D0VsTJLyЁgވ;KiW zgT = ibI#+6 TF|n]|UĠK!A/1kLZ@}6fm+ YQ܆?'̠ofo_RaAWTXscyF@dPsӬ7汼dW.m`n q϶w<d(/Z݄ p|h#OMff+6 T[*\Ѣt'^}.Sr%4^EGknNwߤӂ [hr+V!ԕ9xdn-oD^zw.ُ ڱgYZ7zXZִF! *]ŗXiɟ 1FE`空%3]<2VkHˇLhSA:''tavӊLVnC(1be,a͢ uczP=Fj &(Xѥ(U, r \)![e<(D,-}vl" b:37qüvL{1==X0Kx8uxըU%%ќׁJH=r6Pv~C&;| ssU'F"'uLt]_L$K"7,a IXrG3z쮦 A$h$J\&B3礰~ RI=0? (d(th)( v ȿw|+LO.ky`V)&_"vQ@n'[@P:MfgUH/&vITjEך,RwV+.{5">UP2}@G0MM Y (sfYW әyCfMq*ټ, )4Pʠ]ChG܋V.#Mw\ 80ҵ8u];7Dy A~Nu?m&]v| M*93)s9K'rʹJEtSB>vԞ>љظZX]?h®>& &gYZ1bdb4223e6bd4292d4c62c83e1faa25fb07722636ccf3784ca06017dd464fef9ca771f74833a3d84494826fc455bde63a708cdacebe6261799366a11  ZF