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  -d < ]/ FunWithFunctions:threads=2elapsed=1.446cpu=2.456gc=0.000factor=1.707zXZִF! 4k]ŗXf1-/6vRZ#qK_Hw6ԛg<_78v4!BzTdbaA:4V;5Lۛ?WOzcjAI,U͌˳ԱgYZ7zXZִF! UC]ŗXiɟUXvD@ 2C \7c &8{_ b@BΊ̳m5L_Vq}YZ7zXZִF!  ]ŗXi%6SwL_] kq ϰZY|Fxp(4pDUbq`1{ߊmƟ‰ib.1z{^4s}(.rQaOѶ\+ìsh* nZJ6{Vb</!rYLUB0DX=q]W͸m'Z l7JH_L77k?ˬwsDatyt$lMjzS·aGfA>El(L(:3Di*x?6 ?puAíμsK-`{=4whЙ{R q$x[刼sk%xVЃ;rT~O , `XCޘ<8TIW ,Z;҂ѿp\CxMVHȺ"Rb*ϴ4_޵p a4gYZfba2600c9f0fa17f567c908de94519693089ff09e70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc - FunWithFunctions