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 h ,  Tycon:threads=2elapsed=10.465cpu=19.324gc=0.632factor=1.857zXZִF! B]ŗXf1-/6vR[l>efD U9gY(K!c"2}a}5mv3z`DHKpgh{_;2>2RR$@jLKp{R_8:dM>ͺE :Y^N/' āQk;U&kY Nr!1|f@ӦƟt꫹ɼc5%qHkWO"% #.]*ֵpZճF̶9oVډ>=VC3yW$(kv/Mq „Ǐ|0.a❯Y"XۇB!@h؉u_wܥ UD<[ hc6kAS9b72bݴ:76t$j5kST;lЫ}Ke DM<"$)/AD&UV3d,8?ƞ{B"ꍶC4?+\)SȄ)-J:d.5BV~}λ F0 .#DIOA?F]{% .GOHZZgYZ7zXZִF! <]ŗXi%6xqmΧM)o> A(vWdalbg[abxSQb ,;6@w`,eb/'аtuL T;CFV?F_WQΈ5R~*}d"M\쿦s ✪A1.UXZ: jc<Mw~ I5u6-]uQOc|,_Z2`xQ"oxñ8K.۹kXE bt$-Hg=_8A0M]۠O"jzwbH<[?Y%6 A[zhJaؔ N $K|,ӥl9 !͎ǐǴ:RZ>y)"N{/~ٜ eGg^,HjmA9pc0Ax2od3q.h}?ck6Ql(Lp#c5̞BL\ ^ %Ո9/#[<7yKw dGV}`\_1c%)t 2+oBn(9U8{!9YT=CqeT&;F-Ȃ7BI*V t>?H%.+_Vwu\̐zk{Щ!|-420dj$[70 2דm)ݫF'=AXR%"q;{vrEEA ,5Oo5!_xVMhW$<úx16C Lڲ3u̺3?m /ޫx7)*WnH@Uɿp`Z3fk4{GswVNeiBV-KM!EcbCR<{‚Fn ҚQyj~gYZ11d2f772826750b80c536cada54b8bf09dea5a2e 1fd9b5352922ead1afd4e3c8107e2cc83e3b2f26 25a8fc63d0185dc4a05fabfd76215d1022cab7a4 260d43e3f891ad36da4e228e1d2832c103ac4cac 2cf2a3bc01f25d2422342b87d93a704ef02dbce8 4144758710d5129c96cef7ab17cf219cdd99d60a 436619fb4bc4ba25a8c192bf4cff6ac687e93f39 4f4ec1adfb79042af40d0169b840facf4c85cf12 5206bda0ab5048aa5109e02aeda8fd55ebdf7aa3 5eb4dd6aa8cdd5e0601c2ba2e276e6ba065adaa1 6c2bba698a817275cbc14fd790731f7a6a0d01c6 9cb2c03f7d5a9bd5eae850d1a5cf508c3841096e 9f7147e9139a29dee5027cace165580e1a062196 9fde3ff780f61a879830dd7c191349169bbdc5e6 a53f9a7d35ae1a743e0277643e6017e50a3f96e2 ac76c7eee28bac49e7ea4b983ed243d81e98565f b9eaf04b6eed8ab072cb0d80000eb5ba8b3c1273 ce640f68e864816fb3c0d7432d966bef09935a30 d09b3f7f61129efc089074068bee425de33dba78 d2652bd3d34532cab5fda4676dd92ff616494f19 d50f5354de7289696b328483a50923eaf1cef578 ef531c0358e3fd50519e1c143676b8ae5d9a8b6a554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 ff1d323a4c29d5f13156bf3518961b4216aab2d8  Tycon