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   |tD ]/]Nominal2:threads=2elapsed=35.146cpu=65.848gc=3.328factor=1.877zXZִF! "v]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jjQ] +c̷^ԷI<ύ^`X[ $6pGJ <_Dw(TyRS=6d^B m߭v,V,su EȪPX@v2Z˶k^8꣺XmH5>z0Z;ЉVE!dBWjxru)M 0`ҥ>QgkW7_WVPw{Ocbo5Ggy{UubZ2n@8P2UT   Nominal2  cB6 `= 2Hб{~<4(~t.J6> ژH ]X/˹q9 inR4hb4of8@'VZ^FnBڬ׋ ⻐@ ~55L1`UX[PW))zPh oWvh0*%ܣj A)hګ_'2Pl%Q=R'?H-aӖ田zvzT{XyCV#>SB(:+AB7Nnf}l~/1 CZ& t$6E8jXO|Qu:G`ɑcRuǚLi (xԬ-ij{Xw#!Q[;׆ܦqD{/#O6ʎqIE 4 I8DuvS l]mQ:-QJdYR|n \ էɌ呂@Єf rBh+Yu XmfS֕QmlaI1iӚT>o%dCy�} M4HERl0\ KhyG N4[_Uy?PHVq!Ze><ᲳJKJbe1lre9>!^hVO YMaw.s)# q"R,-_<@e E' E'qgYZ7zXZִF! ]ŗXiɟ1˦r.Hil c`1X14 =9NFnk Mo1WHXk2{Chkf|gz ϨY~ESzS&/*VF5 ~ӛFbz}li|6 !KƑ㒟~e ȕ~<'99H[f`Nh}wW>07l-Uf/@C6M>p. @RP_6Wݲ~*6l8vDWnU6/XSQ$3w8UNH yF,pTK[mq`72gL]x$O *X-E< sST%#xݟ6gz`ήCe5mTiMpS'-0MAhJِF [,RHs. PQYB H|6mWF(Rqf {Kid"DiG̎6mwyub|W`(]!&$Rbd zcb-Pp{5uL&F%[*"66]Mn Heȕ)[uЏؖWP};?*iCMUdu=yHB-+iJRpK{? ^<(֔c1\ߔXZ< 0VCbZ9( x(N(;ۋh,A{$bmq=t7`NHY\=&A\ڞơdZn]B"ޖNm&D"ͩ{bk#_|!lc$M_|0K|Nn60s+mM\+bbrC2*K:!ۡXHV8z/ #T'~YS3!{j LB^~Wۭ/Mc:os[^βI^YG8cjkw/yP]GOHCb.ʸ<}T\\@:poU}o2!*};&9&lxʖ+LKFvvkt+` I"6;1`lDv~k5ξ``Νe^8y2XD#ظ& ߖSG^aa'l#',"/ x>7S87td}~Ws`!'~{}t<9KӨ iξ"(R ؏9jř|gN!?Ftbl5o}e/IvhX}K$A{eGY)KГ: ?=!j4?9Ocd_B:0ksp~S`'P7:ȷxCI}.9YC-IcmJ/d0kg-N RKU;Xrm9:VC%/|c_8aun-M;BŻu^{?HU}O'J)g 2WspeHcjo+oîQl^Lz:Y(0EówUyԶ:[o[0ԙc;26X}Йª"4RƝ-WP#6 U&JZRD#p*an"B4@!{hE :5[rQ!XݽZjqW]PR8GA*RPM[^[ϙtEB鿉A e%T>#A?c˿'yĖ~#15g[Ԕ_ # *:~dGpH\ґ5XdoD&GS5f=wLւ2O)14AVC 0'xn1Pp U#T`|{$W50<\Rxp :nKRMu袈 {@ wnK22Kؤ/_1, NF If/ ww hvT5mKnx䖩(u=H<)tq=4 d>`K>m&)k.&H6*$YSiL^1(Qy ¬[EϸЦf+3M QS*<66#{[:Uڳu{yUJgOӎ}sfqgq:pŗJO_&7s518+}P]'Y~Z`Z"$aI!BL5àw$S=\ezIgZ{3$}Ȧ$G9gN^}V+|Z"0s;¬:8L0ڐA esa#}$?jI\/"lgYZ9195b5ad0a56747b0d4b5a75fce58146733a4110a70f3b1dab78f27422c2c199c67ce3165c51f78c b7ea345064e6ade7544c71fbd991740359381db86df11f11d9cb2455d0b16b7b7908e462ba5b03eb