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 1 d + HOL-Metis_Examples:threads=6elapsed=11.816cpu=52.532gc=2.860factor=4.457zXZִF! Zi]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿fZfm 9D똓ћiwvIp2/ 98qTuӤ\۠[\1rVe NNq}zH 2^=z0Uಱ9e 7;yN&O;|0GZJA.nK,] mLW >疩>,7IŅ %8uW$@KA´XqiNZQi`jJۧ4^ñpŠahN;Āć!N4kF@vJ/qɣF0c:.ԏGۀY:s\.cC ܬ:BپJv|Wj/G%c7.$iτi͢U![vk )~B Mǵ)|mme^5b7Ftp{0B+ Q(8`'Z1]r!8!|Y%%WVzVu g;[lMUa_6Rh 7<,GXwSU E8˭ V{vĊ p:c e2Nv 0&V cw)#f7=}_j/y$Uݑ5r205UӷÈ֬CC;߾(fav莡qKJ\f [gM9EAڪq'EaID5)B.9X`خF8>N+k -?3Cmʗtrh5.a>̹"EZS77Yۼ*|_VfdDDJcA@s޹˳ꇺ%j錸 QcbM,XyF4b,IYM1u(-ix `Q6j#Au.@?|DG'xV oyZ[p'!j@ Z.CO7T# z0)ޏv"t{r8#qw0nh6"_D[@LCwQK^31,Cy;}~M c`"4F0'a_X0c-*25)iC w iwqOõ$?b,7|#^61V?䑦4퉄(K: wJtX+@_mfEY}~󵟓Ri/_ˌfHuZyyjG[ Dv5Ṋ%Q̼ܸ=*@?@A K3Ѹi2A[Ǿ{x]nֲ!C7ωN)qLcYv]ɹw{ՆT OJ ͝nm%-\٪;¨*t)O97[\VXf/'׸ "_;BQ |t_bw\fHdDK{r?Xl:rJv/Ѽ2 :,I??A܍ 1 EP*-Ԏ} zM=lV;+ibӯVHr]A`21UDȘ3¾q J~CvY*jߑ\ COO:v“VP.K'~n`+N4sV2N-p'y{I+#]qJ0a㛮-tY.ۻ?̑q,tz] ^]3m*m@Nu~\VmSW /)s0 c h}Vp}HNYWjpgE;2Cȼ n\5XjxPTd }zF2j}1Wk30ȕ@g 5ك9P`Qa03k_"ҕe1aVPjŶԍt1\=mZXhDOP&% @ئ^= _4 mdRigYZ0e2369879c23ffa3af808601205c5bb2f112917a 22e1da7fbe4d6c8ea2c63bd30eee90288a1de6b0 23d1dac6518197bb653bb2dd01cece9190f4f6a9 30afac17f29e367c46142872751722118953e506 4ced3075193a3da52704475288420dfa4494b4fc 4f0c77af82d612cf4d1f6af8d930c9b232f46a62 6cf4847e81aefdb0b84967237fe250cdaad0fb9e 7994a7ba3037704e6c7621623106d2250b6ddd27 848fe41a2972381d353dcdeee71ab681f1b6488d 8d8f1e54418097925165113cf7def28df2fd1a0d 9a362efebf64ffd920419226b62b7d7b9594c189 9bf2a719c4847262ff5865ce539ab70d1e93ff5b a29e4a1b14b46397f2d97d488081eb16759e6af7 a57d9982f519f4520bc5be96b6cadce5780761b5 e35b62887e26e404a56a924a6d822ce0dc26ee17 f74677738c92aa5cac3970ad1ce529e2d0b0bfb7b7a9b2dfe4980115e308a4222253abf01f3cba22 ac0ee46d42a46b8d0bd5ae0397e22d107e7ad682 026c9caa8befa3a67feabd448ac9fff1276a46a0 1 HOL-Metis_Examples