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 ==,' 52]ΫcٴWЦz4sHq)w&^&{Dɕ~EHNc(F-I#Tf:అ%k|NY̝")0(sp}9}R4QVSr݂N~5}w&wGԀЙnN{rӏ ؔ:'Qq{NPd)-VI4&-q4di#[ȅ5֯}žLխ7:ܥf[O/^U U!24;ɪ%xW:Q⃩ ͢P"8N ?BUvZ,妼h^ ٩ٺ 4ءDH~*A&fKnS@ۦ\q":l ES϶e$|S:ƪ݂xӠׯ%jD1#f[tq@ BөFfriΤF?9Z.Ydt:1e$BDɪ}!s̘4# etZj[?mxwwV{/1P,z#K!rثB`9eO#l~5X0IݟW%$gJ:[C-=O~xnk*0' bWp(NFD7?+cq-.uڜGKlHR5G?)*$[h&OwcjNąNʏJ%Iih HT8'L湪#۲^BQ]8{fRa`K^:qNc])r![W7!$+9"YO؍=0VR_6R+nxlQn REcPLs|d `(Ay'40FXŊ\CFS Koڕ߸!q!& U).q֣E*F߶4?ȳ o;& /Y=\M0unԐL%:־y*=w%X0?m|i۰Ȥ 8mX8b^&XH䡘|tf _~# P%&6ܳ_̭"ѓȾ{<~ɋm`^zrY!UBPEgxv`%)g~>zaW%]g EF3rх sonX(Ve=q̡)^N:^}Y.L{=_ziBȼ:JJwҠ&3 Y.Iγՙ/w29l(u4-ap&Yunt ê}߱gYZ0a2c7d03761993d0a1d05019be99704d2a240299 1671306404d8bf0aa71a09907fa4123dcd140ae0 34542257061391055c6b8e8687d66c551400d20d 3597c940b3ab0264ecb66f5e80c0ac52d5c4d776 421772704f71307cdebbcff179b7ab0ee0679cd0 46f44db65900a4f12068668eeb99eddbe69ccb62 4e39f6478d860a208e5aabb0b6c71d51777efa4f 56112a8805dc91a83c2737d6bee5ec7c5ea05b85 58142bb0d4a5eeed14cf22145a50883d0e4166b2 7467dc8da20901417ed34e86d6379c6b136b6ed1 7a94731e9eedc930cb9e8335360ab16c526427a1 9b74158d2a835973733584164686dc74a6fe63ba b0496b020362f8f73abfda83897a1f945b2ed0fe b0ae8f40662dea71cc0539545678c88bb4d5171b cde040ff567f466b071cc1a9a4fdd9325063fe0c d921806f20f186bb83772941cf42bee975e09614 d9437c7bd796f981bdd57c733e359e12269ebb4c db43e77b989b37a94968013fdb7f1aae7cc70f65 e77c0ccc32271c3a253cc3ea7aa0689eb9df685db9c0e8f4a3ec48522e3484ee292a510c958aa05f 7e8b43cb6cf3df2a7c6640f5f367906a273b3e9d 20fe1ab041090548de99a0b2e0a11512b7380796