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 r t, %% Topology:threads=2elapsed=5.738cpu=11.044gc=0.752factor=1.927zXZִF! DG4]ŗXf1-/6vR[k5Ksn J?jrj%$ %`{0C ' -t$CX#>Dխed%[g[7!6oL| 0^@ƚ&M =]`FgM_"Urؑ)!ka%" HAK;6Z´l5Kd/Uv tj(&&}EO `'9)]nY*[~jW|:&]fwE퐇^MԢLYMEEҶ}hkF`IrM$jsv] ?:O㪪޽~pj$AVʨ^laۥO*=pg3ۖn H_WzOiTf9 ?MW୧GNX#46&J#u7 ` hϙ!L?oL   Topology[GJ@N`.rn  m߸}Is6!:҆i3ӪCg4;(AqlxCfp pC>& V`w0'Aҩbb;7ϊ]X,ixRE/ƃ}\{ARy~6-rWWl^!<>!ΰSRM>.ăPmoMkN$v<ovFZ"ine(Sb4&դBScl_mxѿ] M2]l> Qaz !S/9KWi\y50% G*$ ,G"â;1+JvZ*{W<_bc fU,*lx.*&1:Pϔ^`(=T#Ttu%-.IJ\Nh@s+jzG6C1k9g\ɽZ)#@) Q~~tPG@Nv,(бFMZ;ZSrA+:J#d<&ʺ8 +U-7 玂RE2Y.Ӂ ȈmޱgYZ7zXZִF! %u]ŗXi% hs)f)_&l<.0`|X]~Mw:V^] }:F~ ~F2Eh%y>CN]X7 z"kï_d;gI5>Eĭ6 Ө+Bw2ro2ekC9slN<%'s3wpv;]jqq]2L/ 1U vfmꪝ9pEU_k+d}_ G--2N*33jV\S$^ 0ȼZNDr$^c YsfuK_ e^l -Tjdb&iF- etWg⿈Dׂy:XiRݝR6@qTR8eicfhѺ#^0ˮQr6?!Tc@?%hn%,6`9VWCo~ݖ{O#D~VK7y~ ]1Ev抧`bȁJjĉP.qih=%blyee΁b+ aǕ)-s=MkIbv puQ,"&lLH@.贈nFEAxCm<($.3˛1J$"jbgYZ11a192dbb9af7695fcb546ff21897f89485e42a7 46f5cd40ed810c84dab8731775bddbc90e5c8f74 48a026190dc76ea6b5b0fd2837131bf4a4df2f19 7f0e50d281e96dbbdef4c4b2e8b090d3cf7e511a e09af91f36d3b8ec35dcbf5e10e1cd6d0b8f222570d59207b10c0d3f1ae9713c01fe0490a95034f1 a635d9d9c13ebeec12e6b6e83baa37d10eab9bf9 b5b2e3db2282b5d6e07a8827f7e467ee9b05ff91 0ee0178a68a6f0c05eb149635f7f8a508e24296a 7c0b6d92d4c0454ad41fe1ebcf96cbdcc1b3f5a2