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 CC+ dl ?S]Sturm_Sequences:threads=2elapsed=42.111cpu=82.452gc=1.568factor=1.967zXZִF! n )]ŗXf1-/6vR[]SZVB@IJg)]!qe + Sturm_Sequences!5:,M" w)KƺEݑ#o3 S,"{cV/n{}a3n<& y!Jjn ?knP5]<f*m;nU2QAX?ԈH;=uU~и2R 1ﹼ$oi:Y 'Ê3Ƃi8Q'EZ׳YF1qFBۏOCOpjb:;e6ОhM⵰ MFG6u]FLJSIUhoV}˺T~Ud:ևy,@rC; 7Eވx*:ՙκb (NrAahN]fb =yF'Mi%zF;#\$6YFlqՊvb6Yֺ@AЊPsM0޸&9O#:#.?w-ojwώb8ēPÀwX=z{!1/`|8VO Lz&ݍzi#>!מz̝ G(''x %c9Y."X{g"H+..f)q1(3kݨuL5WI8֌\yd tM.VˢsgyJ5׻&qa2\Meq፜žۄ3W)85H4sDHYDg-ζdtgxjQWn>,[~$JDLAˑ@؏ٍ8*n1`ť K"q J.Xwhc]7B &a!S8"^?C]9]հgŪYW]5q3`A),MW?G^)9+͉hyOz+V%+? mW.~tF3M =uRQn jˇn=z)nz$nqC=n ׽\-x/͆X<BIPm}{o,PϦjZh=[Hjڊw ؟V=tr9wԁ֠Yex.2 $REFטkYnvsl`6#|9pՅNGT_[yX:v-Ү;Tuep>_y2pf^//=W*(V <CoitYA]肿8A/D2wP-}ɚ셓X YJOBASm6G8pjav$Šׁ)'d@~y]qV@_Db ]YD̴.N¤@] I췝*ONx弾 i*ɶ q㥩L.0cPs1$G#oo+@O,,= wR/E2'l6 M{cdjt͖3|zk9F D,b-f%!ь H<[._ޞn3/yL  yGLKk +KUl~ Wf53rwKٳYяNB/v] ga7p$±#^asLW籮tu?g94Z3JxaJmZI sWʖqőbqeO.[ݽnLX۷ȍK_,/^J{ޝ:^峼?ۓw?s;7,URзY)2Ą]EagǤ0`4?])FeF_ߝy2ZCS22fHD*ZYo.CeӤj1{h5|?zI7^2WL|w;RuI:v0sOCЫgg.-2ߝ⯡2Deܙ0x<18*pՊR~FvF.E, DB٬t%Mn V+Ab7lun2#v}[5sdmt=&9W\[7(vz)X-Ш y;4Q'6ݹ}k/0{Kٽv/aJPHh[u,y4#8F?2]?칺zcِe3uGW 6]I5q ݕi1DVK}  -Aֈ mN1~¾¾ZO$!(Vm{sp܌|7EafTW|+0D^{=VcpŸ,:I&;8fe+-G{RS}G23>O%-aCc5竽Ҩ/!S)y?^V7~&Fҗ6ѷTOt16j #iI,D:֐< xp*[oaj sykZı' xɬ+1~Wi"`s^&M0%ml!p~-zsBDW9#iFKFū7uR~^%iWAcmEpsA G w"GY_'Ti])Buf*np0c` MZۚKu &/X^B;`$<g*Ҩ i+LU^6|+q `鹎 imf+u8v*эv0ZG>>4)ҢmΑ d4JTk>*Ø- cCr XKI1 m:oFU粯Q~D3L!Nl dҷ#W4Ap[Qa}Spt]h%~ʂUb]CDXoʒmDſHy6MK&9ީͥfS򬩼uݭ7~йB)'sΕ!dEMGJ ;!So}\1eRe>6$rh'J_G^AY*Br_7r`0p.=G6i}^3p٠;]>OM*,ږSkSluB cp#Q#ӄjk-z~!M.㢳$C:ۚw kH} 2|*WggcMKks]%v }ھ٬!+}SZu^0(-#F@GJPʩ@dϯbbe K &X۴SLVDz 25bS>GYnJ1ER}ݢ{D.FI)N ?*~#3.%.4U:恲 dYiE(bkfU{7NKH nG{7f0c Ѫ_Hƪ|.П;`aGU|sj ;g(ܤ7֓-vުE+z{^.9#L Ӡ&Yu嚄JR]Grv{* |d/Y=:jLR뢹ED7æp^Cq;$+{QkSnk+V%01lЖ jz$`0c`AhqU"u>+`tWdRDYؚ^#&,Чu?A zvKHa 0YG6q5aޡY\AKw$fŃ[UIgum+ղݦGsgYZ0f88369cc7bb8db9fb816bc7f432bb63c4759322 119489a3e3d8e99d72521b040365de7941f7f622 19c8dbad5648050597dee363f077c3ef6069ec4f 75ade10fda4dedbddf0c79d726d2e8b3368799a9 8e1395268a387b25702632b1f5b5219090c36b48 c9385cc853612c59a697ade4bb07314f1f2a52e4 d6cf29e94c065c45a888abbeea16c29847f274b1 d8b3344fbf9d3bcf9f7847ced09d257744d6dec4 e64da87197b6cf6a72d86ba6381add534e159263 fbaa76028f840c497e2dfb091bd7f18565831c1e3b94e1300442e1a3f5f809d9b370cfc0bbbae59c 2f80d3f93a8e8908ea20a991b6190f7aaeac097c cf1f16d97467793acddbdfea0d823a4bab350303 cf54b34e30444469b3afc37db385a08e9ab8df9e69e6c12a36639537e38d149a58574d6ddb419294