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 66?TD m Category:threads=2elapsed=3.199cpu=5.724gc=0.256factor=1.797zXZִF! !]ŗXf1-/6vRZy_^&Z`Qp osr@P[[՝Y+d=wpMՋn1=` ig襁'% %vmTOSk"/J>P|f;#̛S)t<}}:),XgnḞ0ŗC|Ǒ BϏfo7p*J}HRsa]Um$'nz gu,|T0FqL*w?BҪ_B`Xd(2cՓT0iU"a D;f=pj*Νn~Tv7dU2#aN«*2.#E=UtXy.艙72C ۓ>X|:Yˣ)fι^Wn){t a40wϮs{thG@a童fUh]`pc<p 4}dUC2 KRQ66,46ECEC ;#+Q>Q dMC[ɨ^htN4ʄ*z],.$/H85CJ@]h Dg AXUkK>4* ,p4]ޱgYZ7zXZִF! Z]ŗXi% cU,xE`}%վ-XҰS2GѪxbyTM/}~^BqNYVތ[ŸXӤ (   CategoryqK?%D"`Ggr5$fd](dDL"}^}O&XF}(!qṕt+(L|f_(ҽ괸| %c;lq2 q4P4vM mɥE̙Br.ȡzx JX/G|j>I&xF)e<-׀lI8YS9 KR%Cg%̭*1u6P$ 8@nܭڗ]K:mؿ։]ZfN}PZPV+h}ңg-?oNet\=?ư~J %2Z'vɈhX?r\Aqv{夌Q}W|08n.9pmq=T,FE7]N[`p䫙!p!j;X$ 0HG!H[3+%@?䍂_75DձgYZ0ac37a69b62c2ae2d7301864fbca29946708188c 233c392cbe5f40f02cfd79a0f5a8f38442034bb8 34d25fdd93b2c6ee45726530c1f7d7a434d8e68d 536b6a631519903540578f6486061a3cdba3408f 72bfc743d147ef4daaa53806994ba7507e7bf023 8e59b22606c3798a933d493c03bbb4689fe09412 ca006e91f3ea1cb8c6dfed65aec6d672cfb98a96 d82c90603fef2def7218cb1008dad52557b2cbe8 f2949a2222ede7773308b389d4c7f6b9f1b9d5983b94e1300442e1a3f5f809d9b370cfc0bbbae59c 6e537c63d802c0bec001927b9eed65abb991ddcd f6925d5ba347f030568cd8e7a62478e287f17a31