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 N- 4dt ]/ ZF-Constructible:threads=2elapsed=18.031cpu=34.920gc=6.896factor=1.947zXZִF! ]ŗXf1-W5"~ H:Fi{3g] U_ 1T44}ύ MRr}>:$8>+Kzb3}f gr{њlU0g՗шyKMvG=N"W~{3gAKr#d04.\( )/ykBU3.۽DGU׷%<><ߍw.죚RVtM^=2f);@CZ-Y E#%uH-]$:,5`C1EC1"*SN.EAQ£|ZkOt!1eieHaO.[_ ^V`VHj}16 K$=$ * Q+1:4^jm-Nz^] [N'jubm[HlbjɻmXWfr?']E0s7?F?}V<Pm(6L}P6kYexH%S\?ټʟIYYu(T=់YqTs%y^X=懲j\E/8cCLc:ibpbeWgM0*O⊕Bks+6݉rrɋ.6|Cˮv Utq)`I36͑f1I ,TChq,h}"IZpT) MǮtsAk8$πYj3;s]fxqX5epi9" D\9&e8,vaU,LU7 X{>e^xf@9.m7.pssY&Oq+?p~ pܮ?I㩽 fy%;bIۊ`?yTD`ekBF? 2ܯzg.N*O3θ u>IäXj^A:-s7n Xcf$8/6 LX<Iu;I^!/% oޠ̯Ps5Lk;ϙUI5I,gjzoshB~t6v@m-؝NKaE'*53LPݱV#,}0fAw֔|1)'m1(1(;؝5f$_Cl(=Қs{ YKZ6| ~F}d!H ygYZb41861745eef4001a0e3256b92349a61f2b54913071f7fa30665cd1599ab0688c2ebc3134f4d53a1 48c7724705a2af50367b3133c44292d679828a88 - ZF-Constructible