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 pp?|$$ ]]HOL-Computational_Algebra:threads=2elapsed=69.607cpu=122.148gc=5.808factor=1.757zXZִF! 38]ŗXf1-q恈aldC>14aUW-+_6}L{{J>5kU7wajQ1jw۾H`w+(D㢰ߩ6Ww"|(O"#DqΥI"? =lOyBDBֈn4‰Z\'0jrb>9"!;=YDW?(0la)9]4SAޖ?rDZ:^]0g4 k7oU'"oÅam #/-cnQ}OZN.h Cp$B^q \/C]O,xFnl!ޓLb[WÜerbp4f4DBD^ˆ%jN%̡~la)Ls<S4\=dXn2s8m_h}Z)d 3~R QXe*: Da[c`2gFԛrCrQe.ujeSPE*9lu?ș(rŬMbКI5BUc#9[h#o?Y(LU9[(э.Y\Byp1cph=޼v  D $IgyK$+䇟`'1Ot*n?1xy ҺWFިJ`Tֆ8W~!i09~k0*fC~2 t EWWYעdPmaڿNߗoJ,Y®Y{Nz:t(HXOֲ[{?3HUt8` N=Ap "ǐϖXM;B 7?=B2mTArTm)W_$ m_V{o@B2)pat,Ca1L1<*lj&hkG[}WX۠BQԧ@D 'RKːn $k1R̍ r ـ #`$l4jO[>A<:" _W_\- !Sv *LDQPMjHx5ۘf7YgǔR@i IFpCWoNy.ߣ;yu$E¢Z{n'igUϯB&iPsF.a(4L=:¹Yە/)Iyd`* : gDgYZ7zXZִF! ]ŗXiɟ1CwSJu^3+aZDB}3u T4󴉪{ly&zgiЧ]yfҜ4(("jG!+ƻ;C%/#aEHv'H|74YI ? HOL-Computational_Algebra.( )gYZ7zXZִF! <]ŗXi%96xE\ =mqXdǺTjpl>EY%Z;\Q =ĭ}H.Sͳ:ݞ{gI53-oW3$3$v, Qj@Op GǗ B,2ͧt{`Ck)4!Ӫ"LzTߋV0,KN&cU묧}S ӆH v#]M軮(!Y/Caj{_,})>m؃Ԃ/=Ehfe ĦI46A?j?2Tf*}TrӷwH+ yK?(7f&DjXr2rp`Jֹk8n;ϨQ<!`9pP4\uY.qi {Ki.o->|Z 4*ā,IjU3ݿLד: ]M[v8-1 [Ʋ4/b/XT,hJ. :M:F[4 WlL'}-JYV vRW Tr;/mt6:!%EZȝoM i:0w~07Et"%sm㶠(8D QWg\Z}/%OH/\>ùOi ¶k5vۏ\Dz6=+WT_VeU:KWƔ2拉,Ly$F%V/5&FqVAI'ߝ:a9x8 ԍ}eIHZO~ 2oO/Q[ <*B}v``QHHdyE!Nnf؞ֻ,B;V-r7v$|H4ӗ[ պc~ ڎ_zыۅ"sPn q!ED|P웩 w@cdc(-%ؕ p1lX6?.\b;A|_؄J:J}h.Z z<xd |Y ӹk/&cqil7J#BwbϘ~䀱/qBe== x/[:q*ͻT[`QV)fV:r:%(UcQoK0%( A:PlQd)I 噓c+MԲlhL E&J~g?Z?ΐ17ZMW*>q|u[־0u*7~~G #tq$ e g")N7%^:I5 IgP=I<5?VLL;/ؠ'uVv{iņ@q?!nL(=b]PJprNJmXeX焵aگO6v#4,ͤ׃""pU Bl$RXLN.n?|_'15jc +jM <Ӿ OHrV }LVX |҆/{ڏkHWO_ KwF;㒄 ׽;D8y&f_h@7 w|_Lu7P \ÝNX;z%p.^(Udф%;R7}] 6Wl] Dp/ \nѬy4A u$AQv+L[Qو JL OOЉ~W4D=VP?a!湡 J|*lxt.ƾVDH i;YrK D/ʟ˔zLG:!CiCZ?J!&*5x8V,W*99YmMwz"E&$$ 9 ub×w#j">3G@8ʄiyЌ6L&:)Z/HB'-`ތ##<$LL9Kud>cKV9ߣ nRk7xצ {Nγ) hJLHuk u?BY!)t~N٬diY="b'AnqRu[%jݡgߴto; 7Z?QKx_AReI;h[mhVqp)e'v#e>#UE]Ś\q{(X~Ҏ4x(4Yw!N|W0)'~s%T:&8D8g{;u_[%"OAkV΁|# \l11ߖgto*gCn՝ƳFFc}4^%)gW]&08sJ"uţ lb;O##-:^ky[V dR?>.+wf_)r~RLjz!c:JeJ*WpR5ȵws ~&fW$<'#i)l;C cOc,bh2G?Mk}޴+9 4[S$nrA~*X5y,$7<z*\9,7]zk!"xŹG Ǜ!RU\ؔG`J \?va5jzk\i$J8#l/"T?$_6F[ko*