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 >>/-4d kS HOL-SPARK-Manual:threads=2elapsed=5.280cpu=9.144gc=0.220factor=1.737zXZִF! ]ŗXf1-q恈׍ V*#4ZhbNta9sf${ uE@ hH狻pk[ҋ.j￲6;PUbX:Gv۞o2=Od*d}Rpw;O7[2R h>. ~fsPwczyj^!9`.s{BU*mҏ0xQWl)6ʤ *=a>%zr0,ҽh ]> *TQbx'GIgI;ńg*Ϣz^2f ˤ,ܺF]'U} oa:6uP027;fMJWY1S2):6:7g"4^ U`:h4F {Au |a uZ1_dG?S|sM6c>~;ԴwöfߍeY - HOL-SPARK-ManualD`}9/~`H8 u\ UXe˭9 3d,`"dO+T;,\gunPn4/`gYZ7zXZִF! ']ŗXi%BՎ@JU{SG^P`h1("\ a[DIOٳ ު`zz@CT`[ =X/Cv*\)v4ЩUCD#[y6"S36Xš‘M涶qnT՟l5cHba 5&w&uQcbvydP6~=dxiLio AxG3m&`6U]JScoNu l(6o#>#3խb( kTĉd7.[T\քS!ov@M3N[Ln_ Z7i]TH \H$hSqB+p ?1\s<|? kB[p!Kl\ޑ3ONgYZ0aca56ee6774e0e8471b0985810374b856af7978 0aca56ee6774e0e8471b0985810374b856af7978 1d234d87cb7b05714043daa6bb6ad45b208b2e61 2f1bd31f34a03ecdc65b0589b7a00ec1912c435c 30fcdfd919a710e527c0335977fe7dd5258f4ee3 30fcdfd919a710e527c0335977fe7dd5258f4ee3 3905f41ab227936efb32c9fd40268e581eaea317 4b549aedf8972d80c4eef2c0c16b52122958de26 60f1b0960918fbdb26a3f14a7c114df64dc3c208 6529df01adbc27024b3975428345214935b980ee 6754a0acecb403c5cdf6028ce8465862af0a27b6 6754a0acecb403c5cdf6028ce8465862af0a27b6 6c6a4ca664017c20a8f77df13dd87ec4880f4a89 6c6a4ca664017c20a8f77df13dd87ec4880f4a89 7136082c5d47d407b37acfcc3aaa392fbb65ab0a 74d421bb2a4244aa719cc71117994178b1bbba36 74d421bb2a4244aa719cc71117994178b1bbba36 7997f8ee34e60b3ab98579421f4cbd3a5742e634 7997f8ee34e60b3ab98579421f4cbd3a5742e634 7c04d2276009105b8defa4150eec70331c8a60a3 7ce49d091c1b39f45c87997a86a08ed94fe19e09 7ce49d091c1b39f45c87997a86a08ed94fe19e09 84696f4574c9ace888db031e70a6b8f027055faa 8577c85ada694f2ab3b8b69d34de81e76554d894 8782edd88b6e747bc64dfd3e3ee219d9999369a1 899c07b975f047d67d719012a161e4a2e566c309 97e7bcfe192eb56855dd0cbae16374ff1faa3362 9a001f371e3ecf5ed74465d4b4cfa6b1be54e20f 9ce497700630239064b7301cbd9617c428299bc3 9ce497700630239064b7301cbd9617c428299bc3 a43486d5388b15f4123fe4864687ea9ad0c28fc2 a8ce121ed75af70a6ae178973f21a08b25d98e0d a8fd497f26bccac92d4c376fca4aa6a0108777ed acc86b0032174a68648d4d2ba9a9de0954273ec6 acc86b0032174a68648d4d2ba9a9de0954273ec6 b919baea96e30b849c816f80c9e4fca5e7459498 b919baea96e30b849c816f80c9e4fca5e7459498 bde696719c1af761cfdddd5f37f4453a4d774928 c9515139ca6da85284ae1e08f30b81d91285d7aa d167e37652d419e6b94403ce637ff397a062c651 d167e37652d419e6b94403ce637ff397a062c651 d30b9abb4eb9d4d5f50e11950923cd87f7456485 dc209f37cb2624bf54eaeb1c14f6e3dcf9ce1142 dc27153ac67c22edb8f0cb2cf844c0a5bb50b54c ee4ddd0108cd40ac3ececf18ba45656d4c1b2127 fe68d52dfe6070e5e98dabe7ba2fdc63b0d98f54 ffa69129e8206dbdc563cbe39e65e8988ff336e1 ffa69129e8206dbdc563cbe39e65e8988ff336e1014fdf73a0b928fde39c061b3b448884e65fa152 f4f811683dcda440eaf96bee8739ce28e3523afa c12cabd538f6c4da75d1826c4b43a759cd17318d 1768bf8b4847e1b271b19882fdda970b8c98904e