SQLite format 3 @ . Y Y Q77Atableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info h h 5$, 3/]Automatic_Refinement:threads=2elapsed=62.467cpu=114.572gc=3.556factor=1.837zXZ ִF ! 3"J] ŗXf1-q恈͐7ӺVd>`;Gؽ8n:)FuKȾ"1-I,@%o9 ¿oZ01C:$п%1M@ǫs aDW |xSpҨ͎FOe#3.U^湃dT\Pp{b<Ѡf*Od<8a1IꝢ4\ ]'~9צ=)[%@5 )j|lr,.vʀָF1rlQ6YcY;A/yT86EGÐ:jS..jCotN#!ّ]"Sd,do>; m1<ˆħK"cņ_QC$J7E~U|ۗX n^L i\m.eyuu5/ O{Ʈu%2'2ʯ:z釫]
n6)b^ڪb%n`6= ޏBGlLr2/)|8$0cȰ{k8}Ɛ}k<3 ٓxXKƶxEhgL{0,[`]Y##ox̱?e8Y5`m>X8ʍż5+;Hy'gN]>KϏ}Ve
;}.Px!>]iw2h1-ߌpXK|
rpW~[
$b'̮oC>0'L}WAxHR_ß/ER<@ ܕt
f 5|Zg YZ7zXZ ִF ! +
] ŗXi%6xs6j.&|G+ŜKu÷fRlFsP苜G1Bn%
Ub<
>rZJP2ȼEG@Bͤ2ӕSfdv3icyQQ
ʼnO@_8v{+N)W; fOGQTm\FEFktfR/s ]"4{̺Ȇ_?fCoL52 t(9/qG23*N_
\^ y%ONjE7'Xa_Rʇ"X[Ό-~| ^[#_ݪڏ9=?2/Qxt!2$?xx=LZ<4 l7V&7(0zUVYSͤn CmV|eP`s6:~Y:m|L''e}a,:Ӑ>Iǐe'`>(a=VyZ8B=E{$jNfSx of\9
>&K_}]Hi|06P/YAQЧ$E43 A4NQ1r^T8yr=('? S6}TuSЖ @x"7;2P8X`UDNAqenL-B/|o g]# *á7=uj9%oa`5$YIz ,2\K&4abWG|h
|ߛ͉@YXn*6Dj0lGnu>zip`ܤ.:9Y/C3?PBR]R颥