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 @@= L< } XML:threads=2elapsed=18.723cpu=28.764gc=1.872factor=1.547zXZִF! ]ŗXf1-/6vRZyjg 78pl ?e7g.j;f\xCLmCw$'R 2v;`4ya=okLHڪYYZV&c=2^lκhǴTk$7t)\#zZ8ЫN+)Ѱ%hs(UMT5o.IVNѯS60=v[=)Br6ȼ`o/|7%q2fp BZ7aCBP`7A#m8Bm/Yɗdi w98^)=X[ϥnLgHfsަ {/׼sōl `\Xu9l-u}'1`:VS -J7CŠ!gQ*{-"7ILDWhrWC6^>y *LѨbyZU5"/r$Wc[b"hcwrakkLPcAWSOCy%< ʧs4Hxu=V qLqP{UWvsugԬoWpR͏}iq+cμ&q(-k%gYZ7zXZִF! `1]ŗXi%6SqP^\GZ:J\A.93L1ZƑIk'Udw9TRO.//1#LZKdjd'>= Wb/2| awLizI8s%og3Q2WIi wd6iY2,4EgA{e gPV6䪥 D5`KqX%r9Z'Ӆ\{mS#j{/n]4"O*]%!g]>RoLD8#:(#F*_78{?FT}OX O]tf`sj-~q¬^~p HݵsYs<dl'7aNoqRz_/rRi) hVz̬o -{Fb2\I=VP.1EmE ȇ/ /VN` ԥuMLA!rۇUp1X _GTX4b~pmm* (mzV;k Sv1ak|bH WĿQ>N95Vz#4r%ɪ؀:[L@YjXzwa)7=:`O`_[ʤ{ c!Q'B Z͌a}<e()X/ ̳>|#Jj79דIJ̩+Y!ɳqUA[6"B q7gYZ07fe2884c3463aedca90506275e9f2e53c964a31 09e0808c0e37c102417cc80ab635572ecd263bca 0b69d8c3f70856201e8c054bc34357b13520292f 18aa0abdf1fefa55988ded8ef401a512df7f012a 3122c5b55089566c74375976fd6040cc34c326db 341d088b709cd150fd9c1a2653b7d716a51caf6c 37e048eca1afc2c069cebaffb562a02b039bb22c 672bc62e6aad5968bde78a156c202792bf742869 79f31440868c5686b204e83e4f26f92eb8d94f9b 97c7c8fdf1e6357f7c5e260522b830976cbf9a0f 9bdd5aa3a04f12448f7300dfdbe400d0b0c4b078 a526ece146642d823be07862c7c8488392c4dd25 a6638c627480a5e8ab799b8b8c54931fdd852454 b1e21aa57edd70bde8f216c90c9e019b2def3613 cbdd9fc6d6570e1d4cdb5f290d2b154598908d6c e425ad06b9a49f5538a36969a1faa9e12ce5bd81 e438ab71afbf69bba650907d5d74b783d37f1cdef0df918d4045ad6c60b23213b65e87e41842eac3 28b0b14cea5cfab8a9e104dea18417239d359f24 98dcc7bead3126f415ef5f6e3e3cd69aeb7477c1  XML