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 1+ tT ]/ GraphMarkingIBP:threads=2elapsed=20.063cpu=36.200gc=0.796factor=1.807zXZִF! ]ŗXf1-/6vRZ"P*nI۴UyT,!W-+lMD:#2U,%~ vjRB{Q#^ey&}p h$^_] VCe2p~Bcstb7Uuwe>|v_R ,4\kBcjWLm?-k!3CKgBq ɔ<]ak'v:&F(QO2/Ѿge{FSM%'zRg7-$sq=(˲㣜w˴9T]dWmze-j2X LK:)`q D%NL )/_[t\7ny}aΒ7/TWb7}rO =kN֓Mڣ/ Rߟf?AM"[ :Spc;}b,E طqv7c[ʚIsS p@+g <NI od=G_OZkɬ/匑R8GH, Yp1wHfMѻÌ, #iLY:_w%nm옃 ;A N;H2t u8ɭ(iԋ3XW[h0Ǘ[5;Uן ],UN2_v]pbJp l>4})*!>E /0VB۵kts՛uȨ$fD};"uQ92:akkӝn'57J!|eN/n-P.+b1qx %a9yb"Ҽ(7A˔|uOE=54Fe'v猔J1(q"*J.\$;`;*i6w. !c Y L2mܞ'2 mCg;ߖN#fSMwt$dU jK_=0җ|Q; fMl0yT\:4PU:G\FzO78zeM. Vƣ"N @V?Etl;(5SjjGP?-Zp6vF9`*6sWېП?Shh%}CZvH~=o!#/՝M$BfY`5v)G#̽*dCiq7WZ7KUl'CC l%3A2\2ףUy.p8ĚnZ9on8+y `j/!!P?u "IKMR!OEϷVk3Ҝ鬘VJ;vBwURF-lju}a+"MZhf(TsqۡuW&湑}e_avr~(hla]j_ZDZ3"EIK>Rթ1Hs ؞Lоʞ7y{6U1 Od/5-8 NOkY,"K ֖PgYZec90a425368a2d6880937cabcb1d1f3d2bce04c179d8e835726df87c7b301a8f091eddccadfabbca 3a4e921837e7e81c84e3eeedbf2fa8cd3538b9ef + GraphMarkingIBP