SQLite format 3@ .  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 =
- {0o`jF!=NYUacdsnl=!{cʻ8~+/^c#*0i`U bgQ"} fl8 @Oh MQ|㯞,@^~9~JSi`*zZcKMV2guΚ'Z3?y|{`Z, le 9e#l2R۩ƨQuF9uHlj`0[zYe\4b(ؔ$-6 9{cbP ˜? nYpk/CgGFCB tiPI Lvj%9rtE`j+SBͪV 0t4'sζ5b [Hz퓀fp' KRcZ+P<:]zmXs'QivrIT5 `t4?Ay@b 18ԝ2;QoӨ[* tO`RS*KG΢ ~$aCPAYN;v!N&vikvXɱ5gNj m RVה@`L`s}gġ(ڂU#iiwq/fq׻O;=epZʝc8JWq9k7ۏWn6( uݒRyUtm'k+/諵 fgi4g\K,){ Nߢh^Idd2=-ym͟=T*@+i_"z] ~6wYU {WU\X X0΅8zr{yrKxMa1 =敵C;%/r,PRUzJI7Қ&oX*v(!02Z|ͮ>Xs:@B]ێ 7;C߈tOPl o@`?26?TXk #޶;O©Hݜ%ќPs~Hu8J+.*lm :靖; N_UmҌɬ;OڝVA59άWDno&yb4:903mY_Fq,䃕*\Y{ib@ s$ &} MG$G-r$ӯϩ8Q|s61Rc$:8~vYyx,e-šQ?h#irbt4P_[b`h$3cѲ *JIٰef[+%q%lTA]tZG-Qƍ_MյY@st4Ip3B@Ld.˦`~LF /j%L{>\*0:E|DHʼn#-ϏoUYn%>=D1-˟xB~(Zo3m}}{=mஏ m[+~gaVG-&6}j-&keI]iS\b}1iVV㍧WMMVѪE{]~](kKYs}s[Ѓ?’*h S[cvC ˕b{&NOafS@5!uK~bէhGT\^CJ?jhJI/i(8I)&zM:ytjz/L_$(\ ob89k!'R%|2ӇBVS!fc҈}ˋ刂#/,ⴧ)M~"0qLчӄqNڀI;X<&SaTl.Are#ػa$Qϻ}:* ]Z>}5F`pԬ[Vtrbՠױoc@ODhtcT(^m^CRU |{5$4i?Wld?bjRs|lc5.o u $6hFcb65R/('ďI{lIyBݽ<{K܉) L{NhnBj-pKOب Fl&|j>]eӿwjnRx=7EebZHg>~l HSǿyd$s9/<2@D>\vEjR_*tMpﺱgYZ35016c5a5f31fc1bf80ebaf520422db27938815ac3b947847b1e58dfe1077ffbed892968d4b16441 badb05b9f5040e431c6534bb870828cec160d71a