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 2 4$ ]]]ZF:threads=6elapsed=11.582cpu=37.196gc=2.032factor=3.217zXZִF! ]ŗXf1-)9\l ݺn= bŚ&3(/.G_Tw3yIזwx>T,BzH04 ( եF 8ﺿ֢ͪEK#@Cp+řwW& A tjJtߨ/kqD@jR¹Lp(kZ{6XWO?GubTF O͏[s[WDžgp㞋W9sb+~.vH-ZdQnL&=nr48cAH% Sem^$SIfK3j6 mހ /X.LkTJ=OfbH$TԠn^'YviEր$젅;VxFr*n z'bBߋV ޳ JemnI_ŭ툙dt*(vt`P[N ~6&n"(mJGWPwf.e7 v۹(G/| ^KF!QӫA%PUwҰX3)Í:{F/NZL5Pnݼ7j_H`f%R^;/SbF þfFk!UyirֱgYZ7zXZִF! 8]ŗXi%9$rwO9Y L0Ώ"˚re}JĤ}[>EGѕqe#~-MfÛi5T'ho#cpYMS[_puUgؿvRs|<Q :< Ȫl!,r՝&+3FmB6=٦tR yds׶q~cJ OwWӕ|ba(u8wIkC#\t47 sYl8 ѠJPğ`q 狤X1I绩6EL{Z3j&4T5~D\e0czy# snʖX٥^8Q)0;YK Cu'd#!T1kEZu9'A]|6*zp-D+XB63],4tDܺn\)d%O3pwTa)_Q|[@9Wt,1oē#OC^ŀGw=b(R/6'"& 5 ;TzWyBè&fQ(p]4,ne֣[#`fP #tMX5C+& ?BZ{-=]4 "\l?½|< *rEcwm(4%T]&GzGz ͅRP[ŽAm&oqfZ-HJn7 xAf*aWuȹ& )hp(;})~lauԕ҃KDtCcSt`839{;q̽cNQ\S>Au^PUGʬ ŧX5)uC=qY(B$42kFܥy|Z,rŬd-"^Q@ pA Iӯ4= Bŷa'_a5b*r #`=l$y˨oېoE-N ҂Ȑn3ָb%7덭Rns8pROi͝ܥDž@\< DgXMrg>`rvK,"e69t1ݢ?T?cuF&% q-رgYZ510af072a58e0b5d16120080a6e91bec570c15730d46e8014914da4e1c47dfabe60e74a66f8c0804dca5b069c3e3d449fa8600be4caf1baa15f3ce87  ZF