SQLite format 3 @ . B B h77otableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info %$ ]/]HOL-Analysis:threads=6elapsed=269.795cpu=1207.768gc=78.384factor=4.487zXZ ִF ! -<] ŗXf1-q恈͐7ӺVl7L!hGfӗd38WO<;x- l uycf5;ˬ5:9l8aAJWӛ(LɜQ5{ )T3${ 9i.Y* Ƅ-@W5 X;Zzo[yk-?r¨^Q^#G jaifդoǿ'Ro'eKDLضD#L*K=P-XPRr~U4%oErnĘ/!FI.5 Sbѭzݜ
Jh|oǫ;oq"
G
=[ܻHctD`9v뱇W0d s5nQO {I-mÔ"`BeT()O\:e
_4H(Ugt:D+
be[&2pX4f<~G>('nh3q2gJo;㑍 Lf,k J{)>O}Uie#F"2
QEL캔؉$oaz}Ї7*j`Q[S++ҏw[.KZo[]~E{ehKA2]G.`nt'g@XV,ӣ-p|!+Jk{zG šz,X0/_\֓.}:/`Aa9 j3\ٵ?0gG$ڜvzF"0N=<5uܢ}{zyB!k(Ʒ0SPdM#8;&sKM4CO]֣좉vpHmڅIq#jA2z@@GDmbi;U ܜd >h^wX~C<|ʃlހϯûaOdqxӉ4J8.
̹({nm3nã&>-tM}.y)p(3* MD=HU7l+/m1ynr/Y|/$L*䆞2Mn*,SPÕգbJJ>j(ƵW
$"#9Yzv.@ZO
jO!OAUmD
0)DzjH+T>lCFI^3K $;8o$rL{wnFb+٠FT\r%iܬnZ\Mf`ý5w F_pzGSP@Cf)ځCڣƴߝS7ǂ2%KvaPxѿ52p\pZRe)qj
piL4&d^wn9$Z3aqC8M/{$(4$B{{%oIH|=]YJBl3,RQoOZ]la p=uGcyoFw
[4@˞
}%LB
W iAXnx
EfJi<⧵1*&퓑 ِLS:ʕ<0v㠖CKzιnUb!cQWBI&RTܿ ֏_
/ e[➋v^>C.J'2-IqP
z9._lrn#>ch
%3YiA
')s
Dn9C{=;ڈj@ī|z,S5i>m|S#@&Z0f*28LO#vfqv4cR(|yTc&xaKޗ#vݥp&%$ƁN3&ZHr~V%Ep
ȽoCqBZ(4~f`TH nheo7ϔrmi
N9øAƱw:jלxִ&"鉖KÒN[]sU+ez}{tE