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  %, ]/ Functions:threads=2elapsed=2.791cpu=3.824gc=0.284factor=1.377zXZִF! ]ŗXf1-zȟ(%xqِI^j4Np?Ϸ en""oDnռ2St&إDž9O>mH!a.{yJTx^yU?ār|~WWgYZ7zXZִF! G@]ŗXiɟupX鑅H}؉׊K936͆KR^+#\kq y`J\HnN}YZ7zXZִF! ]ŗXi%;NH@$Vm.Z [+aaMtXsL?v9{"aSuKU O?ӑ&=nv1gZqb)vS1")%4W*Sd/\UA n ߁Px2_yu4+)YQ0gE{XjNS\䴞&Y N"l%{[:>w6i ^4ӫucGEVzu!/gFڝB&_$e1Ջx=6BD+S^R_qjO5GPiy@+T-DgpJ}Au[2gYZ2e5285694120b21dd1d01fb23f624c01fd76e306b1e9d096eff3e2d2097c331d061d199548b5d3ea d6c569c3cb498e2d723179c18cc1cd66ffdd721e   Functions