SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 vv' |4 ] WorkerWrapper:threads=4elapsed=7.126cpu=21.316gc=0.624factor=2.997zXZִF! >]ŗXf[&M{z6b'(+6(3J6nv㥷8_`^v z޵(#h)@F+Y{$iix7M#!9+_" Tuscڰ+pop8n=ZU$z2 8S ~i 4/6[QK0B[\u g*wM}cݜف#R[{? bjV %{+ e=ḟ:A d}upOٱ7Dtn2sLSiƒOj)dWoO{f#IsC igG_3ٕՈ\&fDȨֆ&b?& WV \J;";:$p5c_[q:REgfO2/*\T3Q3cC/;ˑ;zN]ȑ;jZzz !II-BȫĿC\ٿG/gYZ7zXZִF! 37]ŗXiɟ mLr?wl:bA8YÙ#Z`yRAZPX|?x[ɯDax.L>4iVxJah凜ȁJ$<7EYۜ]#D 5D'pM}vWL Mrbi~)Vdf3?Bl ɰ58$ @{. Risj.1kFֻ2\u5'6ӾțNQuduq&@ N D +$X4'f "Id,X5XK}D!LH`- ynmIa3olQ0=u ݲAzt*&%|j=V*#yYXx |A%x -EF=sB/tcW W!q9Dx 6pvdY7~s]N+ذ>篎6e'Qa ot.)z0SZQɇ>EӅ*Wq<K(uC2FHQxR ܚMʏ&xq!r#u{/ɇ8;5Oou &N~b|c񑰣&(NV#OQ(\pJ?J { w+~ &ɼ7MZ"/ѠsC@<ZF# s6 , ɻauy7B2e|_>%wjhT]:Ĝ~eJ3ޚ?($56j-PD=??4Y"ۺee%:+]MpeŔ~g0׻kJ\}s_}Bb"1E&p_+9#>~ ygYZ001b9590773c78bcf07c0badc56b0ab82c30369676b019a50eeda51c4b74870607c55fbf00aca327 dd820facb07e73b2c93e51e4d0b3041a08b59568 35accf6e077c003b02b1e81efec5bcac0026aac6 ' WorkerWrapper