SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 {{ LT ] ZF-UNITY:threads=6elapsed=5.704cpu=29.796gc=1.200factor=5.227zXZִF! ?]ŗXf1-WHIk0p䋎dh֨/+a"Oj1_E?YgmS%b C{|cEw9^gY(הl4ex@w-]0ye͙WHZBU+/J%dƜ!8[6#(+Q[_TJxLJ2rGP=uR4eo`/teqOLC/Zdιǥe ZPs/k>vDhI7d-X^0WR2:$3njRjk7wm|yJ9+5:Ӷg#@dpC[[à;Aq}WunquF] E0qhGQ !ōVF$yԯ|o&NIO**.#qC$ ]bX*>vনk Bw8Qmi亿27==o=1D/H5?e*Ӑ~кNyr{'âceaWtl0ҟiTQ2Q "Vv:|tà5L &qP}(EA;gYZ7zXZִF! hb]ŗXiɟ9 i:4V;}A<<ګMP7h.ִ2t:넡Ч.\K7ImcbssVP NuL<8r&E(!ĴFxUkj)/Mlfe ||*: rȟ=92hhN٘<} fRk+U8KYCFپ\~y!hٕx6d,U+5e6L'e(%nA0 |6PE oʊ)Э]JA|ڿm%r)e?s[ ^U4_P~aNZDqv B)ϝHY~5! t0gYZ7zXZִF! !]ŗXi%EUb<.):J$04\P&٤Z^F&i͚Nqo=V@]i{gu]:mQ4Mm.>LrNn!R LsFet'yQfNkgKŽj-u5`.حQ1|@@)MCX%<1T(nUx.e1Xld=woZ.\xbL^x4܍SȡY\w jc<jI\iweS'6{8TNqKmBR؁C,o 'WY"G;P<"E^,|Xlcs : %vEi,m3X/bQx=#?;rtyjLEn]-4/\XZa^#SgK᳣ȼ c'jA}TZ _q+M]BlU4$wJR FxVFp޲LzyXC:Ln)‹PΥo" YZ?L+OvO4=P"6!7S4tKC)%RDr$kW _,Heo8U}#>~~mfہ rk|rlN+ @;oEpwe,wC둧gYZc2fa9afc253a193da682db3d487f77ca9f254521ca3ed9a9646231337b905d185bf29cc2ed7d96c5 875e4b282ef62c5003ad84eea89f54921dd87230 f8c74e99a8ec41d6435db9c4e23b8f8b8b187bff   ZF-UNITY