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 TT)'  ! WorkerWrapper:threads=2elapsed=13.091cpu=24.080gc=0.788factor=1.847zXZִF! ]ŗXf1-/6vR[X"9߫TSݬ2KܦfJcTunLsNB2r;#VGlW0,W{ED8ȦW'3薰Z 5WXIe>Y'MvADXYͺgD"Iή/M gĮL A|жrj9Sf^g h=ppPK*\Or)CQ aBГʫu g`d-- f=dUu|n1>L`LѲ|*k鎂2x {ץlE8+ga Uw=%* DՆ -ѿxoڡo+x;GP1Hг@o-  3 \Ǹ'v' ;B4'&*fJ9[tqқW L B ['fRgYZ7zXZִF! HE]ŗXi%6{B oZ m=uh@)߉㫸Kk?6 pMlA*|(5ʃĉ4ӲbV]^TEtp.: ^j.z Zfs䚳hox[TOcesÖ>peՒ Ҟng)<4udLLZM cC}}c( u=UO{NEy0kQ5;: FcG|%.Y8$[!mq9ςhulHzW7E,nޏ_aj3 m;u۬-$Z$oAT>"!mː8_p%>A?AN""MeDTa`Ӈn>0fgql~Bߢt,Q_hcj])$ 4|#Zy)2HEY#H{1 ipRÝ-JcyE+ 6]y(<@ uK“F6_]p%4K8k9LĵI[Ё6RPɏ ;Gtq)b}M GZ892ńL+,^6@W&, hwjgm<Ԓ z3ot7ps?;‰Vk3{@} ;_t=dK31h}pw5lP<K}֞Q@ŲHosKp]ƿQ]*/M2;+1j]t-gX 0:܊яԪ*X`XF Lq= ;.,䎕b} Y8{J`D/ I 5ݞuT66}Owvxw,(NVmU8'V\E'o(E+MdMe #d0T-|9ﶩWuȞ] gB%>U9BAVH [e(]N7.Zŕt X+44iT [gYZ0a2c7d03761993d0a1d05019be99704d2a240299 1671306404d8bf0aa71a09907fa4123dcd140ae0 34542257061391055c6b8e8687d66c551400d20d 3597c940b3ab0264ecb66f5e80c0ac52d5c4d776 46f44db65900a4f12068668eeb99eddbe69ccb62 4e39f6478d860a208e5aabb0b6c71d51777efa4f 56112a8805dc91a83c2737d6bee5ec7c5ea05b85 58142bb0d4a5eeed14cf22145a50883d0e4166b2 6e22939711a88778452fe222dea8db8e9aa2cd06 7467dc8da20901417ed34e86d6379c6b136b6ed1 7a94731e9eedc930cb9e8335360ab16c526427a1 9b74158d2a835973733584164686dc74a6fe63ba b0496b020362f8f73abfda83897a1f945b2ed0fe b0ae8f40662dea71cc0539545678c88bb4d5171b cde040ff567f466b071cc1a9a4fdd9325063fe0c d921806f20f186bb83772941cf42bee975e09614 d9437c7bd796f981bdd57c733e359e12269ebb4c db43e77b989b37a94968013fdb7f1aae7cc70f65 e77c0ccc32271c3a253cc3ea7aa0689eb9df685df0df918d4045ad6c60b23213b65e87e41842eac3 e02038ad1e9503a02a8e11b7cb457877cc454f98 d89f71d5d2ee0a36d2c2a6c8a200096443e783cb ' WorkerWrapper