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  _ _!\ T ]/ List-Index:threads=2elapsed=2.688cpu=4.900gc=0.072factor=1.827zXZִF! ]ŗXf1-/6vRZڕ/0*]=D)𖒂_M]݀ƏHN{i8Ҫ&r)]B^ ݮ|=%5[bؘRa ,{O9+'71w+Cx;MG dq#4UcVVgYZ7zXZִF! IC]ŗXiɟFTp>>cP$qXLE۵UϔI@eC~9y8@G"?h0_J>\}YZ7zXZִF! #]ŗXi%9*].0+zw'.n& Ւ" $[n5N?#5 'Xw H"ʽGr~ 92- 'Sw $hTΏ1 !>U`l&ybǹҟ+L2;r!؃4ؤR|TWJޯX %x9bu~3h;O מ8!;Θ)ֱx6lbI喙eoJo Iے/eq|5I|(sIao,˦%j1,30"bO~:\B(b!|Zkō>ȞJw "Ճ<ĵeQ:n`fqv<&44ep ,Y22PҠ;4ޔI+z0)%:'yFР?s~eToMC] B iIN XMj:֢"6O*HxϺ{J(Ư0HJmIWJk\y 8L#qqjZg3eLgYZ706a73917fb458930544e3125b6ef331b4332060325386da1460dc38f32089d1221024ec932a2181 06bff5eb73bee75606e14d28e9b646bebba8f569  ! List-Index