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 D' ,4 ! WorkerWrapper:threads=2elapsed=12.453cpu=23.376gc=1.020factor=1.887zXZִ ' WorkerWrapperF! e9]ŗXf1-/6vR[X"9߫TSݬ2Kܦ\=Qհ+ _PUCF<=$g'llfyB/j$罋F"G1:ˡdNL~|k /Vo_a{gu&!akgzF W#:y^GD)#cF5rjg8WEӞh&$ >ؠֲ PU i(W<!]PC`/W(-}qx<$|j!ma5KrHS4΂0+pg8yR5,)7sΊ#TJ"jq[X.H x; a.>,iTEB!Ń@gҒ&#Jm^lxѣڗLp' Wfta;D߃`(sg}, kǩסeB=vpM嶏+P#ОUK\~lG31^k7.Ϩ!K1@. X)F..si݀S  =('rܢh/A"od,4.oZR9)'{e4g* {?~'O@6f$HфNkpV\2Yח^Q5>Iը):F{tѫg;|NIhwg:DjlSkDoDE͊@̱SKx Ѷф,"{z"ch:!ȕ^.bgH̴+/)?`M l0qi 6ݡߝnJ؂ŗ{ \3+1 pVtT~=T+>g`\ H'*:W6+GcC?&8\ RN{?(h,P0z:NQ+YXWV3f#EQ7{5-Ua nD)8AvKsgIp芰X`W`Þ%,rEգLyv"%U84`%/! Cx&/ A)F".Yolql*K 8K- XCxFmnMO3TVMn-[pnfr!۵a R1M^зa^p^DL`}ZIDnyCcqr6]%? [IXY,3O>`~kgIDJ;K& Sasi)כ`E ё1}Ce^wATW"\_wA-ZN=@[x=-$8RӨPXv9N`:Pz+Wm=s-mlU1v/A4 Pg_vHY(դ3טXIS+v%1hbK;:Rsu nZb5yE?SJT/zApc9WHY*Q$ri9x,<g`x!CK J`aXv<]L#'ĭl]j~e-wв@ͪq]o!֪x4Y4p bu$[qS7|DɎdρd-s%1رgYZ0a2c7d03761993d0a1d05019be99704d2a240299 1671306404d8bf0aa71a09907fa4123dcd140ae0 34542257061391055c6b8e8687d66c551400d20d 3597c940b3ab0264ecb66f5e80c0ac52d5c4d776 46f44db65900a4f12068668eeb99eddbe69ccb62 4e39f6478d860a208e5aabb0b6c71d51777efa4f 56112a8805dc91a83c2737d6bee5ec7c5ea05b85 58142bb0d4a5eeed14cf22145a50883d0e4166b2 7467dc8da20901417ed34e86d6379c6b136b6ed1 7a94731e9eedc930cb9e8335360ab16c526427a1 9b74158d2a835973733584164686dc74a6fe63ba b0496b020362f8f73abfda83897a1f945b2ed0fe b0ae8f40662dea71cc0539545678c88bb4d5171b cde040ff567f466b071cc1a9a4fdd9325063fe0c d921806f20f186bb83772941cf42bee975e09614 d9437c7bd796f981bdd57c733e359e12269ebb4c db43e77b989b37a94968013fdb7f1aae7cc70f65 e77c0ccc32271c3a253cc3ea7aa0689eb9df685d fa02f64b6af971101196467bac5906a3adfa02283b94e1300442e1a3f5f809d9b370cfc0bbbae59c 6e537c63d802c0bec001927b9eed65abb991ddcd 00a03cd303df83fea9bfc7c21030d3fe219cadcd