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 ^^+ t$ I]Sqrt_Babylonian:threads=2elapsed=14.363cpu=23.852gc=0.428factor=1.667zXZִF! 8q]ŗXf1-/6vR[]9҄պԗzX{olD Kש_XM{|N'02شBc>eITʙdzD[pQ#c$z4XhWe$nyP(YD 2~ȵd8jW q91Dw! Ȝ#c]VM#!*i@`ZܱL,Hd!T:ޞ] )ok|c$Mhs!²(lѷfGj-2HtW% Z#SR՜4M󞥔IADӆw醴&DƵ.`(K?i/Epj];=VuI[qUۉv'IwBg&-EԮ9MTuYJp{g\Z!$/7aEFSPJgin$pm$7+P7E*1]i8ddRJʔDz'6Pqc&2W3b{zGZ?RM `䐙)Rn_R kȸW)d=(ܛǡz(g0=;PM~4 i:l@ps{ݚX@K#)S:`c6vV(ERo2|u్Q"k4]c2XINs2$mN+leoo0x|qA乘Z_QTf5FG"CB ^^ ^|n{=iiP!>y8Y ki[ Gx.zvT 6`?Q3l2'ѢکOg)/s)R/`<,@GIw'ḡ- Q||`s(Mj(Ūq|ݻ+{}v7tWWgNc/E?Mzx؝?8pڛ^*3)!w:P-8rfO@<݅m77rEz O?hw*(A"kS;Mہ?(ý Bg !>t+QЛO쪐bj;v•KC+Te!x fX|3