SQLite format 3@ - llB77#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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info Td S/]Cauchy:threads=2elapsed=2.863cpu=5.160gc=0.084factor=1.807zXZִF! #]ŗXf1-/6vRZy_[&~ZD2[o$¢'CR ~G´;9tA2&)o8ІCHxEn7&Hdv/ѷβ&GR0DYk,ۆh %G ,a\ũ2.CG)Dۀ`6xT}Fln6NJͻ}",rBF!1#Nց4&ʠ E+QXt"v &qxGQ>r<zAK*qIӏ e&I^Yt}9Mog< i2O D =?McXk;g״n/1Xۛ/Ee!]8vm6x `#x \Pz ! 9?57D DbXeuv^̒č4!&Gxv7杜tM:&\mKe} VS v{i!;׋ԼƘ^|Ә uAoi #|M|7(eǞCPwq>Ъ}^_Jܦb)KU%֜\Q;芮!'NbªNy>*   CauchyXrP6E24loE{Yl{Rj\n˹lb3TR*S^,R.b/K/%`D0,G@=QgYZ7zXZִF! +]ŗXi%HNG<=kuOӓq4:yf"PGT&&#HFf̖, E<T*=0+ned ZL5Ŧqx8R9)QYܛ5Eu(0Nq ШkzրH'}u"D>peS})fƐ/L9 h:IR6Z8MݦO;67XFdG&%{Aoծo82ݳYm6>3%We0MɑN-կ[ciDx5_ < _ Hwd8]ʥiД16)<.w}E<Yz (CgAy_e1֙Y+pO[odv(= hpU