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   Q'  ]/]Monad_Memo_DP:threads=8elapsed=57.579cpu=365.353gc=20.118factor=6.357zXZִF! ୺]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&Íqt~pn1ؠBTʆ#OjwMIoU|?NM.59me/p&T <^N/#9RFdY9S["rirت/S==mݪbmG*ӊ-Nӷ, jFV66>go$|MW<1؞F/c}Q RPl/ ~@{h)!x} Ls9<p^HCR/2Q)ٓgke-mxb׻Rbǀ`}h^tVAH:bB'NG*~ hLˀrs 'bJDc3ʭJH_O&>u>bl[ Hd?8GAEm>|>@T;+3ޝE9eQP2Qv%o@+E'Ԏ3Zy_qmp(v޳<=C255LR'*٫⏢fHOv.z[7,Y͇s2|ȍOvUrO<' d2]3N YժfQ9NƄK4{aY4ʠQщKI߃մ#䯿wQBP07[E o`oCiՍ.[7Йleu W6^ڛѰɡ]n֝A5/I׺)J^=T .ohR[YVn;93F@k{4 ˸]}8‹TԂʪB45 dDq$oA,XmF%h1[M=(Gy"qkӸ1 S7[NĀ%(?o~0/p}B(>-kqL6*<$;dAtէ>wpZ#.ˏ}mIJ[ZQo!%$DhsXLhcbmi͐yL,0^zkO^PvfIT3>Ji仄K}-ܡUVA$ dn!P:?PdgQ3SJߛk_seu`ҹĔbZE1g STHp( DI?iPftJ7) )$qo Tn*wOjti>x`5J]#?9 ȃG|3bcZx~:mn_d|n?)hNOG.DQ&qVȌ7#Hݗ:; qYM wB:%j›93xNԢdPsRQ:Yh-ǬM"e`4CxT /O5!H>|]͂+So%ϡ3- ?j#z%2 qgB4[O(ʬ sEaV9޻\iO'[hClϪ" ]'N:%ถ27W?D ~/ש&P_ype}ިԵhФЎ*d g%matN"YL'dy#Iy3ɪq!U-;W9~=c  Q<;c@ b8 _3NK gftIײNx2uk垱IVld /GjꯀZc,fkY.N"dP(EI+"l$#.jOt+WVrEQo [ÑIB<=z=9 Jp"XzQ t 5y["i$C)6icmJZU1"PTn]F] os pB3sw49/4 0D Ld/ub?q{r@ݬ.0 +%hku>Z2 &!j/ 7%߷[w $? L_\ۂ5H$N Z %QJg&9E8F{|_NC#b&3f*cEHcB(B r@9RJIS TITn_R"LxYsL|C:f z )ɻV+$Ī 3 km-?6u79vD0KP!1f\ wgf-:`I f,|[DAD lH)=TZl]+L;S; >fRT283IBKq0pI>>Z<ؖ"ܿf kE'eZAiB9ld߶+/*F" B#-TDgYZ7zXZִF! ]ŗXiɟ|E\Ât+.*aphG)%uG%uwf6:|777}0l_sTD@҅;H6*/)ŜlofRG_ꎚ %]/o .ֿZ&ѥ]K,U)a/sY& VL, 1|$'dvښPGGn6 H0G $mljC3\:ƒԂftK6lp~vEs !pC6߿%o:tKW$&;Һ2G,N7>!2M2G2;Ϙ0S|,>~\"ʁNqf P"٭rGz`$ϳAzV2RjZGS51!ZB:1EEQRnV1ggoDVcc&diAT~3lYTAK.#}[oifdl)AgfdėZW >\_R%BTa3WܖJҫ):ێ1*͎N  ]M:~o -Al #\UgYZ7zXZִF! 0]ŗXi%>tyYXQdo {_)7mEէ4<9wEd#NafLCJG<暥t`$;F2|_Kze;|WqXqq>ju{h^|c=i452ˀ^Eå7 ̓W4oyn N)6; Ѝq4191UWe$34(JoKs$r)Bq;hus@ٛѕ^409%/;)vPG/ߟtX mF63KB6 y`mB3?f&dYP(>Q?&sDjY`S7^q4C"{50p0?)+ԕ5y1~" 70席jKL^1C e0FΎȐD YÂpaޒcd2,8,5d!v;J-'Ça|k!O6DjM,t"czv쓿(czuO'#QJ yJE[qY5(j ~:^VϚ+jS7vP?Д`yn"pZmN6/osӅ7MYC0٩twȐ i.V>[mAƃ1GqoJS! T3Z/swLj!A~E/Q\PU^IW7-3Er%oJPEԌ1 EdQҹOWމ|>T|jQ<5(M׽PEݎ.4v[N>ah汯yJ EI'q0ᦼsPbX+u/ltU.KVn ~Q-XndHގ;\EQ"/Up ]ÚʢB 5^eBc^wL r+7z\~.ymZăNΩY Uԃ 43K"wvd`U5puđ/(}ͤfY|wW*z[ցAR|J>lS (,zn==9whPȷ~1kcJ ,ӑTח0̃ kꔭ8Kue_\n47p;jwC<~ڡ=\rjWsgmZ1f[:~^oTXk 3aj/e_թ..'d49cs@ĠIԸJ'FR%W HsK5n 4,o H"Ǟ+1dO "AHr:;叹V%H۝Ur[)ȇMRFgJoԼxjnMc}q'_ny5ު(ZkNZ>yi10~m4 H-U %kth"8nN b=r?ůׇ<ޓuñwH[T Z0'/g/-⣖(;,}bBA)QG6%Nbcb(m#`Y[[eR;lҬnXRfiu@7e?KʪT:g0AɒʃZ<1ق^;F[KYwpM8 cznh&\]zXZk2W)CCA !ꥅrL{7O}Ԕ#{zUb:lQk ͕5jVi.I/K[ rbGSe'k탱0P!c| sRGKKz7\0ٷ%\~8n!!&x2yL68Bq A)q (LXsSy+iT8?c>Y%Dzk'Sfo[[(3R_Fg%Dǟ<؁t0_:Wk DXjh{oeC]FȃndE \,wt~'%:W6tv[#OU~Adgd!y+]&ɟa|<*a }@]qi _O5㗲OC$B SS^-%34dٔ5B]ȪՈ?Jv%S;:8IA&|#^$1Ûp!m6a` T@p RЈfqFp-u@h^ ,D 90S> 7ETSg xªYh;Y  Ԥ97[z. NH6*#`42U5</rosl3Cop[ CUacY5J4Πl$RoEbcW^GTY(Φ9Z ڐS$%ݵXâC4G o<ˆQ( [*~ %~Z g8'?_ vNҼ%@5Tq š"&bUTeeyw78 Bh^L7!>i8 p'y#* ,̬=*Lm;0Þ1[be /wSƕ~nn']/oI2Ӵ]H.Z:ϒ۴f@iH,>vL:Mx7p 8* ~lڜbWN :hj?@$':dJqf. >s^-:Ƚl`8~iKECky"%XժOMܞ 3/޳N=!*߷:o[u?!Eh2<#J⭈j4ÛE+45]u͟ʙ_CIm 'PeȲIkP193qzJ5rL>%dk7tz ܯ 3_7aPrޟuKz. VBimφZ@_V̭?;Ş%5_@=|+ _ pz$z!chD؇D7C`0x$BE Y%QMHzx]o3}툨 |qk Gqـs/&ob<"+YhcgaIO'(WI<8s"?{mLD&Og=C/~7"ĂUV$;bokN2%b'E4Dm,Q ^ܘ-iO0mi\TJ-#{&T0]ɬ|&!0\6.)* uCvvV>Ɉ℈?)-H2mG:)5AVW&=~ y"΅"݃J[-'aQZ 1j@B&a3ۋfK 3ДO%"kDd{gՕg P*) O۾!1er#܉UUO9 0tP6$/ݻf]?wA]顱"F$@G5d#dXDŽO-SN@גjl,'+m}}0Z; gH(/t,RFX*SrY{_`HFΈ}tNO% 8q__ TU-gorl{Gk`dgKƙb`&\YM`S(MYQMVQ)>bx4!]>DS,C~u=,?IJ ,f9.j %psfWSOuc` 砒IhV礔|Pj}^C&)5[e8HU( )IadӸS| ((J޹hĞtr?kҸC:Ʀ$?M'cһ| ]}b82ۙ23x;vaPVzQ~]`^ ^' 5NGzx 7=(,D=h֯J޵.Hijx;oRtˬZUXc0GN1ZIW e1A5;2e=6?p?᷹)6n^(FA8l TP {L5$gSrG[ed/tW6nHtb͞q-6{4?{ǯ= OɲQBp^8Oh~=Q +ŏlYvA'pߘd˓ f%)zlD + o `MU|ɬڦ3 :4n[IV޴UF+M(DiI E~!Zb>O;|S ~S6NgR'*f߫/]4v$Iw}++3z'[mn|J{84$a?۱X{)6쀱gYZ9df6f9b02424d1ebb3ffc188ae2fb87553c2f28bc58d21ba3dc8b698b4c6d36f436849048b45c256 c642f89151926be6cc7824e0701f1f7d684cfe9b291d029660f91c19014d8517586172f5028722d0