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  # #ZdDD ]/]Cauchy:threads=2elapsed=2.661cpu=4.748gc=0.136factor=1.787zXZִF! l]ŗXf1-/6vRZy_[&~ZD2[o$Ëҝݲ168Y-q~TgjLo~M Y} {d[]ĦX9gYZ7zXZִF! Z]ŗXiɟy?}ScOZh`KρqD.N+'pg~WYC~j_3.v˯J8Զ MDvdűgYZ7zXZִF! cY]ŗXi%ή*%CەƒO;lFֹsK7ϜF`B1 4@BL,%Iȣ9H,5}_T c\*5~1Gu"-b!LHcEll+Ga^=ެ8 4oa l\ˑt-U& .*~ˣ;G*O@ot#=7-hWAw2_aO !9tˈaN{zm0MSð˒_.De%yuu?9 S|+O_XN0KKӟ"XnMIAa#`tV'3H{k\ m;\2S5b׫u 5,DZ~{p?'Ძ|. bL>%,zVT Þ\ʐ/{؛;)[ &=e3c^"BH]x>'Ko`i 2^ ˏ1/s /аC=JB=g z\ΩkHס(HlWu :JbZO 19<,0gYZ835a87eda6328a39c1873c64b18d8c408b266a6300b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c0262cb0f257c9533f4f7c8e8fcb0fd8b6e31975c51   Cauchy