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 B3 D$4 ] IEEE_Floating_Point:threads=2elapsed=27.801cpu=41.468gc=0.580factor=1.497zXZִF! ]ŗXf1-/6vRZV"3%]r> =GX\sY곤@_&@wwGܔF-Hɾ1 @2so|=4|b O֭2Hx[tf ^`]CG\N~h4m_du{/}Oz=MVC(cěߖi S#&pr'd1 nAΘ[烩5q\Kܸ.֭ 23̎ x8B##dz$`Va]#S ^|d52K!}N:K.gbW=/;ff>L%:g]{QYֽY!\M b;y.4V+¯QXUu(Daۑ}*>a Ҏ.E:0+ˍ$*VɤZ(PànO> RA/Ƒ\nʹp%/}EkQ 0P2E1-K}y/ie(olo.cқ@ -酪j3BTnCM1M'CH8ws)Y0w'9q0:XbU)|/xOIeq oBPQ#?x!Ɔ2H?.2!T >v;WcP/ɖ@9?zi\a ??ԙF# Q]_xjL!ڝ&[^i~1TR%`]:|,~Ήz5ӽЅ =p||р yACkU~()H*ݳ}bp*PbLx/N`xۀp au\H B&oNYhMnhWOsp[~*@(4Ҷf%PeI!#w"J`7wF T 9,ܑ?/ TV) _Wp"d"Ie 9qeu)'鞉o5ﺦrhvDSj~:fgQ]W[ƥ e&x^izYZlY0g'(Y TT} jiAu lsb.\ %F\6f-(+G{ubAqy0Y} G@N@mfPk3K&䞦U ZI90j)CGG=fu&0|KV%wQ`Qfw8v 7сLm( j*="-!e@r28[PRQ\EXp^ q ; 㸘^gT~ze-G39="@ޟKKZqynfO^!wO>9upCdFa(z[fݨ6ϸnI?1nJHHW93S4Wa^6GEJ/tۢ?,*p1 2B8$G;f0sc!0F{ #wgdH*~Vcd-b>ݱ>lQ`4i)쓬6{}f֭61{Ѕ:m^?\@I'Д7LM=F&45 A``j]=+z yp~xRľUIɕsI`0 }̱gYZ45add450448f7617b6600487e17b33a72fe1eb132722ec1bc2993f9863f5084b9ee07bd97dd3d36c 3f001195d7415da4b8cf06d884af4e156b801fea 767fc67378b31eb70f2963c7c52b27cb412fc8af 3 IEEE_Floating_Point