SQLite format 3@ .;  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  2 2K3LTd ]/ Partial_Function_MR:threads=4elapsed=5.825cpu=8.756gc=0.352factor=1.507zXZִF! ]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&V‘/%Y0,PO+}OTX2x/lo X9 q"pGT.sELQrAgICֶ IQ; )Ofg>Yqؔ qgYZ7zXZִF! _]ŗXiɟ1˦rnzx <@0+gML' ȈGf;KjHg]Vg{^|z?ê^:r#>hwX\TdVOhC34l fXHE~{7=}#OhgYZ7zXZִF! 4v]ŗXi%L -}涥+WU^efZEBy8Qw-FcqYNgJxYq[ 2$c<^v! ; gLtD9~uef^( M]‚慏H`YY*K N1AOו̂]W6g0u<(H,~"1ɰKw<[*e i5E "_%}ęz Cwǧ\@Hy:@V.7Uf7-CdA/ӕjx _މ05Np<@ دZb).:z.K"ϡwfC=!JG\/kZn-K_2Zx7!?4*൅= tˍ)2G{a=L*+<F篷u n&T!%j#5EKxl"2>_W%'za2O)CpYt~I ;"i2asgФEJ RyXÁv=@W ;o?H~&UZw?3Z#r|lH!G$%luAւZF@[1파J>^^2b% !tT1Nj2kP/zLm,Fok|{E.(z0Έ.Be$7]6"Q893Dr!I|&9 ejNpeeS"ʌnlL?i$[@E #hUSW|#<"x2C?F~6E@DJ45xjl 頡Qxa4'X{Zehk{wѨ-ChG gYZ69fdf7df9a8c31c75325508fa67ca7c0c11eaa37d3f90704504dab3f9fc94e3d143d1180eb260c4a 27638859d3581338a14773da3f5cd45c4e2a6773 3 Partial_Function_MR