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  4\ %w Topology:threads=2elapsed=5.734cpu=11.108gc=0.860factor=1.947zXZִF! H ]ŗXf1-/6vR[k5Ksn J?jrj%$ %`{0C &ؐ,IDa쪕\ud -?a!"տ6igo%%WCxnݠ<5nūk(*n;dZ*M1Y=ڠ%l WQvq6̅]LK2sOb)dgZ r>)kA7)Rz ͊*8dt gnӇjv 1(h_?a4>Uz,'="W\7`_YZ=W-5"B?o5VD?F֩sI@r'C'N3% @ gɌ3o$ ܡkL7vgSb¿]_7Ҟ5G=pb M [(=W%M#~EN*6bGTI>"DXF[G9X Z:ϦG^ !y^*;{nN Mb.KeTO/œehx?[&.sGuӐ*+dȉd['!M„F\ɠ3/=ַB3h4\M#V"DsrF{BQ=ٞ8hl4Edv'fhAę+7@xwlmd4;wg&Lp8BcV݄“W *0  rmEfἄ Xx#FA7o8o) D,_?p ~P ^Ir6 J޲$^юij؞u|'ˬKQT<;<7ca0ہD/GgigV^< G/ЌɈ,8t+-M jdX]X?aK-FCZlި[l NAgYZ7zXZִF! %v]ŗXi%s;|476+=EfwF5CbSh4!I[s.d ]Ly_ nyl]C-/z@ŀySUr*"77I.p h-tx'{h={/FJs B2FȐ/m^=xIc79Od DPpr`i@X7T^p+҉C{G=feX_ٷ<,$eydW@7,\@h\^<_@Kȭ/d~D'V!R. J]A,PR)Z>3ίniG%t Ҩ2`7&XG.T+`MK6L:n]2iޢ6bP+'9K"=hUj~w>Wt Pnj? `AXqyd0VR9},d-$ח}?K4mEӍi JBY/sl295Л-Vudjo/e~WcsX?[>ЛCC?K5"&DCP7vg吇N1⌰#i03P+ JagYZ11a192dbb9af7695fcb546ff21897f89485e42a7 46f5cd40ed810c84dab8731775bddbc90e5c8f74 48a026190dc76ea6b5b0fd2837131bf4a4df2f19 7f0e50d281e96dbbdef4c4b2e8b090d3cf7e511a e09af91f36d3b8ec35dcbf5e10e1cd6d0b8f22259711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9 0b0f6ffbe0f4770f3b2c25543ff441b61f7ff567 b62b082da1d764e713f5960b70e1b522ba49b147 e85e78da20b595b7b12e9e39824bfdb656653a57 6fd2397962e792fb81f42ffbecc2897361872ed8   Topology