SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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  t+,L ] MuchAdoAboutTwo:threads=2elapsed=5.296cpu=8.260gc=0.232factor=1.567zXZִF! ]ŗXf1-/6vR[k\_[FjhfP,\.Y|W(}4>m.vOzhn8uGlPy0353y u"e)sHڡMU:\B=}߅o8\ ]@I]CrSa|gH'#҃"X@? UFgYZ7zXZִF! SG]ŗXiɟ8|g80L(>7Rkq^iС{6 R}x0TcTP}YZ7zXZִF! *]ŗXi%;C41qGWj5{]ϑwl[G!c2WS#\6T1g2U=}oGaXhWQq @-)!FَuK^࢘έ{e" }73ߊP1:]9k" Ьw^o7eKo;v)6e(Pw_qH2AG`O.޼2ax㲓 *2Xvw~'D'v># WorT]^žI-muH@Aq? Y*MH䌺4_mhY.#PangqLgcz-aMU-׿ {w J%nzCx)3\8XAluUJk*~n+uuvCly:Xp'Z- n6:No˙.jnu~5׃0?^1*!- D\u"&;?z:R;Z7Z]1OUƈBmMEtَY,/;Fa+BVZJp$Y+!/sʰ͔|e1h+Os F kOK#'n 5%sUwxwS,~:fZ7Ī݆UOe vN=;\^nus%E<-Zj f'LCoq>aM7F dUQ7gYZf0dec0fb6c8bf904e6442d5786e3856cd95db53aa70f3b1dab78f27422c2c199c67ce3165c51f78c f87e99c2e2333d54a40f2ebcf261012b052e5e39 70e4412ab49462e95fbd10fea3851da342668d9c + MuchAdoAboutTwo