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 KK*l %/ GenClock:threads=2elapsed=4.133cpu=7.632gc=0.096factor=1.857zXZִF! %]ŗXf1-/6vRZwE}%X:!:7^ er. .? SAsǞΕ9I/XP j ҥn=3}}zj{afR&0|'֔ 'UXZ.0hx|ge; /4t$#|8$;KFtV;]Tfi:KO*|1&cʈS · "FuAPw;|n7 `{v2eZNg@$|6"^ mQaEgYUr|ѱ˙66)vKd\dG*G -9k? {Oྒ`ooXtJF뼋'̦BmjfCꫩ>Qez7mRqb]j{81?\+H-wb_*YÔ7@!0JxCYAbNnbTdRxξ\| c˝r'1iq‘lKbY0Si -xE'ab&Yʾ&RٱuQ?@ofvlo o X3Εs'yݠ /z q'e%- TW7!r,l03-fj)ncaL0?+oK!5=,ԷysɝF .;E37m报7?a&KLdKa"|AK&!=ú%LKBԍ W ={qpG2~ajxEIiMdrLYf%GhlʪҲk"rs8$apU5~rhsVl],~vҎcFזa%ݰ _Y6]dGp Rgy[Œq ǓMw\h$Ŝ$f푤&S b+yХe(l1Z^\ j .tnp ҰM&tqp1٪;%̓t뽵?ٲ=Ĺ;;8PTrq ~;K>:G3rQ_19)4Os +s\FR LTKH