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.253cpu=24.404gc=0.844factor=1.847zXZִF! O]ŗXf1-/6vR[X"9߫TSݬ2KܦfJcTunLsNBZ@ו|/WNa\Lo:̺fcVi:; ]Xy<. qy= gU0z5CKK㶵LP8Sˌnm3`{oآ S3鿌)ݢm4ϯCm4HUw.\'K)WD?Vd^[8m‹ |kw_=ǥT" x)l7&Ѕ 'BwLlg|(2[~5^`O#jh=iB 6Ԥ1C藀&:Q ~TCT{{+撋DBBDT4u!n`(x*Zǽ.G$p=/(v}!u&səX@eܩВoIGԥ@C4+fIcydH2S}lRgYZ7zXZִF! H@]ŗXi%61RAj>QbO@'j0ygy)AL<$&]㠢Z*eYXC|@|DPJ_C/kj-439`1 8pY { 5m|.5\,;1ޟbigݮGqO}G@ `.34 5 Pƺ5G}r̂HΫ' 1'o%=Y(r<-џga( 0Ha`ra__rIo 'WL">w6_NYzi5 f-b YVQBY ǬLLGp'$@)eȟ}lQzÕ(0M:fC/ޒK0$w-pЍ_3p;< aLq /۶OtmO6T΃(PJjeDq_R lx;#4)q1cjs8‰=rMb>*itr[ý=! rBvYT8-<a=)|ţyL`9=p,^qoLFİL3ED{PND{4zit~aw`0?jAtD <|:Vh4|u5F4Ȑ9OPKPB krԅu[ x 3Ly"uzL /];]D.+ZgW,*ݏO|? eP4лJ"Ybͅ;]. F~G*ޡigYZ0a2c7d03761993d0a1d05019be99704d2a240299 1671306404d8bf0aa71a09907fa4123dcd140ae0 34542257061391055c6b8e8687d66c551400d20d 3597c940b3ab0264ecb66f5e80c0ac52d5c4d776 46f44db65900a4f12068668eeb99eddbe69ccb62 4e39f6478d860a208e5aabb0b6c71d51777efa4f 56112a8805dc91a83c2737d6bee5ec7c5ea05b85 58142bb0d4a5eeed14cf22145a50883d0e4166b2 6e22939711a88778452fe222dea8db8e9aa2cd06 7467dc8da20901417ed34e86d6379c6b136b6ed1 7a94731e9eedc930cb9e8335360ab16c526427a1 9b74158d2a835973733584164686dc74a6fe63ba b0496b020362f8f73abfda83897a1f945b2ed0fe b0ae8f40662dea71cc0539545678c88bb4d5171b cde040ff567f466b071cc1a9a4fdd9325063fe0c d921806f20f186bb83772941cf42bee975e09614 d9437c7bd796f981bdd57c733e359e12269ebb4c db43e77b989b37a94968013fdb7f1aae7cc70f65 e77c0ccc32271c3a253cc3ea7aa0689eb9df685de4688efe0911f3c4685119d2413b25847e9bdff2 e62d7733884c28c7fb0a292b7be70c4f22bfd1a3 9933f881dfdff901bfda5d37e9e94680bd990f78 ' WorkerWrapper