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 r7 D ]Pre_Algebraic_Numbers:threads=2elapsed=16.540cpu=29.444gc=0.528factor=1.787zXZִF! ~]ŗXf1-/6vR[]SZVB@I3Yf/jG o^1Q*${5;;ISf;$0d%ޱWh‘4<jݻdʿ*.,+̬D!VWJ&0\ ց.l4C|6#9YҫaǴXt \3, t$qF3GӥI»%\JjDR~s8)rc<!sVKx*7x`¥h!X$ƀ†_r>=&VA'\Q NiepG{u659! Եf"7m2OPGfđ'c<~$ǙvtrBu͹-mǶ t'**Ǒm4U7+w1ԍF3@,UPtˀTi]8!(ugɵFiH'Hޔn`&/qFTiOD&]l~磲44.YG=vFv66crXc?9񔇚&ŠQ MO~E5y*ӍKcC|t[ĩI0;PpZ$fеIρX/gYZ7zXZִF! O]ŗXi%6y2Hhx&Q~FV&Xʹ[}ݬ㣼v(  "+*ڍ3 p vQ(syL&\Ġ47=o_0P=(GTZ/KDT hDaPMW0S~_-`u:n C+fn !Fr4B.$L#c%+.*v Lb j︤g piw|x /+n^\ƥv:i!:r<YvxjQU[3Qs#%{˟C=.ս %jLz[yd:&eXRnE|=$7 zPXܿ51*Љ0&ef:а O_lܬ _21/Mbf#}FFcxa \뙷b?*, l 8f s<;}Z|֚/V_ *[;Ţ5de)<>6 גỈ&]5j1Ei?s\$6cl9]5SfCE9z+s)MaѮuACV, "-ʖv iqsħ- >Ȇ,BnׄgͲRK4ȑ4Tz7O2פЬ}!oq"Ŕd^`117Yg, t3zLBq-cRbMFTCmYup-Rwv 96ywVH֚҄ buR?M)'MjAAY)tk-svI@+'`h=]5C[T[ _,23**B7Co&.[-Nl' "QzM`|Ā~ Q,bNgΙZ`/ǛN];l3Rb޺R PlٞYSgm^Ϗ& NB-I x_3|!k\