SQLite format 3@ . YYQ77Atableisabelle_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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info ==@% D ]w]Sepref_Basic:threads=2elapsed=21.650cpu=42.060gc=1.988factor=1.947zXZִF! 'U]ŗXf1-/6vR[O!vې&-wT]ïpܐ YW  mn~,GNC6 RR9AϏ '@(20M]Jz@hvyCzOb{Uҫ,NdPںqvO$8pw02!Inp#c0a?q s\b{ʮ|_bfKobÅA:eImҾlpTgВT\@%qP2'n;@xop>Ƃj&'?=oF? /VVk"sϻ0Wnn ~lJk#,YA N (i' aZm~9=I lq)%)q{Ȧ+,o"vHYn>'0Y[l`>"B*j-FJ^dpǹ35K4-ns:mA\B zs 3qzqREZ Ӑͨ04I}TdC7ȘB^h9̕7`|ػn+ay m:sA" c ~QίStj>Kr _N:XmI_ejUAYoq)tr]'Y $]tb/dmx`ԏ## UoI,wzYw_@rlʓPNrgYZ7zXZִF! b]ŗXi%6|lSܸbƊ!1JNUe߶$q(6턛580K76]}imgvb5xMX\|_;7㓲HQK@\ +?]2tsBU?P;X]N,j| szcK۽Dw:q](j8˺0RBxv. 9Y U X#OLj4J:Fm#K=Ѣ{ ,C(LxЖõ3Lpp*&(TwlԎoӹ? T jV[Kar'x<_oo mͮYh2𮭯x7b<.TTmV&:&`TmgYN( >`w$C;1`{PNSn`d";>SjM/kr9 Cm%:Z5ES9r?+W!DHdE)m\v$Fh|䣫gȁd FF X3c}{@Vr ?#3Պ\;IOǦtܵL4cYl s}sj0I"({=/bpdf0%97ox,~ ֟zHVBwX-{dJne<ցفt=DV tJQL4̎U7Wy~FbK-˕Yvwt"id!oPԾ~~ػzNnX_?5#7CZF|>%_iAYm4ZDoO}څʶVWI{Q# K|"'P1>y Xݘ̳aCf4=Smc#a/gО!p>jhLAq]v#٥W>T<3[EihV+ !tgYZ8409ec29e0a3a757d2e0cbbedbc20b800f8e5ea872476e49faf5ae81b565cd9a808c77e6c79a7cd3 1847274f423d78a61f6a5c9cd14f9851aa9995d5 d3b717257264742e5eba21d7cf3c6eda49c5f382 313911482b604fa13e55fd1bf97a209f339bf41c ef626f17313e3450c927dd963884ad0f8b7f5923 ea9cc1dfa3ee519a278dea4cb555e6631d1bb14ade1652bdf118879c0b7dbd9333c9b6ad16420fd9 % Sepref_Basic