SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 Y |D } XML:threads=2elapsed=19.784cpu=30.216gc=2.060factor=1.537zXZִF! ]ŗXf1-/6vRZ*Dc,T q}jX,q~yĎHA'? jXu=kHS(ZE9^W]ΓL5ZVEQ[ZُOD-n_[1k)s̈Ý vNy6)+pq~-|DB9P-4J$-^OsN^c*ğ7Rל Fe2¨oJJf_֣)!d] l8S_NBKj6F6^:ZD^vMe},s;A;y+&κv,6^}W89,7%HjK!#wS1^7_M;X_8%tKQl1!wڄOX 03[g6UR“Li" > cdelZ!/b!)-W.G 80ޣh%t=C/>ō&h//ǣ K3/J,49 % PYX qL,ź?߸Yc#CH /j1aEc1TڱgYZ7zXZִF! dZ]ŗXi% +BȬ[s㼶f,|Dž]FKMʄ13_F@D|2Jb‚f .D7MXK/-5"+ \_XL-xjE )^Vzwc·e]?/g_偝>I(7K+ڥӪzPi_wPcŚꊮ3Y(%~\D~~PHJFܚQ~4 r3ntcX9{rkyz$ͰY;cٶ4,uDC;KD*. qHMI\B>N๚ϛEOv2],CwboHu"dzGzLqZAT%Ii ;s/jtLf`/` Z^)lgfT 4+gΒ@*Zn_Bv ϒX,~P`y^FИ}*qϥ".deBY_ i*@r~(C5 BnaЋlBoƛ.kr(O-@ R) ז!=l!7kxVgIcк@IYAL{ՏL]gpJ;VuvDO׷<"/Ggg6bMHF}'M,NMu+gC ѫ?PGGjs0 UnwK.xJݧXX 1Q*T^0I~1ynl ɜKĘػuGTqKRq5WSd7],$GyJnry)"CxXB5YU ݽu) 9 ,>µ֤t[{65|2sOhG\-r%8ب~At + ǫJĽTС.G#ܵo?J`$>2}F͋DO~:l}Ui2]}ϡi~enW޲[F-/0_y/ܒzkK-/؁JIˏ JVAߡyPj[eYF_2 TB.,ۛ^%6eGJ"C"V6Uhal!ZNz`멲oTx Вɽ:#. /*;d3+_t^H 榖Ҧr#o.䄇  tSgYZ07fe2884c3463aedca90506275e9f2e53c964a31 09866c17fce5b4a8b36ae582acde7f995bb80ff7 0b69d8c3f70856201e8c054bc34357b13520292f 1a1436f28f19da44f56dd3fdc6afa1e3786effa2 3122c5b55089566c74375976fd6040cc34c326db 37e048eca1afc2c069cebaffb562a02b039bb22c 429952f9b1ab48f5480776e72dd795c832ab4fd6 5f027145b953123734f36cd380855d6483226701 79f31440868c5686b204e83e4f26f92eb8d94f9b 8913304f37a2c00447277cd0d64d3ffa149379a5 93414022e52a809ad6d52d57f2418d9007b685b0 9bdd5aa3a04f12448f7300dfdbe400d0b0c4b078 a526ece146642d823be07862c7c8488392c4dd25 cbdd9fc6d6570e1d4cdb5f290d2b154598908d6c d1a1fe056914a78cdbca5deac82d86dfddf0c2e2 ee2d4760bb726f6409c2f82a46a166ebb7485156 f2ec054802208841282d3caf8cb88ebe49e30b1b728eda92c596448850baeaf541586ad0cbd7b32f 9daf9b2243525f9f5d1a1f22d380df7ef09d72de 3e315ae02238ba29ff4dfa91456277ea298bcd5c  XML