SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info NN't< w/ ZF-Resid:threads=2elapsed=1.447cpu=2.432gc=0.000factor=1.687zXZִF! ]ŗXf1-W[lʬg7]=e/+u9 uufLRRyH/$Óח 6-F #mpy!G/Ɋtb3Ex!pYo~ )ۧyW7&wC^$5ͺfX/+8J[ӵ.ho|^M 8}[3.ɳ;i(Q;<AzGfjۊR}i5L3 oC)`YgGi!v#L~╨̶9TB8K   ZF-ResidO3^Iҗ˩`Pwu ѫ9›c8Bҹm>e:$pSI%Ҩk '*Rдqgs1C;<1q|4]wC=lߐȏi5]s)l^^G44H$,43k5 gYZ7zXZִF! &]ŗXi%QrnvB0hFi+Wh\DzPt0Ō,& _к/5N`W66 u }[J WmXh(sNEhGvMw[)9YI|@F; .?T;D*UҁW]CmﺴbY; xyʕpEQ &qh!!K6#Jc,0+uAXA8cAoAma!=?G},N}5Y'RfCmM Iذܬ0ieΞIvl{V]a$ ߿zqgh(}<؈jɯ8}gYZ032747f70e60c520957e25c149f5177d8ecc8f72 03cef9d5aed6fcf0832053862e506bdf96619c2d 087c424a70f278759c0b6e4edaf50ca1393d5072 24ac677f35b56d2c8077ac01c99e36cc65b0c88b 8d81f5a8f8401e6ebfff506f46a32901bc7a24e4 b275c4368a46450678d695291098868c93b2db3430107fd93ce37db2bdd67b83360028ac0c573143 21648982e9c2997b39a9ba4a7105fada3f2d7609