SQLite format 3@ . BBh77otableisabelle_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  3 T4 ]S]Applicative_Lifting:threads=2elapsed=34.400cpu=58.304gc=3.784factor=1.697zXZִF! Hy]ŗXf1-/6vRZ]^IuL` l^ϚW hxk$_I^H1c{A^m[s0ܦҦV!H<8 v$"d[@ts Wmpct% By lLeeBz[w7s0X>>`qʖ*y&vCB\罜< 4€+DקigX)FM_%a- iPQ|N.3L:)Q6S?>&;—%WwE Iδ(IͣhEB4Q8Ý!wge{ 3 Applicative_Liftingbk'̉t\"$̫?'Բ-c4H83JJpv{1k c&Wj5zJr.2* jJ,gúK=G4Վw6U&[` BׯS7_!RT+H?Xj~QQӌ}wN{v'o9Yݦy4b @v*]RFTMC]2.\$<;OE!;՞>dNǼtp8 &Lf&'&n_{P"LwiҭxoYPdܫU/: }Q{Hԕ: |ߎ[ 3e"CEVK e,v*JT&#{ <`1 YlX^P*D9 L^m_dodpe_}/Xw 0!gYZ7zXZִF! @]ŗXiɟ*Q?rͿY!?ID(@[YJbnxo%B-r<ze ioǐNpuÏe+0qt]c^&)=y( A}keT⋞^>@E"Դ WP+ XHoF9 E>X!V^6|1† >+đ|pS6;kuYk C4%%PGlo*.-} ?SW ^,H$ނă:Rmg^x5RLOY.05NƇyy b9jG?3>aA.VG :Wq'ȤDICa6:~lcb [LgSmI,h?&ư51gV/z>l2V,0Z}cGK'hD_Ѽ0%.˼e~H$cc奰G(CsL| ochC>ƱgYZ7zXZִF! 1S]ŗXi%ύvn\kA楮+{#W݂= I zgر= ǡ!*y`s^.& olw+s fROBmϸ!/[%MHcy i2@ISSۃuIg(M"Պr@9ކX)e[;u {{ӿԘt<[G?#=ڂ WirCwqF2E6s~I)2Ӏ-LHd0`ՕP.|ŝ8]%[">} M֨mkDY1N9xT{ٞG7b9^>Q-#a( ީ F5|;ەw6r|F7;Ԑ0Us!o2翈' ([9+SYzF:K=`!<G^i-7@,71Eva|]Kv, m V8n.R%$xo3u~iȅt 4Ag~e9_~ED@`$? p<&{V<^_i&m(-\nN# ne2Id%gv,ҥ\[GE026@ĸ.ٽXA .WE̫U :Wo]L1=1ct|2a5 芽7HWJ۽"cWi?.EJ?įaUr!@,}-(q?`,l0ZVR坋<>KzR @U[z0;]pu } 䔮o.ovD el׺p8w4*v3VJm~yDcLl ɬ&DΒko 2:aDVkKOn6U.̔pj;nlq^3q5T=%+xD^!_ŅPqaoq>5Rr.8yJH@JN4rŭTl:[g7-Qj]=X1^{X2yyxm[k K᭭ALr6O\n`>JQP܏Rjwq;ޘ8P. ouOUf|20j&98"i/ʜN sS&] ѢK/![TV<ܦNo慩w52/ܾBo҂/wCU:0} 7(.!qut~-rN?V< { dMh68o S&ϲrA(_q\\K:  5cW'2$􊍗*Qu4-Z\]DS{'>x[Η z(6V[pm H͖{1ז[} wȹX0*c51L<ubC|fZCA Se`znt:U'?Dꢤe‚f7>#_G7.ś(H@7zd;uct ?G#ΪHAST:%?=m3Iv։nCGlb#5R17 "F"Z4̜fl`IM4{sNGwcj{U7sڌL N&6,{.Y~&Շ4hD۞Lc3yb jyQ%GlXW LU^j;楥$ oWx0hEP V[uEWb)c7ҠDby6l kV:AR@L$M-&薹ʰj/nFQ8>aw!+/^S;eTU[:ۣ uІ(z)u^^t<&7p ֣e*K-fԗ;S(#4fKat*#Vz^v[Hr 04lW+у? P` =ӀTE&h2I=;ޮp$O%@Uwyo˃2UhWjpBgYZ2fa0c4892b6c440312a15e25c8d1e423460424ffd6ac031d3e88d65563eac5f02a097b7a1de9a7e3 f9599c72045408b4573575612b1544f97d3e8615 6dc5e2d880388f6ebb4721373e1be4f7149a3e3f 56b2ca276c24a37c5827363462572e2a1413e3d47b6eba0968f33459673c0a40d3d1cebb91f0eed9