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  Ll ]]]ZF:threads=6elapsed=11.918cpu=37.420gc=1.932factor=3.147zXZִF! ]ŗXf1-)9\l ݺn= bŚ&3(/.G_TwTc1TKvnxRQ6"Bk~;QgRw!vP e7qck4dfVvvPWEasr1ԏJD^Gz0e}u Y[ɄLœn˪ !Ϗ Ji|"hfZ߅ .l1+FX76*T`iLe;U(鄑j~Q"á=|BRu`E A)0~$G`(Xu;&+no3!ɇ;K&hi V"+o,'\jSj"d6igYZ7zXZִF! ;]ŗXiɟ 1FE`空lQV(Ѯ՞S* ՄP}X\V)b{;h7 mYʑ @ N+]w.]n4EL>7ZRZǝe}(*[n"ڻ*D&{J \mL`Q `A a{gz5+c+][v͊< 'GWyB^9Ky~H˼+3;n2u݄鯬+z]t5-JMDmLhU_7 ':āW Cs6|^ϕUa.Yyi.'hNLF@KY?Ac )`0+ @mh MYYFJcȐ׋c >D^NaQjqsm} X7a2TgYZ7zXZִF! ;]ŗXi%ύ9, nᄼ@'#F-nU= ʨE;E~C92Mtԗ`QJXZ DK>˂U&]+kTētTSv{$Q ̜_nCZ7CAw~r_|͜3E䱘=$فre3&x@] 6i]\߿%fSC@ݴ1M8Hj`n hp(/>c_Ho龸PfާXHu^;~+YL]W PKR(ɨ|Zy7qWٌYe|Dz]㣌FvO$C6{m }nY-Q 9p{RT78r^ ʬ'F 1"@?X/l!Z!>oTq3ѾlxB;Lsju}5R "Q_Ꚓp cbQfaZN= 0J|y h x^+tj #:Ƭ 6R I5aDOee  {#RIԟ.aإLkhФQѵoFV{2Jt_N lXƷp,Q~ sK_DT{/*(ʐݜ#_G2 SDrAFfI"23?_beS:I=ey6eO,Tw%`(.SBs۩Ay( 9-m7{ ^eUB_ 32-c)FcǶb v0 ?gYZ02d880c05f11d9bdc1ef6c02493431f0701795ade8e3314a2216dfbbb96c9391593b20fa6b915b869eaf46f74d98cb6eae96f6d6643011bb078c2dd9  ZF