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 g-DD kS HOL-SPARK-Manual:threads=2elapsed=5.290cpu=9.552gc=0.272factor=1.817zXZִF! z]ŗXf1-q恈׍ V*#4ZhbNta9sf${ uE@ hH狻pk[M -N~[ ٟI~+mxĕW5gH9VJ&M76L7d5r&sfJ xu#)}v?H,Y!a*!96nzUlRY9p/q㦩 c SaYƠ$$#8Fxy/lM}oϚ=}Lև7L!N2I`&:*vc6 <9f:~0(t&FW9lTW4hЯZ~. - HOL-SPARK-Manual[Λ% ش-ABL1rw)" k^L}:y@0 gYZ7zXZִF! ']ŗXi%B\+ wXl4Kdv" թ,váN+ce>Ǧ87[I._3^FLkg< bEZƇh#{?[*ZT:9EWDO#\TU3$>Z3Bcix# ]Xqq>Uc1X$C8>(avhseWXI mN!ChX~cR쓹;KRe\TdOC+4䨫1{]- G{Xj}'*Om DOSV$*&#LBVُ'g1dr ݪ2/Hs~ )-,ivmbͤ.Y p$P}Z8Y K;BOg7;]jd0v6ɡ$zwvs!jY,Zy3H?ޖY"{@0U1yE25,PN/%ev#iox+ ]uƨQ*%=,7/2jyI 9Z@րu⵹%v8-/kz){jxݑ ΁}5ur#z~+mZ@,oF'"]~z2& IJ `b6t Ic-ΞXO>фT%|qduS&d*Λ&E_~I8|Q*dhn@e TxOh)gYZ0aca56ee6774e0e8471b0985810374b856af7978 0aca56ee6774e0e8471b0985810374b856af7978 1d234d87cb7b05714043daa6bb6ad45b208b2e61 2f1bd31f34a03ecdc65b0589b7a00ec1912c435c 30fcdfd919a710e527c0335977fe7dd5258f4ee3 30fcdfd919a710e527c0335977fe7dd5258f4ee3 3905f41ab227936efb32c9fd40268e581eaea317 4b549aedf8972d80c4eef2c0c16b52122958de26 574180fa1690796f654b71e479ccc7c5f3e8cea5 60f1b0960918fbdb26a3f14a7c114df64dc3c208 6529df01adbc27024b3975428345214935b980ee 6754a0acecb403c5cdf6028ce8465862af0a27b6 6754a0acecb403c5cdf6028ce8465862af0a27b6 6c6a4ca664017c20a8f77df13dd87ec4880f4a89 6c6a4ca664017c20a8f77df13dd87ec4880f4a89 7136082c5d47d407b37acfcc3aaa392fbb65ab0a 74d421bb2a4244aa719cc71117994178b1bbba36 74d421bb2a4244aa719cc71117994178b1bbba36 7997f8ee34e60b3ab98579421f4cbd3a5742e634 7997f8ee34e60b3ab98579421f4cbd3a5742e634 7c04d2276009105b8defa4150eec70331c8a60a3 7ce49d091c1b39f45c87997a86a08ed94fe19e09 7ce49d091c1b39f45c87997a86a08ed94fe19e09 84696f4574c9ace888db031e70a6b8f027055faa 8577c85ada694f2ab3b8b69d34de81e76554d894 8782edd88b6e747bc64dfd3e3ee219d9999369a1 97e7bcfe192eb56855dd0cbae16374ff1faa3362 9a001f371e3ecf5ed74465d4b4cfa6b1be54e20f 9ce497700630239064b7301cbd9617c428299bc3 9ce497700630239064b7301cbd9617c428299bc3 a43486d5388b15f4123fe4864687ea9ad0c28fc2 a8ce121ed75af70a6ae178973f21a08b25d98e0d a8fd497f26bccac92d4c376fca4aa6a0108777ed acc86b0032174a68648d4d2ba9a9de0954273ec6 acc86b0032174a68648d4d2ba9a9de0954273ec6 b919baea96e30b849c816f80c9e4fca5e7459498 b919baea96e30b849c816f80c9e4fca5e7459498 bde696719c1af761cfdddd5f37f4453a4d774928 c9515139ca6da85284ae1e08f30b81d91285d7aa d167e37652d419e6b94403ce637ff397a062c651 d167e37652d419e6b94403ce637ff397a062c651 d30b9abb4eb9d4d5f50e11950923cd87f7456485 dc209f37cb2624bf54eaeb1c14f6e3dcf9ce1142 dc27153ac67c22edb8f0cb2cf844c0a5bb50b54c ee4ddd0108cd40ac3ececf18ba45656d4c1b2127 fe68d52dfe6070e5e98dabe7ba2fdc63b0d98f54 ffa69129e8206dbdc563cbe39e65e8988ff336e1 ffa69129e8206dbdc563cbe39e65e8988ff336e11d303aa48c02fbfb8fe205c90ee243804756e6a6 3e7d2e5aa099435bba6e4e30f924c9df17b4a54b bfec7f6f3c06e18379a642f7733f45d76a321e48 c13cb473841630394cb95aa6557d461352d3c61b