SQLite format 3@ . YYQ77Atableisabelle_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, "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 ((U' 4L ! WorkerWrapper:threads=2elapsed=13.065cpu=24.020gc=0.936factor=1.847zXZִF! ]ŗXf1-/6vR[X"9߫@]-GQC4"C62 K8mt+J@"a`Zb6QTE)S((_D R#@(|tw ufG֋S:vWI!ę20>OxIh JٹyτtŹgDžPuY&NiX)jd19kWP<9HzV(.Ӏ^̤ͥ誁Ŝ&/{icraF&~k5?<o `% F!.XCqh(V|SHk{WjKlt^6[B+ J]=c~r +@K.}yOq%UbB:od 0:!{mɊrp@n 9Ȅ*x0N[@rqgA”Eψģ2}t,kn5 > .SFfB=z2H:/jGi8Nc-$gYZ7zXZִF! H`]ŗXi%6yKڄOVیK(H Kct\P[kMDŽ,Ch^_6]5w @FY\Hmzd$,d3f#QIA =$]UQHRo&4?Qs77lebvز W>|\5Ot\4@߂7Ї.ۡIN;~ iEBrDdk4)qěՉO֎SHJsh6jnD 3  6AQp #mZj[{Fp4d*}>})5掦_8+=Js~NRrL) x#.'מbT $}+¶SǸXW-)a)̠\2v?M/BD SJ!w1f]#z2=Ƣy'2'eJPQ : 3)e56EtC@ǖ`pU8MS-s\Zx.9JjKF _%s;n?;ؽ;?߄˻>:ߟ:]=rb1V9* =!|;uD4څQ+Y3L\D\э5͙Ɠ/Đjd9ÍL䃊ZFOT|2"Po__FjV珧ݵ"C)p 8laC\|I˧UB%`2a W u5'LXvvt"^wxxGlǗOKH;8tiٳJ[14Exes2X~t6ʽ\}K1o 'ࣉbN; UburhLoo9!:1 cW׃ Yh%0&ث7qwzV"T߯PUw05Jْ{ 3"&}%bC?f#h/ y7&)gYZ0a2c7d03761993d0a1d05019be99704d2a240299 1671306404d8bf0aa71a09907fa4123dcd140ae0 34542257061391055c6b8e8687d66c551400d20d 3597c940b3ab0264ecb66f5e80c0ac52d5c4d776 46f44db65900a4f12068668eeb99eddbe69ccb62 4e39f6478d860a208e5aabb0b6c71d51777efa4f 56112a8805dc91a83c2737d6bee5ec7c5ea05b85 58142bb0d4a5eeed14cf22145a50883d0e4166b2 6e22939711a88778452fe222dea8db8e9aa2cd06 7467dc8da20901417ed34e86d6379c6b136b6ed1 7a94731e9eedc930cb9e8335360ab16c526427a1 9b74158d2a835973733584164686dc74a6fe63ba b0496b020362f8f73abfda83897a1f945b2ed0fe b0ae8f40662dea71cc0539545678c88bb4d5171b cde040ff567f466b071cc1a9a4fdd9325063fe0c d921806f20f186bb83772941cf42bee975e09614 d9437c7bd796f981bdd57c733e359e12269ebb4c db43e77b989b37a94968013fdb7f1aae7cc70f65 e77c0ccc32271c3a253cc3ea7aa0689eb9df685df0df918d4045ad6c60b23213b65e87e41842eac3 28b0b14cea5cfab8a9e104dea18417239d359f24 4ba9319de48db2b6cce37b8b1958b8d0ec8914a0 ' WorkerWrapper