SQLite format 3@ .  YYQ77Atableisabelle_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, "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  + ,< m SuperCalc:threads=2elapsed=39.296cpu=76.504gc=3.300factor=1.957zXZִF! ,-]ŗXf1-q恉<fUZ$d{s[ Tc _?aڷLW&7Zz%ss.ȝn72zI3/ǔCq(W8rG%Zc(6 YIej/36o#g1]uP uyHF%ZKi;kbtL𜏄hz!R=fĽ[]sbՉy:0R#K~&4KMB9R@c!tPs۳];L+VBgbI')sDIc%mʲҧ۪rb3 Vs}_9uemES}fiVZ`/#?|Ik @(;   SuperCalcᧂB 寎J7Y{tVB:SHKaYH[ '1:.S?RƝj /nKkjjp ұ $.ḇ0f0Z_mY0 N9# [I.wX#^)axg 1IQmiwm̚MSZ9 j sȩ H"#~w*kL 5"]s3‘XW(S U=zh'َS׏8ZՋʶ;Ǒ\7ѥic͡ԢB aĪhO-{E0WXv'E}3 ʖ 7iCS Ugh%qe/n%G}_b dND@s6()z>oڱ >T T yc{mw&̳A A'F@~Gm1ǜ*tV8 z (7HJ\~7.bOL]wcl10 O1L Ył2Թ#%\d+6+YO8]rHc{1#̯/2nFD]z X۾"BC Ds 3(i6RmV /jAM ]U 2 YY'DZ|f11TCd>vR[6<+$E~/q{wwz0 \z"ܵVf~q n(TP;Ow>`|ܟP1asIqL\Ő]݈mT; 91<ۇg}mz_;oJ&^mijp&з㺃iTY*rFE5.NE(1_6~<{,*yMi9YOE_p՚J5 m=\畵eeqd cۼ GoPIƥ%1KkmDNs#$ \Crb| ?tZ6YRcWsz)Zfbiqf "3QнET51Un!t$Us{k!9ȜgwKz9 :76 >ĝMKCr۴I*bE9O΂dR1yi&1f` Wql}aiG+M7-ed:nO.)8 F$$kvl=mtZ |ifs1B4q.<6XDyv77m߫տ*ras;*%Ʌa8+).{2I=P5̛L!I Y_?]Z횡 %ŭ"/FDV8C{v44 H}jh\+15k+Tp,%gHB4ӋU*7`uJqħ3㹓+8xRj_Y4Knsӕx tq2]HSp7 Z֮nT; |qU<&R3G#NZqp]}Z!}_pq9A/П 7,:vR /Ȗ#<<0cgIJD]\w^>,xa)LWͤMvI~ V>PpcƠZa)t@7/EA7;᧚r3<ӕav5 }%f/9AxvkpPl$Y W3D%6͡$j&\ }͉GkJ9fH]%ejxjTK4&t4*ShtZ[B ѓ*~/P`NEU 00`t\b]жiFK8+oP=ZR!ҁdz: ƫL g ڒ1]sl"HKH< XC.ne;B)zvCB ;0W50gr޿3@) n.*HT u|n"> aE<ظsyjKhnŇssl2RIDVǪ:F"JN,s V[Jj?\[hw۝zOJ8oZWW!.Zy K6~5&w=QPPkv@C/s(=z2ʽ9Op|n#\N =؅Qx?PK,n,攪@}׫s**JằgYZ7zXZִF! W]ŗXi% 7ۢ7JH:ڡE؂! Rf.[u"?j*ُ  2+0҈ӡ?%A,[f`JScIߘ7H`}6FO:q8A\NT0he #hY<'T:Kyo>Hf/FKxρU?"LC,p%?5P]^/'4d:3Ok]Bq{޽PՑ#ȥv)vt5o4fIb(~ěU@*E_ ƗbeU cp?<^#BZ /&U.ի ugF pOVWQLbX&k0.`43"dM햽s\94TB T^˪w1~z?+K#yRͽ3^"6ʰvxCsVaM"!ȮlrN%!ʍ ߿suyxNI~2d 6Cr@b7v\egA"ڴjRq#I3N7ň+qMٽ2Uf{'۟RŠ!rxERCBN&JtE2[ŒF y:V<]9rDn~=Sш^$_ԣҕpuܲ(--i$俈!QL ~]&%pw.Sɤ62|]!zmXuN~ݧ%U1UTHw>dmVӓe s;t޻"73y{?Z>HBW3A,z~gVrNCO88S[`ܱ)ee:v7Z!Kx a#RLANgVP3v>pު:eD"j8 -ϦN5(_t-ke f~Z`oNiT>eVQ~iߺŧ9TQO8UW!ʿj6ͬm~ʍpVْ>Wj +Z en[U|q, &0{˘RHVk ȗo3j[ml=R%@iX)ǙmH1!)ɓ)93ʞj.r hil|MlW},\"f_yOU}6E#>+$KMjΚO|bus70bV)kD5oj&4m2QQX:`^1$[z#\h]ܸa>$/0V]{ҙ|A$@DMA%a:;=DKJԽFenm-g2ꑮ9 v"(JDz6Bv5W9hGGzG{:+76awtfؑ›}Ė\AMtdK\[ ,E0GJ%næ+dWqSEzOF_2:"h){KQ6e_l}r j )`{$IJ ;IƊS!LA-Sm[-jcc"E4a-y|eQr&׷\]Q[JJ|SZm]oA\Wz'fGDo-kbр_+w`'6|-Cin_r\STe&Ձ,"F(#8L84A{~Ix-=W+Uwk!Qd$w'XSWY##,+C{WσTyW&LhXq+U:?sHُ/1"$$ԕ G5&v8n0ڟ,iX/I60vf秅_ -ŊyQ -<\XTV?a4(&"~F6 ?8w(!̴ kemh qpD!wpiN"3|E.%N6)%ij6YCڸNhiS ުۇ-]|_$|CE_1 Q Gj!F}zjxD=ka[dWgYZ04bfe01e345b1f2a43165a83a78daea05b2aa709 31106a059b9568a10836d609aff3adacce347b53 393b349f932faa5db0348444674c07434c4816c6 596bd40998c29fb5fbe86f1fb0b2d7f2aaa064b4 64d1ca5b0f247c8bc670a248b50bd1bf005e669a bab94ba72219da3731355e4dd2b2cd5141e0cd06 bb2a4493a377b43e9da6df97c8ec495900e2f2ad c1e44491a2e4be2b9b8b8411519fd72dc6362558 cb4ef2d7c92bc6f86abf071b0a6ac6dee8bb8cdb9711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4 a1d4e989ad1a700e9d30ddaf5afc0202077fceef