SQLite format 3 @ - l l B77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info R75? Algebraic_Numbers_Lib:threads=2elapsed=53.346cpu=105.476gc=3.292factor=1.987 7 Algebraic_Numbers_Lib zXZ ִF ! ] ŗXf1-/6vRZ]=vYYN&\l_!2&IJ bF_B{d~tv& GEhE=]=4tr`( \n!ӐfCiO&ɶA0|9uT.Nt18xŎc;jEJR$&(O13]Eс(cχu(NfB^=* $§8DM\35=Kig8?_# |tMM[X3z3Ns#x'`uN8fUL^kؒZ#YYF&bu~2F6S*lmE?;ĕcR?˙|X稕[ j,r ԴI_s$znӿ e7Y7J'3jԸϺsbPu2IqژiEZaب+la̡>^
gҩ3ʉޅ<Bd-T0t(BI%A!.|~! 0A&/ZFR3-YPf.l@\7oeyTQ JuBVMUOT zNV2jiO_ByMƋO/tL;gem`(/,[Wg@gλk ŴlOwO}L|!'@H= \X+XUy*10w_\G6 Lsslۮ,+ZnV6TVP4v?~/([BņHt,wc2% O0;N6]K{&