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 E lL S IOA-ABP:threads=2elapsed=7.490cpu=13.216gc=0.296factor=1.767zXZִF! ,7]ŗXf1-qN50^%Fr#W`z'eR?c2u)/Q\GBu㲬őJ3m9M0fAЫ J@E[&82 s3T4  ^C:f 6kkv.W.@}X%R1?;"߹IIL(/;A^6sDm3Ow6A9H*yhκ=ݤM хk+M\M~@ßc^[Լ=L4EI4yKՙuvMh(B?/M^،q]9ohƎMCy]ĺ%?Rf1TM`vQ>'ǮloFvúu +j>y]tD-^s^MH6J%ALD:hBz#d!Ň 4f\!6!Gee?v#xv?nbDzjXb,o{gYZ7zXZִF! %W]ŗXi%Hﱙz6\%WH!{kej̄ P)+jr SQrV۩E?nA@j1RJܲd+0i̷. G.UZaSϬ0~>hX ?Kg㈛ zƸmfo}@MLԮc /큑ð (j1I!yt*k-B <ކ'sK^e9cV4-ڨR%!^Lub~!̭UM~9P!v c>VsPR.D y$% w(u!_m8jjq? HR>3&dH@(Ŗ`JŧgYZ080dae06aec14b828aa37d39b34ee8b44a0e18a9 0a49159f483e2644341db188774a133e432281e0 315dedad6bf63cf6376d19cef535f51d6f332a63 761afef055995f90014adc08a2d6e3587a21b474 781fb061bd38e288d34cba0200e25981e7567598 7d12d7edea3a531180c2c2053a7322a41d874610 96e3a471d3b874ddfb93bb394ac4ba897cd14b4a a603ee4196c9d72d68023e7d2f472dad55892814 ac0049eb2877daec256c11b389dcc78ac1242da1 bb576dfed7c0bb787618e694ce9c0e86609d9264 e3d4f177af568ca9847e91ef811aff305baecce2 e57fb5cfccf4ecbf13bac53bd1c7abd1fcadd289 ed640e6cf4e978447badf183263663509801dd4e f076f310f70c80397c6a792d4576161a4a9efe6f7f2620c3106ba8cf7d1c7f769837afcff4b3cfdd 67de1e4faa6c594cac8f83698b542c3bbb933a16 938d638758d7574cadc87f2c58296f82c16554f9 a84a3992ac6607bc1a299e575d43532da61697e9