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 cc+ |td ] Cayley_Hamilton:threads=2elapsed=16.742cpu=28.752gc=1.232factor=1.727zXZִF! ]ŗXf1-q恈aldC>14aU]FU鿐7҈m ;_Mt`$ᣭ Vs9FjHfyeYy?WW h88c k )vdvD6z]\xTjW#fVJ)}j,>jBJK>04u25w{nL ?пT)mi"h5LIe(GJY?Og.( BzLtG fAڍz+pMfQ8zYd΀G-0}}J^>}R/߮=Ў.! SWzL6-. QHRŖۻ oꉦ< Hgo,_| nIdz[R(m7ڻ398Gsq%sMk-x Ķ\ ~gYZ7zXZִF! I]ŗXiɟ1˦r w/8OA~ko#:"ck2,f_N#"ݶ3 V wMuw$[8jP]>c{k.oDŽ1so JΠoܦbPH p)U|+^iDp&##ZrFTtjX-N;gYZ7zXZִF! [+]ŗXi%92޼۝ҙPЅVaCbϐHmJ 瞼w:*,0ϻ^- xOL.EINjĹ0 ~"HL^JGJك=?4yy=G{|˅QXղ^WS}Py&́_Sh;n@yc5<+}ej2QEL F:P68\\j=ҁ{o "GPu|qXۚ1HgE c wߚID#n UO#v<}Т .\)Cuoo:jJ zVxר§I{*WAzv|ԕkBL"԰YHIV+T]bA1.(Ãpg:s Vޮ6}$^X@OtX\+|]I)qr uArGAER/G3{zoƾ zdoP kb }/]~{;6wG$"#e0*fN+pFbY}9xYPLO=Gm:.RL^U(!$Pʓ3=&HdAs#uhQqϋf6}fo>-+P봔6C+4J`;K}V`)Dyn7Rʐh_]zRCs ʨ;D:sȲ?}Ys`n̲٤a'4V?S