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 A% < / HOL-NanoJava:threads=2elapsed=7.246cpu=12.712gc=0.720factor=1.757zXZִF! ]ŗXf1-q恈ֿ?6q*تK]M?hac`}VtJ,pT>W64=<-/1,uGI'95tpuԲuƬ8ek"_$' bW.-f[[S 4ڶ&{%5I4RҖcRž: % HOL-NanoJava~kg$f8md0Y'٘g{Hkh >B<E\I_K|\meRLsQ HH bD%<XE^,ce\:kLɹ_ۏ()xB=-1_XNwmyǺK=Po*[!E0?~JKpG.#ART41ˬ&/e_nW7ՕVmM ~gg5@D""%<m=ĉ)_ EC6 QahH+J*?!r5RR4Q[,! Q#KFZH_MXe5TaVKm+jXmܸ8)fڋgO'\Zm''.Kǻ[![OØhxWS P?S&И?dəWJgt[te3E\J(ZssnjWdno1_0I˚qI)-T@>ZLgYZ7zXZִF! *:]ŗXi%B(*DIǺ(T <@H|b}Q|\KA+[~Gr>MmI#X6BDs;mk,ܛX\!@MN"1nk.@4?e$cpqWEV( r{S6Ǣ5{]s{ B }y߁rwo&]wiɰ~`Pucl}V&xr^̱Ŵ栦aKiHg9AשzC\5#|2׀p~)4,kS:j&Fi&-r 3W