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 f1 | ]S HOL-SPARK-Examples:threads=2elapsed=20.108cpu=32.964gc=0.848factor=1.647zXZִF! d]ŗXf1-q恈׍ V$*(5DU߆rAcf,(zȭiV)jlXϊ럙U^.{HqyM y~\{ʊ~CvCɟ&#v2K\*IC{6RTXg(#)sAv@yvs`Bh9?kf <yF@^΂ S{$ ]o||M0\-ǡ=E_P VAMңtE#J-CTo;Uǰ-p=V$g5A7@X0P7WŠ,L\VmΒ\GIvF- >rnu7Y5_wÜKs[$j-Y\A9xUnCMRk׷c7)gEyĈ1ؗv~CFT,ޘF,?QшQ$ݤm{v2x |FU`s->54X gYZ7zXZִF! D]ŗXiɟ1'HGu C),_=g~ {^}{D]W8dF@h풎NUCԗq)Q*>a5NXhLr 54tq!楩SRDve#, iĚo@,x wTBBw^>_ǨSSҍ/c${'T0"Y Zgw˯6U.--볩6ki@2V pKZ֝I|l&eiuJiY*!zi/{!_[C߃Cg&%P>_:G( ƣ;y}> {ZNʻ+Q:m/ 4~U!/ obhHxC 1c^G8M ɆMYz aJϪ-Zf\% A$^=r@c8#= zTa˗i/ª$-nrU ,Ü3oƧE7q/\ wuVH/"[qyRr(#_l"RUwF (E573Ϧ:C$Z09ܦyOW?;+SqθșCHDԚ΄r_ާ]Ji A`R܀دsP۶_äNxx(&{pH\"ttU 3c>D݌5 Sz}di-6YdhS"yrصA (ĥQʭ64|%15@}y1A)DMwrڹȜcBM7T䊌_>!iOR/lxGK+hĚ 2j'[zu3m:|YE[)H }PeIѾ=O n E RNAt l[:ZԱY<Uu|`<Z~2M+wst}SՂqW9(>1`_QOYV5~PEEKwqs8+g;=er7s{VE6@Зo0P9dP^\\*Z/:d!ʳ6~ߘᏹz^/BxMۖI-×/UWi;k9)"]N #2ǧSY9ʨǨRQrq=tghUtlWT1;┙j1|16{ٸcEcyc8(? H/}g#\qcؔ gYZc6c0641134255d4a74e80a68ca1f087d4f58f3bbb5c424772a2a5b40f2f68f25414695f3cd309066 4421303c0db3669d059ce12e56ab74b4697966f2 1da28ffa1b7d21a62a4732b46797a7f485f84354 4db96ea1a6ef3280e34f88a7bc143dc3e2ddcc4b 1 HOL-SPARK-Examples