SQLite format 3@  - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 > T< m SuperCalc:threads=2elapsed=48.716cpu=76.424gc=3.384factor=1.577zXZִF! 8p#]ŗXf1-q恉<fUZ$d{s[ Tc _?aڷLW&QCͣ/?ᇠx >pVxBsg@|jm&͸((<E07?PJ3QYI9k$rI% _VmX[?+ 'Z4ڡ]/MHp \OÒ/Ԣ8В ;'\8 wհ~ddo›#axN` Ih*)G{{*rr+ xT+,Z9/qkw1X0uӔEJ[gëWf?UTpU˄~H*n5%n]=2Dcɀlc5r!b #P̉ ʴ̱INKK^nllP&NGՁKXcc*F@lT;Gd!A񪔘3nۇFu|/yADҒiHB=af ?b#]a[?Ą7RbK5H\ٖƳS3HW̰F!oqAM4/   SuperCalc-'h _ SN^kȥo1GS!{ymiDTmVڧK}B_hpk~K V-gj>†xM^rXjj"Z68r3A"s* PUײa{,#fۃgI opyݢ*ppDOY|[&뭸FxӖ01#;P_q гI~u15djm$ o4U9s2P]ņWHH>ϴ5b {\ToА-{" z.ɮe̫"ҡ";$:g/{Cbh&)z`z.#YH`"j]q%z7l+7ĝ)8=鯘,jFF>^Iw8XiYtvX˗7C$lED#Hk5$Sk~+PGo1@,P=6 <$M8Uˍ0򍼬B:C /7uz(V)+\7M;X^J4JYrFz%[}_Zq'[ 7Toj}K{Ie 㻈_G` F0}] |bhj~х0\!pQH!@=ֱcWvrTZ5UúLZ [SjI|ldJq.E:ݡ:$Dܗؑ6 rKuwn>}*"I/cKFLk8SmRNcu#4Cq;8bp(:A=9#~饹 F7I9s}ut6-j4c Qp66'c2e&pbiFF5?~6doΛz§τMOf;ĵڈ[v,{q!Fl㦐wB&:l~ٸꝮE^J| q6 m$Cs̅ke+=&[2C}R@!!_Қɫ=v^ܹ1PuTIZ~>FE Du4˧dg lF0=VXiGO<%s*K}BDrULlgJ 8$ͩ>fOeǮ]Ѹu< 7 x Ql^d`#y!Q ]9 >uƢ5ۆ!_E9%:cfpfeM3-Uglh᠙>$I EvGW' F$**AĴ229z<'>ǭEUA;E+.&:}8S;)b',EWݰY5 ɔx:/9iXEo $3{z h'ڴ~Wn=}ZH$ :=*[Uks3"2<{2"EnïS`ۤ(M}@wfR>BϸN[P_h{4Oz\N~pVoJ ьjhӄ[n6wDە\(*0}ʄ*8Ë}D8D tȩ[-%}ŏ{<#}Dh0V c`bH=dz쌢T":ls%E4D&0VdܒʶǷ+GZsO?$ Pjb}c]L<-𽮂\A} adpȳVh}' |[k[Zt\^X`Q~Q'b qfe ޳}UVf;+q215lӵH8kCB9$"/hjO8J+-+?_GN/ Udvl@tꐸ`$Δ"HCKU"t`@Lgz ׆6*?TY2-6b}lf!T]AGZ=MX$" ݬ#FT Vj Rlޒ뫌NG6*K4L~NPWkqHsa;ފ1~NXdX@XȔٚ},EG3gµBhUvڋd*\/pw[ϙf u-=g76LzJ(4ibi]8θH|%|?U:;V"Qqmq? Y>wp}5?]Me޷iVWLmguH&YvdHݺ0zECePsA,C%=UV ӗ\J'#ʘbѐMiǧמ.U:#l΄_K:jbY:0ؽ7u-{"M\nrk&Ht5No~~˾Jq_cVwSwfX]3A%j6zhPxAJxۚhlŕpMPF#x +6x FXQ3/'Ȃ -;h׊;sGWNK ZC4ox(˧ŇnULF;yݞ+˻dx:˚A+Ӂ$-fɠp_H{3 vq4i| sGrL>^ΈMT`pA}iޔ|22 ,:@7If$"۶A,-4/s܋)a TGjaxx9[b8@NALhY'@ټşr.̮Z ɵn;-kxچStH=OwHKTJ ]z}6/G_b*?9t-%\41_;ۺDCR=#.خo`*s ٚlyƩEW8jM[Pݫ=;2k^5g#\^Gf,Gk+iI{XNw hαw f40яVFήkɾib[ 1'jIK1D5 SJ3miRZzii>P2o*m:_rਲ਼JWz]:b׎~,E__בIɡ:2A#JJ65pp2 ѹR !xYJkjWU)btЎ܍b{ng$tʛ jHU ;!4瘺U|ѻIO_Mȶ1#zgexxnjv>\~$OrCJzb"R B/wx һxƾdGཾɉr\ YBf#g"(d"mo5bPc- H.p8 /[ SBZd j%bv9n;<ً2OA骏,F-@7u5Y~jc8xiM {}8<{D'g򾀅Wc &"nx>ĥBThvwNE=C[ijQH4ɾ1B]%DG62")lXobNGʐ  [ _JsL,FLyC|UHYn0n{30l`)D=Kvm+oKGJ0c^ 钯$PvccP"hul {} ʒ|a-.e'-[s"if0O\-D2 XVۿttfE*GM Vtw\&Rw{SN XzG:C4Lru7NHh.SS"XӪ2\oRœuαO"pS LM+2|(P+ YavR3yR=Kü-$5Rkz1U7"˽< #PI4BTϕ 2Oi-#A5:ЕjK~ͨ̆b( xkB #Scy1iۏ,Y p|ԮcZS]LNkʫh~3VDpJ{xlTa|a7RȲlѓYOA30B:ʇ$#ݝFwÆD!k ^ؖbK [o7@ ;HSbP8OW5Ŏ(5pC@qOX7 ҄4xZ]V$~hSˣGWdba֭{= f5Qք.Q<wdY{`GwM DwLhKU*Si gK%.*5"n vX })_O>9h7II5{ACOBhu`!Gt-i$zuw Mlk{ geav"nkmvHqR0KPdfbRaΓM@2}Wf˪oUS3I?5C Pg,t"m E6"6%#&^9][`\LgZo;MOBo6kw`, # Hmqmâ8}I+4vgzo|ŵSׄvپ2K b$?X&.0MzOf֫p g.>GTf-R2(])*KPƵ)n1++c*C}CEu.0J4 0͇yIk;4{_SgYZ04bfe01e345b1f2a43165a83a78daea05b2aa709 31106a059b9568a10836d609aff3adacce347b53 393b349f932faa5db0348444674c07434c4816c6 596bd40998c29fb5fbe86f1fb0b2d7f2aaa064b4 64d1ca5b0f247c8bc670a248b50bd1bf005e669a bab94ba72219da3731355e4dd2b2cd5141e0cd06 bb2a4493a377b43e9da6df97c8ec495900e2f2ad c1e44491a2e4be2b9b8b8411519fd72dc6362558 cb4ef2d7c92bc6f86abf071b0a6ac6dee8bb8cdb8c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07 0421e1d9e7fe672cb0ddc4007aa564f9dff1312a