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 ##Z T ] HyperCTL:threads=4elapsed=8.885cpu=29.736gc=1.372factor=3.357zXZִF! ]ŗXf[&r>ܞSd+Ǯ5,/VJYO,$uoe;Ie!49uV`Od6Kvq;|"."fĤ|B8+vYOH3jt tzqB©13Dr%|EGyJʖ!])>l F29Z|]/6;6@2O7v3*n̳@2Fʤe6Yo.%*WlIej)+*=j2N;ŋ)!x0*%J!ekAONFƦ&cBoCC %|{AEVS$EӔzG( v{t- |TntT~# YLu2#@C#D2mq͢ ˉҿ615p3r2{hAN!WsP?JC=&ޟ>'dYG@?2m_ad #e0||:¨<+KGoUe^TAI-ceYܣՉНک-njq xb X(T*h]4et2BZ% \䞽#S?OY~RK7t6t"(~^vކbJ*9LA[c#85+*(b% |C Uf-馝 +B̄? C7.FvK+Y:ہdSപ9Y}mv&ͮ5pga'iWQeC9]\C>0M+dNrpT ?NgYZ40ade38ff84dd0fa2d091f3de01882fb3636de2a1795f3a7abed9fc1d9546e3552e224994a90ba84 4907e731bc16daddc205b6b11f8b89eb33f47f6b 7fc961cc80e3fa14142bcf04a0c8827ebbc701be   HyperCTL