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  q d| ]/ FinFun:threads=2elapsed=5.897cpu=11.088gc=0.424factor=1.887zXZִF! )]ŗXf1-q恈͐7ӺV }"cXH?c;MՀYxs!7wgJ&ؙ_d̖ú(p>N4@W'hbkUɶQ6_ET[bUTj9RbUu;6['wN`E|Eұ rOW7!mWm\(XGvH $=)&`Biʻo†/qt\Kh&ul7+4;\g#ǀUwW&@o p S.L`>B5Im#eEвo&puivq*mT]ZjsZ/8jw* 8Αu+Tꖖa|&u#'C3GWRsV4ʦ8o s[?.t(}V""Cd. a+ 5ጹ)JC]~?,ז^$y[NIePq '3Cm)`0Z[3 2rvˆ2䚋(R+ŅX6mqGj1q^uE"dѓdߴgF*6k]ږ*hG[?+ų(rb|=owuS9+$e+; nEowcMhaP6->{zi)d FUʥy!. wI@BB䄃CRF|xT`iL~VՖ͟%-5q93i-13:1mEj9Teؖ%/KpG9n>gN~5 uR721dшrGg\aե| uC k:XEgwgp !K󐶗G["m_hVO gYZ1247872784ed9e452c224885f815ed5e98303409e3d3de0c105787f07c71be3f3e76dafbe7c86cef 26af89b7d57c7a15a989446f8ee1ff99d4928d87   FinFun