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 - \4< ] HOL-SET_Protocol:threads=6elapsed=20.592cpu=90.300gc=2.728factor=4.397zXZִF! *]ŗXf1-q恈%vA?'GAq,$L;׺N'nod9evE}2TAxaЯNqg!/ʀl`-N6,1q<Я5w29L44 \gBkLF\E` Ī+o[C*ÝrD?ӫ'^ӵPL TmSbyWGZ]MmI "Ȗ%Ԃxgė &nf ҃Æ6.5hЗ "g[WtN1 I6.é{+ڧ7q gACa ?{b,`T+v;%r%g(UP@$[Xm< 9TD>xG7t'/8BQbbXEI)jhS &.\o / G]{ *%9 v2N/Evܦc^d<좏dgOφ}sn;FW5ąTh*&RB^w2{N5ak:͑ u&R|SqTaؗB&X [Q| ]soώf4~ Xh}vѨX’W|,K}X"CgK/F챔Ø'L'7Icv!r#r@/V*yVFwlZ ^XtA/5l˵뮾Mt0&w.,ma'n%ZBlrŻ(miaPǫSY2i >[g5kDWLf*]xq};LD._mg(D3BMH"&4N4!bUtD(N4&C q}*dKAT9|Z)MᘦՌH*Iq6g\Z.WJh]*ɼp^U*gYZ7zXZִF! H]ŗXiɟ1$߆tI)|yu|fxTcA+00=Ɯ`xr,R%ޫVGY_1['ժD汳߁:1za$&~N>2*hL Pb<"xJssIz_3 ?ȵp<:$EyYD9ݱJ$ %Y si??qԙe2(%/obP_6KʙGR7<?,Fλ aAQ@6_ef1_qʨz 4u{ؽ6&Tj_,pڏbm5 ?"I&ӣibQ+qfoTv^*`QrO⤿L8z:~kHeYIj WhFdՊJ4tV*9Rg0*$:hiHEc_l6 b7#@YE7pvҙD.ZjF^că,6msdL*T8FYxTDGds՘Yvds+n d≨cd& V4D7 NnngO*q#2B?ZDXJ-`Yϐ\-Nb,_w2TQ ٨.U_ @Ma_=y:9X >׻c֑h"`E!30bz-?r[-P+M 3z->;Ј2ËWq%i 9WS@.ק+ !h+Q:$ ?);J So!dRbĮzj#xr-No2$k[p7?lrndAͭxDW2.*8tw'G2^B7NDT^oFL{N > j9rZطkT!9ltPo/LS 1FEgtJjO9n2U !y/gZC0)U~ysKw`V>A6ݕHvPQ& zX[Ѐ7M"6tC>-ZO҂>BoW$U Lm3.QJw'$pӜ㸰PX.N\)Q) b*yDJrJqROS$='ʔh*T R@%VӉj!AyxPTv/{NeO?vF848pm+%% SLNn hCKƁix

nC˞L^\y<DŽ]4a^w I;ۖrU vaNsCHbw5^+[v$ 'o%j^%Cf'7iJ ]v@v3qY `(TVx#5eȶi3SL bRZiQ $*R*Ƞ4l3Xg%xkP1=l~H{+W? zap@ {eS Aioaܻ(euJ{Rb΍s>/R< f7l