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  i! l| ] Splay_Tree:threads=2elapsed=76.520cpu=96.808gc=1.716factor=1.277zXZִF! D]ŗXf1-q恈%kV^M[-U xNo[q;O^.%Go/пBW%K8V&Uluñ .ES`4M񢱅i)G(t GU @-+*{ϡog]8SI*jWɓ4z?9~\! E򫄜UË1X*Zr›⟷H-&~JǓx#,u'c4SKQ0!.R@ `j:!zzq3^Hf,td&tK'bѦQF^)bQG _Zf*0/bIjk/\}G)v @ΪMfٝS hK ?o]~*w(-2@/Fޝ7d!^S ^ⳤb3)2Z}'5AJQuH[A:/x4zD~u‹`8] EV]`hc挮}; @ߤ~vnRwg㉙ htK%9Q9߈IQi@ QkG_PnZ8i(6_   ! Splay_Tree  oB;Hu n\> q[(MK a~tP):kſӮZq.'0%gYZ7zXZִF! ]ŗXiɟ1]" Mԭ02NaD^/*7ѓ떻 lTHth_vRhQ5;C]ϊ [L𔄎~ O@|7` ,ۅ_V8v6aR+*8_ \'&FS~3%>xKW:rD/ 1W@}1M䬞bΕ S|I9,oh/pT8[\T8,fuޖEL,gYZ7zXZִF! ~ u]ŗXi%;E7Xrg2Hbtbw[LD-dMx:k%*kTe0`0PgH*. =˓=lff7'fώıws P0# U&i&&e2Ap#anw97pC#dx=ZcPUˇ@K?hrMc݆mj򐵳(v=PsJv>t{b}|5"44Sz|/{){WY&^t#IgbʢrÉdtykmX A'0a`vŹ7"#=x#=2[l_m"6]O39W &i95Qe*0]GOp:N03^]wQr(?ӊ$_IJ!ߦlO$.rDJ{}Y*GcdL?<4gieUھ}R=}ZmlSvW"(Nu~n'Sn]Ϭe>J_S]ef$=?VSu+i7Cj9q}9 N:2Ш-P!8YbC4q9ÿUJ>`YpN2qA}>iN{u5ƶ~ŐgӾi;p>AlGz51i!hv6d$NN+~bţG|ЊD&H wVɉeu|' aoh wh|WZ+Vmmb\iTHԃlc կLRn};)o@+X3?'dтZc7Ѓ<) 4AQCW}B*W#t]akݦKv?:YbsH^yƼ5rz(מK0)&:}+4AsvZNɀ *' eVIBo GD6 ɧ.;4E|mguNWxAeI JeM PSG?kן8z/HT)/;;'28GENULpgiU.5[J;]{%joK{H`7wdG`>0Ro7/Zm[<;OXJ!`8%;m?w ~5.,P XvG.ԏbj13xcYr)20b`\,#y:JJPtkѳ0@ReJ}mNM7ԑJ=$|f겿aŬڕ֟VftHMVQ`  \ (oѹi@bp1:>ĮR-^Uoo>Te&q>b/JWEq6tݶ-L &z3|%"hi|eO=y7W*G 5y^ m @Z뽧J_5u^ܷS- 8L!4b~8B}``;ux1=rj*ZP(Bl;!d m aMe=.6%:Y“Qӳ_A'FzPerhN?U!T]tq:&GG.&L"eʿ/TqtaGs!p0vd:~t8v _`:XD+U dvⷂ|w M"Tq5f|Q•FA8>@y; cήܹF'[?sβ{I~1?O_FMQ.SB,v5m=F>F0ZgO{,$=ƁT ;j䕩A\9ЪGge}eB7EDE67/IݥLceKD']ưDD?hhy6 гbwƩo\Fhds~g 4"$7ޭ {N³wlu%xlLR L(V x/,76#y_evre6n-tS&CTh~v+#LTí2S]hC&gjch㘮TxN#Co8P"T[[$3vƭiX 62QwI2fU G˭41(SJXNJ$q~<TRef.ddqM@zPW0b{ͫ ;2nd2 G006ͣÒQ_+Ī]IMrڭ1fUk3P=yƗ 9,slM@з!X_2i&r\H},Q?hTQQɁ~,FO=&tP=h8vfC|G1uN=c!@aY?)ڷ_F09~}g;8}B4V".{ /Sƞq.Lbj