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 ) LT ]/ HOL-Statespace:threads=2elapsed=18.420cpu=21.156gc=0.652factor=1.157zXZִF!  ]ŗXf1-q恈8\:[Td6(Jx3[YZEeȼE<6]B Ȧ|{ !VJV[rx5"bD< :,o,lRW۹ ܥLUjzTD Q]qr.Řf%=r5}4[0S*r 0 {E؁\5-,:i1\X)rپ3'ߐlgD+űI,U/ dO춞U,F ZgYZ7zXZִF! ]ŗXiɟ1.F+hzl-M'-MzkJtxJB}P$33bEkXv l$Qmڻs! uW1-!_2N$%2[:6OLm[b6׌@Zf;-gYZ7zXZִF! `]ŗXi%9(P/^fOD+Z'mxZTQ%[n  r9#S2 t_ѸhY$3(~QEwΑ|PeL(M] ]GVʓ mq65/  lP<}F"332AT %z^s!4$CБHo٣|D낍\A*۹H(٭G4|M2OW\*TmrF @vk='{eU&n2_E@eYm+L $%#А>+)뫡d=)`^p}Jf.מ [QŸ^4ΰ}\!43Gz]ixk/&<\@?3[Fͳ0qsxET6n^XǜI!\}C?.5y!?ၠaw9a&uF&*42$;qXEK@LSr$wi  2C+70 P0s{"d340I/'Z&-1˦5Du{?& : `_+*=i)mv<0H܄栢-}ϫيovx@Dn'zAOݨaNw^%V5@#5tz Ri_:IڢM=45,[cZО>;/Ept@MvUxA,g:}ۙ= }y]LDS9h&4d_y$5rn-fE8:s~,E$L)nuw^ >(s1 ѩ߱gYZffed10eed7535f6fd1179ddb459260f3c75a0c625f6b46d75794d7d779141526bb8c5d38bc06bffe 14fad242a862a8a0327553b16251c149a42b3da2 ) HOL-Statespace