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 ::C  ] Tycon:threads=2elapsed=9.550cpu=17.668gc=0.784factor=1.857zXZִF! ]ŗXf1-/6vR[l>eMx?/᣶ކX?<}#h߀ZGRK| y}+`>7=܇F DBk ÉjT:dTp3`G5ky`Eq{ lkLJs7xMD%!fF~5_VmY9>c 9\arZdTU89O^\X9bDeNUXNՅVsVto2Q 7 aJVfN.{E@|o]u0K>m.Eќ)_zr15(!hDWw9+5iM#~<Xn;0,zrRz{1%-_1M:㇞4OG]O#NUE645#S0gYZ7zXZִF! D]ŗXiɟyڳεĬYpa<{er> %:H~3I<ۢ+/%HJ cR{/[NXxM4[V&eεJqA?N4%A|"#<72_Sh$H5gu X2gYZ7zXZִF! @]ŗXi%;+UtJ=ϐWqi`b9_q]kz@L''- tq#{6l1MuZӏ䔯iI2ç ϵryC)Zx\ D73Ub0, BL IDBu/c lVA)Vk;!ra k+M\*_W5ecGv@ݤL;o'rk_?L:^Thyb$E%=<ڝgiv_ 7t+TX3;`v yw LECOx\2V;Q|=؜#Q,fOCAM)Ullݰv[[ц\?)dXwzd!X:W6`m)U0?-ܦYJ+YmK z<%.ynE0 EMrω@Ӗ0 WӡѶ>>#mr(.p8TTg}֭k'>jT[[9=ݠc1p SbM-`I7щfZRlq25 0)PVGنa{8^{tx;<~E?kwK'7D6~X?eu6+~Ɉ5_mWIB(jH#M>53f[7?7K spvYbMwqT͉I=QR'f#gyc1#9ܩ:pV$r@E2'Go4*@{f񩚮m?m ح 5BU)u֫юi(N}TɍfEe<.BjhN:PKQ6YU&),ҪK npt$D~A^z] SuŐȓїNKl-Ǘ