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  0#\d$ ]S]HOL-Algebra:threads=6elapsed=26.818cpu=127.152gc=8.420factor=4.747zXZִF! H]ŗXf1-q恈\T,rB I|2C;" FEII핪j*~m5!Mtlo#cVV`cFn8=%t"am=R\|G8w57Zo9LOV>WC݌%VW\; هMu0k 7JbKR~/{ SE(Lub>XCQ9 _hfR^iRO_Pmw:AıyPϢAm-hl'6H~{:fa#X"&g4O ]ȧ3I< dז=բOMZ%0ܮ * 7"H[5jedgG`H,nN7SQreSt 9lKwXn6c&W{ł/ߠLH.|x)V8u!57jSfXȑX\%Gq]zwa}`tQ %b :epx%U'p;hÑ[˭s{C&\rBa }0b%+(/$K'&Y}*nn9]' hPWEڣb_]|$x/Gy)}ŅNS r J|^N{+^IՆVavm U(+Ͽ}Հ<%;kHh$Ivz-yw3CъΙE[J< )mK`7rp[H_+tVپ&G7p3K]:> :^z)rlveDf⚘Xv 95gdXT7{l:z=8>c;pw7:z1ѾaBH-~x({VROlFw?&k;n_ FXژ.?8t H,P~PVaRi0rVkƏtBoKEMfiw`j:ϓ~}c\ `~]q#vH,KnU5VD4P^Pdҡ+L(;l7flP( ֙|wh}pEr`o8 9A`j7jD{yR,!HD<ƆʐT~Ru* ̛"ռ̈́ 3;b/&46ԉW~|7gM_PUf`lquNHN\b()3qٰ62AM+/"u#M$XD|9w_:9G<2;Ox''_=OC'M$EQ +/ fqFE^=v =P\];H9sZT0kb?d:Au$^I r?[{nQ& TCH9hˆ7yO"+=&DP2*:`|2z*ǻ@vI+MnׄYxD{2o5aǷev6):)&WsĴE/Ô:9r&$fZgYZ7zXZִF! ]ŗXiɟ1`?#DaCu8fn/A\.@q^߬豳\YR4 o8w&ohKPes[½Q2*t~V+:r[EY6.}& J[N‘,/zI'#SD=3.jba4. *hR[~YT:#DG~? ~|d {kw7oaΠpRR G 9P}-nA%ma;Vִ?-Ʉ;bl4)9lSȿ4FAhY*R[WN~Z6}ϝ'%|2_|ENtέu CFʟI&J?d,2z)4TLNp)3 ~CK+BHؼ69zdA}'Uᬋ_6pakR 0 &gYZ7zXZִF! y ]ŗXi%;W;ʮcM.VW9|/vaN>cIfUYH[7ir}m]>q. fdGndfUCW$>B)>㈗jqu LiT5jR}UZCeLH;}ʡ!8#0|sW- PD޺lOP*HgZoudEE/iI>`oź-ǨWÅDe7b0gXϷH;ϗm"ySQߧ*Ou^Ǚᄞs.h"7=k}4N44eؿ1.=):"ws+9ɹ M}l70І\7W>&f{UUwh<5t3=}P=}f1D|KgEdn>˞\fΥkeۆN{I,.a"*E I~6xW$VZK _Uq:ŴS( XY\P1Ttl,N(f.[Z-}(/U t1ƌv &,8KOC/4y'*Oq<˷ d2b[$tv^n4t+_*/:L$'v8 ( 婝9ugi H9;.C `Bj*O[/0}|R*`U~6V :_`ѹ• ( dWZ>wzjZ9`_??:\dm'Z[ $+=ݥQkz6n2а"`jkNޑv'⢜1{_>Å69nY&3G@蜕=^W뵊! ؓƆ6upB]S!Ӊg OMGI3htczaٱC֊{׀S']媴/ᡊt%+(64Srʄ?Xs7NR(3z_=Efav8lA2{-)AExAt?db"S6.b׿q}12 vIm Wb$l΃z:u 3#f_T5 eT1G+@ET@L\IJ$js ω-4TAԗ_) ~\7DL(XXeG6#kq'~y29"q +#hb Qc%+0NHq%ˡ0*Ba%-Z\rIFS >rj ](J?9yPmMEjp3i , c):0BMn8*^:};-atz $=/h]k,Q7,;71 23m3}Z _z*7UA8CwE4].M11Sd@ O<Ͷ[!!zKns]Oʍw!C<&|ϊ *CRU寱=^! %]싾!?T_ ϒv ("{`pL6a.# IS؉cP4Q~}WPJHkְZI+;mJM6`ztvK/\Q5=s24M5쫌vz2 E[A/Z4]r;̵,VW+3NMg3'ʇe`c,0M,0^Wp)"dLd7g=@xq;$I%Z@Jjxu/m{ro)R,4RY 1EV{en"bzX㻮x@DhdZjFUX74H6Xw:DtmHPiZH:a`Eh"䱓+ .%dXSm٢GpB]X