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 55H eMx?/᣶ކXKvCt:_3?pi v4٥[['r'͹ga[- =ίPFEG-vE ɞo>\Scu0sy3 L|hv iqn`QB.шR2!f6`A>=zeX< )QZTY=eA;̞ ߽ndg{ߖ׵T8'Wf rr•Y".*:3b)tȁ~iK+iv> In)8~d3'@6}|9Ρ!бZkYcZdy $yÅZN1<\*̶Y9=wEv;5BZ}@`HMFv̋QW=Nj|kXDSbJ*Q3{^Ys{@2}'u݌]J_0%$SϚ[$ kI'wF`55M'aԣdmEZyD"Bb 0RZo/"^3~Q4^.d"zzs}"ɂEB9C8RQ\ݢ}gƷO_xq%|9*Wc۳-*ܝ"9n{eU!mfִW}PQtMx ]J 髜w_c8ؽqjӛMhD,2nwO_f~?J;Zf33f%،y?G#qwj$0Hhctry#zSwE9/`&8b5eM7d m!z`:$.waVa7*E|)`]bfjܶɊ14no/hN˨wZYcD$SZw7 MlHV E(8cJ !-c .ר1d&AJ*1T ? xGdwc8/a=n1uo-ѵkcAbKwT$ԖmsĉRY/5HE'Jp'>VR4(=-@2nj,YbBM`S9AA㍽[Y 2(]4~3V'08z.!Dͨ _@Af*Qu&6yͳRK$qU]| y- |i+)A  J\lK0l\di^igΩBN1-{&nmH6WuAG:Fc,V&LJ;d֠:dTC \rKHVWН@|_j6@QijM;!ɽh̼-6|D*g J({ 9`ͣve0ir\ԝҡ-z]58ޥZtܖrZ2 iSv3͖KJ9NR;d?`Y<]8N(7[}7#glv-_44L Sհ|g'" 0a 6 갮P1 vPN$ha"/;4t|۞ӹ,&5tQғr4d0{@E>K?`دX 8~KM6ygYZ11d2f772826750b80c536cada54b8bf09dea5a2e 1fd9b5352922ead1afd4e3c8107e2cc83e3b2f26 25a8fc63d0185dc4a05fabfd76215d1022cab7a4 260d43e3f891ad36da4e228e1d2832c103ac4cac 2cf2a3bc01f25d2422342b87d93a704ef02dbce8 4144758710d5129c96cef7ab17cf219cdd99d60a 436619fb4bc4ba25a8c192bf4cff6ac687e93f39 4f4ec1adfb79042af40d0169b840facf4c85cf12 5206bda0ab5048aa5109e02aeda8fd55ebdf7aa3 5eb4dd6aa8cdd5e0601c2ba2e276e6ba065adaa1 6c2bba698a817275cbc14fd790731f7a6a0d01c6 9cb2c03f7d5a9bd5eae850d1a5cf508c3841096e 9f7147e9139a29dee5027cace165580e1a062196 9fde3ff780f61a879830dd7c191349169bbdc5e6 a53f9a7d35ae1a743e0277643e6017e50a3f96e2 ac76c7eee28bac49e7ea4b983ed243d81e98565f b9eaf04b6eed8ab072cb0d80000eb5ba8b3c1273 ce640f68e864816fb3c0d7432d966bef09935a30 d09b3f7f61129efc089074068bee425de33dba78 d2652bd3d34532cab5fda4676dd92ff616494f19 d50f5354de7289696b328483a50923eaf1cef578 ef531c0358e3fd50519e1c143676b8ae5d9a8b6a9711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4 c1f78893b8ff18f75f1914288f7e034a2877cc05  Tycon