SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 PP-   ] IOA:threads=6elapsed=7.123cpu=28.948gc=1.236factor=4.067zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K.O&G(Mx u⇘nUZÿj/ bZ_B7j}ǫ -w;1\PblΡ-O䅛w\t&be ،}Z liS$9 ZX;Qt\!R%ї&?Q^1 萦g~L B[Vsh,2t30 D#~r{oJ. O_p~DX˦.2SZgYZ7zXZִF! `}]ŗXiɟdN'LvH۹)f]Z$1^LFt{:kA'93LjD憯"-;"\cĝD}6`Nz8>%`HnR5gDcVoMXmd]ϩjK~'5Ԝ{=̷Q\2H%8@Q]U:9~ 9R,ZU0qM}UyS~fF?XvXVzڌ2[6]A=QAjD'ustc$yA|O#ٳ0.vq'ˁ䣷|8B`\e&y3OT$D! `0 ؈UjӼ_@v\ٻܴbz<:iwW-X JݱgYZ7zXZִF! #P{]ŗXi%έ*-w}򠂢z)8N+7gkzXl$ m&Hx)X8 tW!̖5 'cd~.kB1cUu@C2?,!_Yi&NE L{k9R\6:h|:S ;ҴY O{oAaJ~Io"4=.Ӝ0${18.Uav] >GnY1æ7S|w5l|\.Yj`yKb1 amVӭbXss,qr?( 'ƛf'=gbGb4J±h6$rE3v ޳[H4݋Ak&׾*vk6rI6}O߄TZ;|v 4Ld2' )!ed ^FEɬq諟}eM@4Z\#I{*I>t/Bhbj62qxs+p4Vi,u+~(2[`ls(- m,~rc`8*"vRA>!p59]Kq\g"^]?5z}+(i׵%qF雱gYZ0d37399954b3f9474c9847588329ca2d4e36a3fac02607a1ca167edcd658ec3d4e79e4ea4af5ebba 3b9edca41ef3030e0a722d7987c2d1d2e4c73333 2204c917fd051b2bc4c2d697e6bcce31b260141f  IOA