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 ) lD, ]/ TLA:threads=4elapsed=11.217cpu=37.312gc=1.268factor=3.337zXZִF! sn]ŗXf[&y9WRn.OZ3-_ %dך8wM&!ߙ^;|t; xp=5Cwf؊t" [:V!]Dt$F5XyׄI2 GH76'^_IbٲYA/ $SuK̦nA!_j^|2.~HK݈4| kՁPe?Q.B\\ʗۜkX9zxsdP  Ak\0BK6#.LZYF&B/v_N/z*Њw9w H.r] d|Td7kfkD j((RտW*x`#>SLV&zK=nO|?bj!(OXx-i":eqƯcN>H*<$ނgYZ7zXZִF! ]ŗXiɟ&ݾʆ])03_F_]9  [x0Gy yc׌B7mP}HyIkn/-<s> z}qWD]%d%trf<pa@>" lHE# Ee56k;K;f۰W"&-RWU$8MS$ZVg{h̙Z2cޗ +#<$[slֱgYZ7zXZִF! \$M]ŗXi%G#r d>泛NPɤ 6Y^%[=9z0l<^J&+a ?\7~I_XXMŕ-3cpŪ@-`FiQaFzmr,_[*vInti.Ui<: /% P$*QoL9uu]*dYi[::{gѕdy+8:\v |Rh_)kE:C`b/=#'R4gcRK~8“26v2e)6YGؐR *4’d)܁M&dǙDCӴ,},' 5iξ<x^G>Vwxez_3q۠;o9s\f{r%OiVG9|u8;N]P|pAd0po^Y\ȍ3DV!o(u? Cx- T(6+iԚEHTU\87UW~+."CIɬMK0Ԡ0b" L -n)u~M ,ϹqJAL3 v9r3!Y_hRþbj oz;-ɍ(>n6`(&.+~!S 8 OS8{K. @pI'wv@Ϲ65ҤVGm:,{SjR8⸒27ӡ"|dZbeKKmՈLgY_(Ǯ}A~ A*]j,+d(R s%+͵]SaEߡmL[n%}웷s{e&d}ҦڷOq`1h(lteY䪬yF|$Q%(*ssR H gYZ85e26c58cc380a2597719fe01612fb8266d9fb61c2093642ce0e52d658430117f07a6a10f135143e 958f81e74e154e8719a792f45217a865d1da1a47  TLA