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 d/ |D$ ] POPLmark-deBruijn:threads=4elapsed=14.850cpu=49.420gc=1.840factor=3.337zXZִF! u]ŗXf[&J3MRag)-C Xʉc'~ W1w PAqig2/9L2:md(8n(H'ev@3fpw#\xqN\*&?ң$nZ/)Ha;l[H_o e"@2G=\o7ܵ%6թLW FXabFDPD # B]NLY+T|E)mr q19AX}VL~ םMrB_ X[1qnW2)y?-(!<}NYKεԦUk{|'#Չ @dA=V%VIx{[Z`d$!yy'bɞXk6IG0D A3j9^'r5ξ{h-amDl?J=1sK-M<"riTAm%")b_TLo~G'*tɤ N*z5+$9:Mm&5e7cW|gvZq30<  +t*+wڱgYZ7zXZִF! ]ŗXiɟT{F moEhuFw~NfoMR ubMp"8 VNb* O?Ub󉖄E=)UjODOZNaDȩfC+946FT4Mnrf§zN%-=' S* }t"xN3.K(\dp=}eY1"4W[5fY,5BҔ#fM'bl]g!)v DktQ-dHXTRAeZ9ظXx]_yl.ܱhgWK@gD]{-%{b&8J=9+Kj,wb*{Rp푣/VNIUq!&i}:e{vSmq+RyI}J~0wCFhҞUOm!lBs[83̎Ce'EU-p͌t ^ Fָ޺ygo S8DoU5 f9Ѿ 4ԛB.I.c}#H͝!fN'J0vFPvid.\ 垬vzF L|9d-7 o[\Gb'ARZ"<{kBΕ+5 $2& +)VΗlZ38Wp\zpK?]"oyH^ϥ aL0_$Bt,)2zŞ)=Ovַv\i@)7q警3+]I톡+6@8чzee|BZ(:泌dxXe aWRpT}9 k"j/c|q`G\ l)UU$3 i* ftI& }򫬱1vR)gh,]s=sdcGw>_VphPSͫ^a Pm_N* 74+WP^Pk'XĿKs:05fq31l22y*.Bu SMbpgIo+G݊:T³~H2.lFr7NhH(W\7Df'Ofd8! L Lk)u4>N1kPrN8/ 8$l&.D%T~ PfQYxE-jĄg~]_tHj5ٿ TRh~vijEr(o\7"F`C^W5/\aA[4&4.ak9(5cؓ¦k}qt0e\wL0E2`SWUHT'I^.nť7!uݝQ8-B#jO4RΪ֛#"4QL2Z*bk6 :L휸H3m'" o=lŋIˉj0j~qTB ʫsA!d3_E̍?AO7EdwӘG^6?NŬ6RXBwV2\_&Ӆ|$f?8jb2a(7#'kiBe={jFQ:&TZ+(A>B^ ?l 42ɛ8W4cIFqT;RÉL:,?-ey j֚g̏Fć]HTX8 QOYL/eQ顁P30$q -$dzgs)=z大 Wy[F^h@qyO]Q}17@&]llYFʸ>VmOеA ^PTٱgYZe759e60c7dee800632877d78131a44f12b021354ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 0cf10e45680ae439599dd1e4a9dcfc11cbb36022 2379426be7a8c61e771f9e01a38b6b2acacdabc6 / POPLmark-deBruijn