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 ]/ Dict_Construction:threads=2elapsed=43.018cpu=57.136gc=3.888factor=1.337zXZִF! W]ŗXf1-/6vRZ*_vs(}L)WhuQeAO>YAo=&945ƾ@op_t8;| I+-SH:Cf5W2X2Oy -UwO"]/z? *pǧ)o!{LaN/,ӻ;a/\j\;{,Ϥc*%C4[6X0sى]?.N"muN7 g^0td 2Rp{٘{|0-:N#}ml]=&)'OD mXyA:w"?[^Ga+u_.3(6 _Z7;ǀelD`e6?$ond> aۂ)}ْU;Yj0khr.-!~:B ʲ[Ya*S,N(ȶ,ur9X? ͨD u92 `͆219G6+7v!LU#~ lp?u;0G-؟ȉ)u3=UES.Ӳj -gv~ 4B[|M|wJ&!KgYZ7zXZִF! so]ŗXiɟ|E\Ât+.*aphG)%uGRIxtQԉR%-@G oaOM<T)f˃=@>3H^LI7Lhel3~@ WnKi}k{U ~S T>ihp/}Sz#0۫/ \<GwD ʪyx(LMXsޞc~ -߹"˱e6#N⪕<99NUM {dilt"=3bi, cC1 YnNCȹO"l;3/Cˬ$>̉3}go뚆F^&`7@/I K13z^gYZ7zXZִF! - ]ŗXi%ή++!nRLYֲ rX.Q>ahN [&w08,ћ/5:dc[j[N*q T p ߻TW4@ bir# ɠKBA)oi7#\YH+?*6'G;o$9n1{л!5QpySc1"iK`N]4ݕRZ[jH ,s,YNU,vo`?mtAuvج'q ˡQ/yM&e40mkr?,MJO񴅏ek>Tfr `$OSTaRUQ9!\I8 xFV}Y܁X2] Էg#8^&#;HTR15,b2zε҇mE.ASLWbP?4#1K%O2,!y^.C;;{JY\"֤lZغ?.OAh{hByTCmNX3O1@ wGATHw6nsUJ ?+νs~tfj$YbERC֤Ii>nCMh%wq;]jwxsŅwSp\rF_1Nl8toi(F=}Rɺn,w MnY^=mfΧ3'&Evۘ5BWBxt /N`–;sb|ϡ(&-듓K D ѕpn1VġjA# ~h1H5X~'Tx"$g5!f6;lȬ|̰+zjGG@`. eĖXZȲ|' `JZ2 o\,$ۘ/2Vu 'gw Opea 0a (*cL +52n6oexf0nOYsEeӳRL鬢]*Ӵp;{Ԕr}FCHVj-Z