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 ^7`;Gؽ8nt*q* .#lw gh,jHQH-" 86UL_N:Z1`^mleX<8Xu?&G4Qߊqo]1ߗĪ+ƱuFxQs i q%}eFd@FfqfdV3rҎWjW_@Hs#/E'7Kcj\y36%vjXdB;vMt%~cԥ36.?|C13Q /:,>k^r;լP.r1\莱D(k~ą[?_qEbEeǍ:A)yCevbRoӧYo;N3v_g3+"Lg\*=gٙ@S!b}G!Uɡ{i3wijBGxJ D_z$GmpI6Qb-U0{J$h>[<>>3|{8ΒҔ0ևCfk=C(sc ]F呶&Bhu xѽH>څZ\xxV RTb[QN> +*N)\ެT*FJ zR6 5mDaPG%o\HNWZVLgn6PJ^ 1qn͋'u:[ !${pNa5Rp]F<]m_01ckNA%5#.\c3 {!HǦlZ6=zza|qRG_LD7_`&;4۝G|?v"1?X&dy7zԄWY5#SOkHO'6`a9+ɍ2!Hg,ۢC`OO?}`dta Shi$RIء): $_jڈuԁdy7?@Fj8rV$;Hv|( (}vsXI8"D/ w/}I~cfb{O.ƙ]qzטkxBrܽ3N?WDgtxOʹ%'I3 /D+DM0쯀Zb;|kKZ)9'W1CڬG [,gYZ7zXZִF! $O]ŗXi%; iN?,07l?zBѹnlR !k}_Ԏ+.LF<^h79gvSXfpf%\. $Nx, }IT rΓmJ)ߩξ a5J&v S0RZD;K~ߡ2*sT*6{x;ڧ+2DT FO&טC&amBVRRBWat^Z[l`g` i+¦@ʊoel%.aCË7yn̢:#PU--=Kg@Ctn[deLbq]]hC;!{3#Yez/̂/T_ k إq2{!LDPr.K:=ގڋפOx}o:Z{S$T,ܙC#~)Fj]SC7#}OH -Ѫpͩ|z;n8Z[DS$mSާiy`_*9zt&DK',E'ҚA 'n¿͠H86n?Вƌ?ξK4sL0bH0S^Z+j hqA-_J"l!,8 OB5Uq2)4'ϕՒIeı.D$2 aWRݯQz`_ Q%,v-Z:*q9"7I)M,ue[Q Q/Y`qّ 1Qմw*f)pY[)eKv~mv{1";0B2 S+4VJ-a& !;/RMc{=TɝRTa~yF9a < k'sNF} ɮZ&%s+ޘ|hÚo >fh,>b1"?0`Vo@AٴS%_b=Vag]Ӕ^iE1'-D2 ,8@rYNXh<]fNK>X&]KI~+:"WVy X.˟{M4Ve!)\ ~|8p^sL\f\$GKBr4ȗ\kX#]䪖yi,N'tHx  qfhf7 Eޛ~=y<OqW_JAZtB+4#{ Hs_bUD-*m.OW\^4dxzNݸ$$NXtu u E Kl5;IUJ;Y> tR?ocwdk<h&(ʷأ~jCz%B gfU,B!pzhl[,硓KFf8,e۴(œEhjf OT'X1Z$Q)GcL=}k.:'n/q?2- g遉Sp )kUZ>׭(蒴wQi9tԷ>&򏓶ʿ XnRܮ1iO#®ǡ@yOK,++ F0fdo4c:lӧ}6n}"/]Xđ1Ʀ8mF r6Q~)CVR]0Jkɘ#TW v^bh'iZM#+.| HG# Ԫ~">~u?U˞@\GEPJG㦎ef8w, DN1̾ī{I{JPVZs C)wEW.);G:]Ge`]-RN޼oZt@e|C8WMvV/9.f4>KEV7jayCN/"ebD;KE*Dv#XzI@D'1 ᑶ~hj7=,[)04 dsQ {׃,Xa* ő P}H}3,{ml(خML:HA_e4cЌ L 0J^Hض26I^[a8u ]nbBτ>17E\oqN9>8Mw`7I~Sq)f-̎wN1q p:qyy$Z0@sp 7,1/u˃`lFnLnhCVWb/mX!zD' vj CwKZ})AYu,㛸9{[p9pch{n$J_jZօ8Gk&D):쟩urD9L'ɫB7fI-2 m 5\D|VVNebuȈMyLKJ3m(TwɚAMzϑ>3A[Ggfy0c6R [97'Tx6Y-4eąlcN*O)6e48 q)sL%ryfySpeݺcNL<MZSn$RS𵵄J }nm [-DhErZѥ  ]#x7[qZ<~z#Cox,4Ii%ӡRPv.A4G2 *NڌP,c3s߫IyJRǧedRQ}8u 4w8A?L9]}9a>vg{7o$'찵10mkDUW89-TWEَ8S^c^Ha~8i"X^:yR.j7Y0P0XTwhV.KKRr[ b AXJaA> 6Ioq#ճ)W$ F)C_3ޗ Fr>{$Px_>JLY\U.Wmč@5;Sw~iZM@A箵(uǻgdpU~DQI8`9ϢNq|+C*.C~ PͬZ{ۆ$ EԆLy\T{Q@.Gr b_dFWzLC ۄd2:/**>՛*jRxW! ]xʋK\ xKa_( Y$ J4:ˡPc;YAӏêT1 MtʖgKsrA$3vx 1ar:G-Eq̥oW'-[3#aUgK'žvK-bD_2DV`a%-h?!4L3h0سhahnfO9v9>j҄s j( J=Oڊp~Wm!8=#>ɯ q_%wB){Y}BBx)[6 7Qm GsFN2rq͐{!?Jkm Ba$8N3Q?{n)nm:9*8w"Mt]`5z']HI{>*R֎";w{!*"}Lwz"unŵoW;@oȎ t Ma6je~ǡz)z13߉N_