SQLite format 3@ .  YYQ77Atableisabelle_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, "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 ee , k/]Nominal2:threads=2elapsed=38.678cpu=70.884gc=3.292factor=1.837zXZִF! ( ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVhE|wK]az"kxUsnIOQ^WxBqA/ v٘y/x1ZE쇗;Sb{PUB;fVf>2{ЀC%7s[Qz1ybn~A,LbF<] R^oJe~aj#! T F Mc`1օZٱy^J=] Y6O0ks" =U ^Oh[\tV`!.yڄ{S24b,O+L8@$^f|ddPTbl'~LGmi[Ch܈Fp `'3Gi濤H7f]@`&3_n/"ֻa:V⟁doӳ0mFHPffg0=g݅= 3hF?W1z4Ē# TTĕbt'B[Xd얹񻬱@>cm{aH]'V #W1*cc(VU]s|FjuwuNTg,SpPURP9PZҟ~Q!BPHa[s ^]2%-U8dW_:إV9cڷ%j7q2cv $MU4 K3.וï'75#^6<}Uvufk.!KF1fyIS\EgO$&suxOFe~4汹ITcNEu"2m$MÁ2Iqބ[AlWd Zu!]!1y2K(u ipP\b$SA5;R< G ,uC~~K 26pfq"bLGg97d$+~7- 6|:O@zp ``'lxYe JZgAd_ RTٓZjMwy >>],>؅`L.љ= CF/#X<bH=wR# (=?>DM䣗8E\uW<@2uXڼ ^ne`I{wR&3$>hz sJj~k)(*eHGcMV>5I=TVՂXw׀vI%)Z^_1< ~#~~vJÔV(lm&{bI?kM£ߣMu5]lvm&Т q 寜+<~G@k$3eiM v狵* 6Q4;)y s,w5͖[ :vySz-srD /Ҍ\TqO5ԈLQp7>'mVqwq{NKV>:]Fqn=7] Ev-s/lyΠ21"]@CTp>Qm@MXti:%W 񒶨k0cx8W2UFIVks-zWc(tBOwřgAy\X{ҧm{+Ӧu3#?zqK