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 ]S HOL-UNITY:threads=6elapsed=18.405cpu=85.476gc=3.500factor=4.647zXZִF! ,#8]ŗXf1-q恈r|u2_QM' 8əj*؀g?ǔ;FSC9Tc30I: Yxn%_\wȾxNAkZ˫˓Nɺf͸J%}H/4Fx7J7 F2YnB㞯T" *X?Tkic5'TH%KcCp} 9, :%ol1f[JBq~]1ֺWk.l# pCe4g1ByƚIŀ):ւstե(eR,# ?6p0@~(*/cyh52)|jl`A#@lw^ܓ.y[)$kjʮ{ߢ.=ˆف4ԎMlIB8a5kE\ac%!٥#4ڼ/~?h<2į.;}N2? ٺ 'r}cCw2WZKh +]4n'Ou\RYUU!LNn9چJ҇fDޜqGOfέvH"AWǬ-+2;JG5,45LtŃ[S"E|+EV/{gqfd^% \ԎQ8i.O/#qyX_>^Em)z" _ )* u txQ(}k>!ʵl4sv8BKڟkc"mtBH~{tg[ʰ}̲,+ς].jQ*У7ios ' V[LͣZ$pyhO} t)Q_E',w2 7bMiKjj}'<3є{u%A)ϧ8}H]]y( z, Xc젱gYZ7zXZִF! ;]ŗXiɟ1'x^܎˔BWI,\@{jnZ8I_k;CsZ?9j_CT,hk^ycl@-c$.CNNy%LɪIdžzSy\T\F+ j].v/w4 5:pb= hSÓSHI~lUbuz:5cщ}b+duѡTk gYZ7zXZִF! W]ŗXi%90Śa: ܁fT8g6|xACx\>y{}>CnS7mH8E@r'5[μYh5B5OzU>M>t&حXXs tnaBbD+ڿX اjͤ5аk>yeVk]W C>7B rjB%rYv BmQulbww՗4Xۓ^00MnCN2&K" |0|%cXj/ jP.V$^ce#㜊FbssS̷hNW;ok˾sA',K9 <<ɇ?;)6H0Q-Yl~:>ÑGv.RyЕNٷn[\~ 7 HL9kTl23eUvs+jV=}BNtՇ1k Ͼ5ɜSr뢸m ,:0BGG~ 3pQ Nq)q;܄ fc#8#ptdAuiMa]Ds%udwz 8B{o?!J?ƃ2P:+U[l% :3*$;_86jHȘ{=;­MCgH&q4 A=4!Ӳ/M5ÉLjs7շWVeKO|~enz-# 2 ^2{_d2'/~ˈ1C8-Ţ9vaFuT pH؀oDB QR *#8_TXIxʔ5F7pZY|T%F^fl\iTs|/X ㍁KjVnj"m`O>W|[4“r_r[ŰrO4&ksA ]Y<iy o}_w:V7{A7C`S\VOkN#`_dX0_gZj"0Ь(f[Hiz: KwQ*5.%rxLN8Ql7786z48՟J9Q/Z D>z艱*;b?'!dP]'2ۣ_ϷJBX+j p}j Ύ+,=* ܸ` &]~ةYgboXlKyU2{<#/$eNӯ̳gYZ55e2663b4d50da62f6815a5b43b4b0d703e356a337873e0061f17d13c4a85581673448df5586ab38 676afdd0f22cd3ad42a2bd84ac613e2d29a5a368 55e1b8cf1764aaad66ef6fbbc4d3aebb0896a3b2 208d78754a40d74b153419578257177032034faa