SQLite format 3 @ .0: B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S- indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info c c 7t, ] Prime_Harmonic_Series:threads=4elapsed=73.438cpu=267.580gc=11.432factor=3.647zXZ ִF ! ] ŗXf1-q恈͐7ӺV%:ihzʬ̠ܾ&ɽDq Xk-i[ x0A <w~/ͫ1aVWEV0čt&?.Tr$S$Sڨd$QdC2ܣ/пS Y'J++EOXk\_ <)@jLjdҨ 4x<ł;7}mv f20=zT9Mࣹ= |<7ỳsV )I/Vi26aᛸn}nyHA&\~BPf4_0ԯ_'Jvb|V&+̙5bnǜHZMHQĆ6%ĸ^ p i]?᳄`@"Úҽ5L9pH=~e*4۳ִӁPh!h̻O{Yp@ku"*ZtufџJoa4Y)q<a3<^SBcQ5=`RO97We˅šQh#jcT|?Qx9Xh\q sX+wmZ@>VkGJC'yD d,QXq eAf\z"ɣ0_H\ڐk~UpInTjX]֩ %wPB~i|+!7OJΫUA0!Xf5ˠӉT% tNğs˾GL0_6=ϓՄv ^YMVu A` d8=N?V:ܿ<gS9Z6s`A8V4otӜY{Xbi ;3 A&jy=MZ;lϴV.geKUrS'Dy dieg@@Ʀ_ys{TBazZhx=pYݑeڕ_跇hR ^WEoS{,.(;/O6;Z:mpL a WdA{ţW|hgM-i