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  \ TL %w Topology:threads=2elapsed=5.965cpu=10.980gc=0.856factor=1.847zXZִF! ]ŗXf1-/6vR[k5Ksn J?jrj%$ %`{0C#tt14G &3dp] ,J)!"Pr{' ŕ%Mwdj]F$ p˯?APEuhB*anZH:^u4Eb5x@/I` .Ȑltp|+o89KDs. ppgYZ7zXZִF! %]ŗXi%~_'pސe\_#z–Tp/obb@*) qNY `}a #'3=G:JɛkzPSI,D Io|7(wmTalI쬹`qͮ)69`>EHXc!6Dcz8&pnV4 :tfԴI=Ea'%jg At0 Gߝl`1I-𫂳*xnA Rc|w #oUyX> X:zILOT2ysu18HiL01}Y.7W!} n@3UVU0;l[ɩ>1w ح_`3`~" & ;hwlbwOv/NCeͣqj] 'L J*5~ )p_eH * hT`lUjQyA4@@}gs&-(h5#gܶ0}G|Pi|Ț 3ʅ9RPٕƳz߹m% XyTLɛlbWBD^SRF"޾U~]WZήp('n_vXzOAlr3sFK`sJ6@w?1Y0 9u9z=b|LoKgYZ11a192dbb9af7695fcb546ff21897f89485e42a7 46f5cd40ed810c84dab8731775bddbc90e5c8f74 48a026190dc76ea6b5b0fd2837131bf4a4df2f19 7f0e50d281e96dbbdef4c4b2e8b090d3cf7e511a e09af91f36d3b8ec35dcbf5e10e1cd6d0b8f22250ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f 839b44e946d25f579f005d34bf2b01c8c50a8382 38e9905181602a320340a0cad27ea92de6285748 92e5de1074f603cf4989ccc5c31a7285888f75f3 2942eb9c12f56c4e1b37ff123352e0e4841ac734   Topology