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  ;l$d ]/ Proof_Strategy_Language:threads=2elapsed=131.893cpu=82.368gc=1.664factor=0.627zXZִF! f/]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^DoA7WwC^Ǣh TfB]h.H^ϞύaX" O~ Y*툉d0P?eɲ LtlX|\N\iƙ8(4\qwMx@;,VKL@>ivQi'NZl!]43pפ0ACd8_o,gskW&Nr^&Ou/1A%ȡ1=@9uyv1k)s–W𴦣IEe~)e=A5ǡ{)&&ai: ;0fđ,:'``qI`پ؇}>O9xmzD ; Proof_Strategy_Language@RxPE*_aU7~7s!O5Rs֨WT+}뇪!urlg-'W`*Ma ,@Z7Q h\4H#&j7vËe2 W/E䊝-R ާ"gs+ZeZ`M`#TbڝVh&N9iw 1ǎ

u*+B^^h#NI5ݥe.l.SUРݱ*5SoKZZqb6mrw ,('/`ן*tg%'>mK_`/',;uF;wRC|]b'/l~D\w {ba.b$ g d{dc @ϑڍ'#9sUpi[ bĸ~*_T;=iyNa[1uHteUaa"-I˕A}V7-wf[JBUZ (@Zj7dBҸk/f4O^Z_ʯQ3jRڪEcƅ҈Tv lWXnx@5}KAl[6lvjXOqbQʶ$^X@D/j&:?p {!baHq<7W5GGݻ3 J3Ĩ|#=NrQڐ7qxp?UjjItK*9aEcf!̩r紴Z'?%%:-Ϗ^{|HBoM&W[ǃ%!5`,dM/yt5%@,g/By]aF- qܽ`w9*;yy_=5ڃĽ)%Wfali"zGZ Afk ҌSPyDn/(5թ*ގF,zkx"!ơr8M) dېD1ri=In6ea<~G[6Z̴^~*^A3ˁyD*OB].kpQu\6< %k1sٓg#ƻ;|MI^M̤~q#%+ bf\o|"qX9iTS?aZć6;xe?hwN6}2 먾@t=`N#6oёO*̦B[x摑lK{d=ӉE޵>XO=\vqN>F=HVKNǫ C\l">DV20t f\nbsX[Ml-P]܆{M;B"L?C 3Gv_]N$F!QN5|"4(/?jՂUgJ"Əx[-i%7 "6Mp 1ZDyxř}2¼u"?$&!SeĕՎЊG'b,WpJMw!C?,8ߨ%'T@0؇ U`;n:t!0R? z@*$C`uST#^w N{~Lgo~/U4Qo-̟ɮYn`e=[K V13z$}KÎ}#;О^<[:2O98(x2L[)USq1[>I]LLUi ;ĚrSX!i݊e}D/ TeI{ /@Xch7&XeU-0@h ]# .`Z/o#r+8OMS x/Ĝa"*:TnF5njǷG=H2w#{}0^I|'~_ h]~筎n蘝dDsy}iFՐ/_E`lK/:mXDv 9Q@Ǩ,;ǒqѮpI(UhcaAޕg+ò}s@Eq( nJqdv jQP G ü{g4DKAqm\=vij%>;nZ Ң+x}:~%_\=1J)#"/@C7 hґ9 @75s*EPK2Kd' >WbG2)}܇Źt(}ӣ:(@%ܜZMVPz{`$~5|F*Xm"eG*ҷw) Fޘ{n yҁ[N"HVN C60H}b1)0ltuj[bhS0mv~l}yʠՋݍ[r>C{-rehf&4%GiRb<5pmᓯH=)ruM8!77\zgbw1DXp c9Q I$D6 m-^]O] ns[;T'FQk?bv]/ Wԯ@h+(H9Yr $ >C*9WF7 jwWÙ3/;v>? fKOzBJǪ49du@d|~9F9TC$k'Gް)(s@]M`산=Af~+sΘl8N#I~9b4Ǩ`UiV ;5#.*QMX6] $'r[}v.<@&THĬ0U)aSq%*`&Y7Ш9L EÓ0AՍc;9-f$iF^^Jipv}i#jEDCz:2w\_ 3L_\%pvRΞ] Xqڻw\=qMwk l)rO2 W"?0o(ʠ*UngT2%Ey_$WRsޭ^:G}gl=O=[lL~qhz L}2bC"lOz;T{Uq.d: 2.W |\yKEWo9./6$眿_?a{bMk E1 kIU8ab~)E!7Gk