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 2#|< S]HOL-Algebra:threads=6elapsed=46.130cpu=178.180gc=9.528factor=3.867zXZִF! h3 6]ŗXf1-q恈\T,rBV$--O:1XlҿuzVdtVBBq̹G[D+;_+}T0ֶ+"*oZ`d3vױ5vdD@!W}P8ncUwY~&G&KERaVьm{DJL^E#g^:do^kW,g (fjqi>H\/8Ӛ+g `r=:: nꆇ67]X+o#M+ZmFY".h~}#=5Lh:e\(CR;oCST !L#HIZwU$rziFTqF1A ö浇QORv#LGMtiV` Ƌe9Zxl[͒'a1Fn6;#A 'ArkiX՛+T!`c*g&LN7LRIʻ| rVЖK+7 Ľ]z%w-'Ҿ%;LU%12,Y6ֆf*uƮ@.Q&xX4.o_q6j1r/"z I> 5oIN[ ؠ{үpIrO3ymZ`ﲢ( V;("٠GӮ]6=A^[^@:F?g"N'=yN8Q7ry(7 Uo wOTvfjt5L:oU~`(S%D򃸌v86-$muyFO0( -ͥ\{~Oʌ,Z'JU"i Oφ,NQ)7_QC;==f9gD5vcmVv%L OއvURC=o+ˈk̜*]u0 mބ ˏ\|3jJB'^JIl(kl2,àm9Qgijcy#Y )i54KWV4MgPF QmIӾ: `ߜDRι ՅX0\gCq6M'ျ)RThrw'pz6Y(CFC9⩙ުQ8:wҬ杸'#;3 ! lǦޤXޑִs :*Y%W}Kv5)ΰoXNgV ݢ,!VF9%#I:D"'Mѫe+=Xˉc/ەDZI1=/?*E[FmAy.'LgZtHBiaW,Ǯ s7@grWp,f8 )yp7yEh)Qjjk@"}B36E+`Huy< 2'ſ4+/߰K[u_k^M A>4%: lBwuaBmD"t_}6^6Ol?+hJxf]p*U0\}|$*9U5Vli1Lq~JP`4*IC{36Z¥>3 BB#NBPg" TDGL{/Ƭj+TДe@"Q}3AvǤ$k I]h̋] 33$|~1߯:cUAh/՘0]^s{<3?bii%@~{UrEo~odgd#\vAK;=i58} 4}N!lM­ MǒZ V D1L̊פG9:J575HjҸAo /OO%/8j fsrbqgV Qq$M|&چg>6靲#PS5<(|T!w`B:+W{ӷOoGK51el#q^)ITa w78A,Tvh^ڤY~\=қ&+'7ޟ9smjOau(K`{k{Bw'm؜1 2i0[N"^k 4B9Sc$?bBQglI?F@A؟Oi׫ٍUviw=xb 2@=b0oۂs jm|sDUÛ O9;$I +YKkm֡T!#<8-^aѿ2S"ug,霊RXb4G t?ֿc vOㄲ6G daVFF:umAK>WG{݋1{Ùa^^L|i9Dqn9ydLj6ʅl 㖈DXf)+s90试G2`}i[x@^ֈ1\hVQAhF1˭|r:TodiF~I%2 M!dkt5P(wf#eqʩ."v!=||T*-Tgɖ㚘܈ak3pC|XiQWBhe9cEuQ Vik G-+?Wlib,)ɇ0H Z kjFإSiUEgIm~8|q^cM^h%fhV/t0{ǩsv|+ꀠ<3 E%vN cm8Rڽ|}ʀœ9\ی\f2k ?uL5>RG=:@ܷKt\18mh]Z$Om$46;(&BmrClӹ?0w"?@U,!kbO>$rCِcPM;"G@br@a'V6bnR]qIPbΙمc]ć2=F9[KA CIc=w{S^L_(t~MZC!ߥP MHQ1QVz2>H=iRyBxwHbw| s++%b-E=KnQQFJѢ|#fB8 )e_r V!5ڧw6D &Ju!O ?jW7A&Xjnw6߀KWKTZ,h5.F9o0ddyT9тDK ć $LY4x[D,M><0oo|, ΢ e':2tӞrp6Ej.8'~f C֜cE -?NyB ȟd-O9Wat -/3WC5u4?}~\BqPIgup䯕3ϴ@ uZds&(FyaI&"h`nR1jYD;@ܕI("K\ }3ڭ-3L]^UҘ8τ,ׇ(jhYVm["^{$0 @v*p]yao:~pLdʊ߄̗Ei(TJj +|i] 10yuvK j9"{^%ዃ:AO0D>8o \5az"m7\) Es({w]xpO,z