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 L-44L ] HOL-SET_Protocol:threads=6elapsed=25.444cpu=112.504gc=2.728factor=4.427zXZִF! -T]ŗXf1-q恈%vA?'GAq,$L;׺N'n\!zDûh8iǩ;iM<#"Ye엎D񆐻2̖h.(.Ħh@7_X@VԪ84: "u)2[I(M'tF#`w UA4)A1xr'? .;z%eO#|Jo$Ww_K]zV_t?dcwzWVd15g!^Fȍ0N%}JXj60t3 ,㮤g|:۱G -f) - HOL-SET_Protocol  Rګ:&M Y3ʥ&o>|j\|Y,{ ??.OPf7YlEase7;gBbhF ƏeGd//Rxx@c gk#)kk yf+UGS$ )AIplJ9'<}cxR6dv;+ܠ&Y7ˢT.'A'c.H*>(bu4xD?98Q5o'Q'$%F-E]x|$-j{Si\{d%O>6NMA5]O?TOi/lzr4>GBWq"O uEw OZnNgYZ7zXZִF! H]ŗXiɟ1$߆tI)|yu|fxxߋG]ϸ.ZUbʜE~(Uq Tr#m%6+-Aa┑"&X- 2~|, ݽ)(px=4[ \V6_{aXu#pE]j?G^κ M9ݐa䀒={z5}}$$j]kgYZ7zXZִF! # ]ŗXi%Bie_^a U骛m9ٿp/+}ٽ! IrCV݀*jDp_ڛxXQ0'kR8em_:N]a\In56O`lbiHG03 ?)EV-=+DשGq .MJfmvzًx`?&íroK{$ p'zKT=HP#?M< +;"Hs{q]~c.iѦrP6F|RR(JF Q1R$0414QWYnom #j3SZgn22z#ܮR@ _.5K#+DP sʅv9_ӹ%Eݍsj_DK+**{D*{$ 8rEạ- j TD(KB ٝbs>°5f`׬Ai"}:.1:TI_zMVYIeN?:GhEIuJřA2e a 6hnXOfln@WPms=pn1VYvGkm"G,$xZ% [Bijh\#anSB'A uEȓ7TPs2&9kJ,G}ro_2c(D2Cvhs lkb&Agk{f$gI~b򎾋v"# eMVaW B ۠ÿZ^|ڡ(Qm2/S@ȏ7$-0671hy+ǭ.ڏl6#dz?A;PY)uշ iPڸيbKj ڥꤴ3w-g9g]j^~U6VO&:;@fc'mDRlu:Ŭ" =TRَZ0he}`=pM#(h-Y*#)gW~ 7! /+V3^vH/CAz JDLP$~W=|i0O҆>36<]l%$ 9'22|~/GW:,k/`P-K~ђk-_1X}Q[ OGW}FhC6r³PN?1(mY4 OpM$‰'¨.y jLo"Ttvq£o`t"#,10],I ]`R:bٚj>p^)+R>NQ?L%!SlcAl]=>kd!tm44UjQ<4 \ 86@phcz|pdQ3쑖n74X@]yްvXDGB<ݨAe7<:^lK&1 o?oNbsC(&{-/A|?p{EWMOF6¯!t!EU$.3a#ƿu#ϥE{ݘ _Aˆ_u1\CNMm?A1 annfI>֪h('!_pI6qeV\a˰"{Z;\K߰L/dȾw^ǹ`PNڦU^X?ƌ9l2~j[9d=#ds)s^ebH[ŕpL+(A{P)Ldh]؞.][CS\xatfà[;HVk1k16 <#jt>Yȣqoy?am9ݿe|mm*iW% 9R(%x(0Lx#5}ڔC މF`EnQp똹c 84bfVᲶ@26 li-LX,U3L][iH*k16L4}#3'?< |*/q#H~{0Ǚ_M&v+^:>|` $ÈØC$|W4Ng,|YX@A?aϳQݩ k8 ֘$_}_})t<~-Ȍ 7F@_zc%y_d_2@)92