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  ) <\< ]]Kleene_Algebra:threads=2elapsed=55.530cpu=94.028gc=4.264factor=1.697zXZִF! @5]ŗXf1-/6vRZcm#kƣOw C/팪¼;o{'&:&mAx_׋҂ՌX,WT7~n9}&&`e V.2J~aoL#^# @}@h`sstTv l`%CUyy npz^a^eS`bb`u&In9+LL)BwSuGGt#2!H  ̻+yyz*j%ꄖ\)SٚN"~ êj(M9UR>)[=΄mt̛7Rq]iJ `U n.íTauMX>s}qsj:<,ڜ/l8+H9 1o`x@Fi)/h^6 o:GY%!HooSncœ|TI.Mt w6R{EYv*?nÂ=;Jcq:4"&-8)P&mD`;ZAYޕtu+빐{Q )ϔD7PaO…zo" Y?8xF1l$<W5|r& ~/Ifhy.@:O2#t3X h=u)/'}9!?MN:J=pϒĶ 0fR˒@( ,_j]WD匠L+L"u}_J1 rYEUJ4=mNXy>/l(Q2,ݟzzi)eܑSn,fw|J_J*AnA$k}J>t _K8\rAem:諂z3ysG~ 5al1"\e]69E&ӯ]̒ܥG1ےwP:eܳQX5rYֳ>Y",zm Lp;e*?RG'$Z"AfEƒ-oK=4<9i޼lh=D+#9-–}rö6YQ!FЕ;&!eBQd7u9v*H%S&,~,tyg_BRGa7; PUʤjBз@ϱVUfw' 6O8ד[ s6F{adz%yOPXPD]hLk١I!Z$o  ) Kleene_AlgebraD;0Ad`1t-L+vTrJZ eɉ_u"k; 3 = Gf+ql> ^1`$BCJ+ ]V+n" [=/j/o#.JLGUć  gYZ7zXZִF! g]ŗXiɟ<t3A;ȅԇt՜+3Ƙ9~Z]e`\jΫP5%iN6kF2DA;g.|\bdqGK7)޻^ٍoH۟yTk_pk:`p鞇벁S{ah(B>pxP4kC*lu Q`眠l$Va "/c6F }0䉟^ȅI-/Pp%UA7jhyVp.&6-I{|Ij n'[6iۧ6”MLP>S {c#gYZ7zXZִF! ]ŗXi%9(OKA潇BcB1nA6avu.$$~&rByYQ&v =BFCc٣WOtIvt6hkWRϖl-V@gbC`9¹WU,+@"8^ѦC`p7@u>QJMFz+)Ļ''W,GY}GjGQ[@UI"-wQڲnRB_YJ$b+ 7F"x߄IOYP`kzc=^ x 1bto%Z U?Zr3\%͈#Mq0>c: drTV"7Hwf\Ga@hYaP<1̾0¿Gg|s Rlڭ Q=P= :;{ώ6(S =+,J۝tRf'3hXՉG {5z> U*`mm͔&a~.P"*)4M*CT|ήO8n7cT+Z k\ڜwSiy=j lC8a]G'٩y˅Zʒdx ? eOE?BHiL$(}XuH+6kւ?_=aI`m)EvKocٝ7 vSȼwcQWמBDFk'i7 @˧r1N6c\MO!uQF@UgnLѩ ;yy!P?`3[n'G/,WkJ|kKTpڞ$I?sG8A4;*>]#6pm\[/v[&|.$*H\jn#d?: ?F$7 Hr{H.큹0>8؀&qۗs@僕m^-9@^c)4Ug!vK Y:\.@iKg,pW3jsWxzm)tdFTL+4R yCN~HOxE܌aAӀ c`\n,BTlkw=^͟iU<9L&;E$N,O6p7r͂I.Oo`>Ù̔&`Vw:q)ۏ#%"VK)cYrѴ׻(- ~T٪9nȽa_+FУ+Gp2;YgHW,Dfm6sY߇#3;ϔ+m{o(Y7X,N/K`8M\gk+d2,Eb7AF%!.]Xs!r;/G).dCaxC68ofJ~LE %|@>` PiN7kk^?nKvs>R K9T0|4Gzzn 8?އVvӦ=f hMb9qKIl1* HkvV2sS]F#Muſ0UFcė_yZ1"yϒ<6˄.@Hu+*.KC\Yw[@ȓi 8!&LIe{/\E4$ZW+VOT?/֌P+{OQsFLI&]/d05AF)"ToNiOB*d꿌lx4B9겁d8NDMgIaP4yxhؽ|. {ǁ&{J,FUL $dhKog=4ǻ9zflr!-J;U)P@KjM%BV.gq 5GZU>ع*a~qоwܿLz[:Ӡo< 6>aN8݂J‘d>nZ ulI