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 O+ << I]Sqrt_Babylonian:threads=2elapsed=14.768cpu=23.996gc=0.444factor=1.627zXZִF! ]ŗXf1-/6vR[]9҄պԗzX{olD Kש_XM{|N'02v53 <7 ؄'(mK3M*9*_՟ ۍDpǑy->:Kv$Fr">Ig$$e7[&M(*u@[!Z\mEnobש Zیkb4h|-u& R$7VktϨSq|@h:늼3׼ͦ?oE^(6w,LH&my#S^8'~ʥ t}$|8s$-K`TU!{?gj}Ok)bYD8 .0b sDe1O= ~ſS j嚐{#z2Ǝ"+2@PԗS2D mD'MdBjrR:Ѱm>Og=4fTAq Z,G^EAlӽ՟D+E::&bYLt~1Jhpj;\.?:Ԣ\pFGYl g#Bt$ nB]mG2㜻~ř"[/;7V)Τ5@%ׅA &_)wjh Eg7{4"3qr(|KCYs}Poyv$z1P8!yqkɭ 4*-8tOr`zߞjl: [i ^