SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 ''V+ lt ]]Sqrt_Babylonian:threads=2elapsed=14.166cpu=22.988gc=0.736factor=1.627zXZִF! ]ŗXf1-/6vR[]9҄պԗzX{olD Ky+ˠ-yRRIa(/Y/s]>9LR7*Kdrh愂Q`xmY)SkQg,I]dhӔ^[^jCIm5S/,LMЬ YmDgYZ7zXZִF! R>q]ŗXi%;Ղ 9¼7$/_kdˑ V?Fyz <Մck jo>Ӯr7G*0:,Bidb/N-{Cg gGt%|JAQn2B9bVwfP}.^7#2J916~:^Ԑo}'k.2;9) e(ĵWų՚ ธ0(̫uX;d]? 1"nem "F0N -k,` 秌!ϕGvy D0Љϰiܛ+d,j,,LL-||i*"n 7bAŅb̹c$~oσkUu{$ǁpq9Q ̪˿8x/BS (=)x\v__rxr?66%7qt ap,*`O)νv>{VTg-)[itG0/tDX)ZzC vyCpS >Q kd Ag*r!3v%2n?u2ct<bo7)dS ͅz`Yce &R\j7ïٝ+w*,PY ,WxHrjS6GO!"uQ7Q$VQ‡QХb9xq\yѝgjs*!-%đ&r ¯ +gYZ359a1b081e17d7876088d5d360c01acb2dba179979d8e835726df87c7b301a8f091eddccadfabbca a29a84bba8aa29c804c447ecf6bc83360b3be33c 862c984e78a8715cf93a0c70ac9edbd620ed56924da09166725f26457f89e8ff53e05202e88e146e + Sqrt_Babylonian