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  , S Show:threads=2elapsed=12.702cpu=24.080gc=1.368factor=1.907zXZִF! P]ŗXf1-/6vR[]uX,,mMFa2LU0("jvfVF=86p;չNKZk)x_KUѪPƄYT| n.+lPfBi-9KU_ͭ>.N!ȢNکdn*9*22cc.qߍ u+R#q;lG=_jD _VSe2: lV&gNRkbGЏ1 _ e w Wa7j n(ʶjnKbF#jeWgrJA{'9,1jIr ۠`gfP}) ]ucf-eK6kWbk̄찕+q9X)GKɃ-.צ%1}t+/ AX)p. i$t2cKE*J7}sI7T'=^G_ /JK80^ `|StP#YHn, :Q! kK%MG.f\A!a!6n;"'!S gYZ7zXZִF! H|]ŗXi%L6jgO8*N˹ PYT0O:zt#`K㷥0܄5uTGkY}*,ƃ [zIX6DF1k-ߌ^Y6>yaa,d3겻DCB <\<8SZ\C#>fԅb*['F{ v"u䝿ĩ|FZ2%7,V#Tp74\5 頾y& w?rPP h i<ĝb6QuwF`UwcY'Ǜ645h<"!gN*rw̋܇L?&Y(Xkq2,MQȠ3p@3!p0Doptsskocþ3"ǓȹkǣE |>9]Ncn kv^oI9΢&/4) 6Ɩ UPT :weC lK0ٿ!݇Л gbp<%m#]2ǮcHN!2aWު;_ $3W1.ŅX(b6i2KRQI ЁX`7Ny>yWBED22ti"p\?kD/)bYW.qV "a9d`C;+n$Y{օZO~`ttk lo$nf#WEQ>%K܇{ϞƦi'ٵ4^-`N ,Tt]d4k,Ҷs݃orwQut N `~yG]_̶+o+#N;\^T