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 ))T \<  Tycon:threads=2elapsed=10.454cpu=19.544gc=0.652factor=1.877zXZִF! S.&]ŗXf1-/6vR[l>efD U9gY(K!c"2}a}5mv3z`DG9Kn -u+zr(D>\,˷B 6((k-z `|i)챁-UC9p=0 􁾊yJ+EߏS73BS<,۱C.\d8Y<9Tr -"\k[A5 }W;i`]]ggnDѵV;k 6l2tG FҰJwѯ2^8ƽ10ly^q(H¶e- w5{NGsQc7?Pbflv_ĺu{vCGyا sH!q=HEU"H]|(T|w akz:Em1*^ms pBa'TK?i,S僎 hEϝ"N/w4A501f\fGV֠8R Y,x=wi:M'0W*҈mYzYKrӸ{H5Msc9nI\Ȅ(`.~8m r\R4[iSO?*R Aٖ-røV]<$G0P\A53}p| Ϥujո +#|Vp`A!(6o\%s ]:zvp.r Y^8UV`iv>H]˛rxJ*TLOqTs<ƈZ%kiۏ (E`N0GD90A(ŭۺ/ 8Z8ͅ,kېF41`A=˫q-c^z p0"EP9Dvy}~l7`ZDz|(_K9HAtH ;; )o9[B'>%g| Ȳck 1#Ai v\=/ߡ2U.k[@/Q=ӂk;u۬M}MDmJJ&+f[w1}vNLr2Zb\cf\*!\ > 7Bs;OhĊ8:  YS"amA2x\`d&ZoSdoh%# Cޥpe{+΄R2 ә)_~ײmT뀢4hw< Fh7BvޭJfYL0Wfat1C EqX3.so\І?˜(qkӤMnqdO&Uyz;ZrKgxL{98?BLE'{CF|ܘmkěbJ]̰LEV!os4PcHZn +XEb\ۊY&gh-=Mk.1dwmya` ^3sJIՒ%oӸC9 HHW CV'|YꊗOx 8yKrzM{?)Z'%׵Z׋_eݑ/BԊT%GS2Fx6 12Nv¿1l;)n?ƏI2W,Pc%U_*C!vITvh,SmmKo&Ux]pCu.jnOAkmge"x5X\2M#dygYZ11d2f772826750b80c536cada54b8bf09dea5a2e 1fd9b5352922ead1afd4e3c8107e2cc83e3b2f26 25a8fc63d0185dc4a05fabfd76215d1022cab7a4 260d43e3f891ad36da4e228e1d2832c103ac4cac 2cf2a3bc01f25d2422342b87d93a704ef02dbce8 4144758710d5129c96cef7ab17cf219cdd99d60a 436619fb4bc4ba25a8c192bf4cff6ac687e93f39 4f4ec1adfb79042af40d0169b840facf4c85cf12 5206bda0ab5048aa5109e02aeda8fd55ebdf7aa3 5eb4dd6aa8cdd5e0601c2ba2e276e6ba065adaa1 6c2bba698a817275cbc14fd790731f7a6a0d01c6 9cb2c03f7d5a9bd5eae850d1a5cf508c3841096e 9f7147e9139a29dee5027cace165580e1a062196 9fde3ff780f61a879830dd7c191349169bbdc5e6 a53f9a7d35ae1a743e0277643e6017e50a3f96e2 ac76c7eee28bac49e7ea4b983ed243d81e98565f b9eaf04b6eed8ab072cb0d80000eb5ba8b3c1273 ce640f68e864816fb3c0d7432d966bef09935a30 d09b3f7f61129efc089074068bee425de33dba78 d2652bd3d34532cab5fda4676dd92ff616494f19 d50f5354de7289696b328483a50923eaf1cef578 ef531c0358e3fd50519e1c143676b8ae5d9a8b6a9711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9 794c13dd035184cdecd1fc3a019c461070c4908c  Tycon