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 _ |\L ]S CCS:threads=4elapsed=12.757cpu=38.516gc=0.972factor=3.027zXZִF! T]ŗXf[&:)V<2c_/:`5=^QO1κpj\|&t7(Ia#;:.#<2WчZ.f9xP7hpf}Ԫ,TDEY*T2˻XW:7DF;K pnp4UݾfL?P@4tG$G1e$;gWRnS=2,TaU`T(ڝhыP%DhNlpk໙mų cE 6SJٸOFvu `k&>@$@JQHiUr[ge)%) G똑=ݓ9bK+Mu(cg\U\˳,61 +5yCE=82%H jan%%g ʎ | `%6~egYZ7zXZִF! *%]ŗXiɟAyԳbɚ-> v>,BϺ}d lZ_o=g0ȎFP1^Xd>m aXEv⒏wGȞ!~w|Mվ N΢v @ltvʽ@,H[[o\UIE͘;AF!ZjwVXPE(oqC,-L1#YGeMqJ˄QH#5~M(S޶8]xO$^7닸 4;'Ki9~: r$TZ" ~QgYZ7zXZִF! aa_]ŗXi%GV3F#ku Ӧ.Zщu̶M ;Uf2=C:?a ̐QW „q)¤ 4 .4OBH_b:cXsgǘ),F@WIՏ [W>#86zNP_ )BK\qȯ9P}'!^4}_P,6!Q'̊|,Z-^~a3 a\9J.jA۾5Rƻ ! ̙Ntm ƅ_ a^jilN^@񼂇j{:bŃ\^O 3-XbQsYFe5BEeiqO~amrN oƇc@3 hYM6br'EGKj>!ĚnR"kUd, Cύ/G Z!b0g@ƎOp 2C[I^AsދƒmKo|p`oȾلIYS$zuKL#6gL(-GjhSAYD0zh2"<=+/:m M21W턮x5;RPɕ*!#(LO]r݆>0>/|v&=#V30Nl+OSTC]q@;cO#\ <K(+cr1/JA!]%vĐ1P*6<=N 0RFLl|FǚMbK֞9 B+N֦!ՠcoKSJ- r(ees r]RfPY$cȞ($'.sVp{63z;ee${~|2J$K>AD^fCCˎ+ePhxJ:qG (J]^CIZLhkܕ'*QM9zj=jVlASci'kRg ">CܩIe=1?[`?+%*f7R[ն:ƠL{ 1?$$m%ɯҡMd,ߋq 9`1u jnm]y)16fa#.nF7*ᘟ4]5:h*IMxFi@_0~LdmXھM$p"ٙܣ.;)RNf Ho\.]g 3#_:l51(N*+z:c}@m_+/?y(Qb)+:>;$V]pl./WfAwk5dՒc+Ysh#E=sjy(gpGR@ EB1_gĩ(|^MK_ N6NKm{/zއiv/@@!Ɣm>bHX8 *gYZ471c6ea01e100fec5362ee7839e80732ef73c7d64b4d09c9c1841a4f01c8958af89ec039a11204c4 f852689b23f90c1209b23c794bf5ab75a3b8eaf2 4f0f038ecec92406e0882716c4c085a6c2f252bf 852f48909419df3f6270af6767789a2761eb019b  CCS