SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 SS*% t|D ]w]Sepref_Basic:threads=2elapsed=18.499cpu=35.356gc=1.904factor=1.917zXZִF! %&]ŗXf1-/6vR[O!vې&-wT]ïpܐ YW  mn~,GNC6 '39#r 5TS0k.% FДH#wA6UA$T҈iꢈ é\)8\R2I{'%#"sgKڙbr `lRgs i& lz`VvDM6y@~dπw65Eׯ{qb|Lr}(-X~%Bu"j!?3s[ޒ\hX>p4{ BVXB12npaagзp. HzcoȮ3D=V1nLR榾Ln,aW /Ce^SbF4gG |X=ն8T{֣2]JMJV_rP~bE{Ih0M?wma$Nhvx>=)e 7#Cr' MM!PCxM" AWBk01J`鵤^ޖsF:'%=|S{>:~$HFUP[P5 i9z Z] wB07Dc\P}*/tk.x֜ɗr!38N c+b#Ndͳq߄oJWh=SGs !oyo`2O"_ggppwɀaHJl1Qjʎ0[RjrnYnYC<bg 3jcp՜Uøq=aB8?38 6|;(/ 8s̈́U])s-25^1qy`Z^Z8"u>y8Er 7__>H8M]V/82:asaccsvFk ъ["6!bo7`y+rJrgYZ7zXZִF! H7]ŗXiɟi%3( d+%jh -ĝF Ԋv-@Vw/("q"5όD$Qoz l#'l~'׍nsYa-oM@V]\ 8Re|_L2QPX$҂NS9jN2 npeq|M@#1RBnR뾴AΦ-Y :sZ7KIc6lPȝ/"r<,\lh4C Ȗp3uV:q)ciaEkթ gSQt0#tJ,{QvFT䘼#d ʘgYZ7zXZִF! T]ŗXi%{AIP՝BdVџ,Қ/әԂ᯷sN^V 0]cڢJM}:O%AofN0=BG3?~&q&p(b<  Lx_>d[`=_c4='/(DnH(j{$[>yMe N\d IZT 2˓.rϹ} [6H&]eEaĵ> 1jhL4A'䃊ƙ' N/gbzclV(\b(֨,?-|:"YQ@˴c+8>9Rdbe!?/ڈgu#{ctWx9n>W^$P3Ҭ%KްVaa{w >Xc'&6BL tx܃ 7w*tz9\)eɾA'&P84=fĊ GwrK'h 3q#+ߝǶzW TZ`Q"R$mKWjЃ:^o0rד܂'7]dZǜ3 $~ y a'|'㛞#M-8JAseC2y!ȈT4F}8ha=X+ =-訉mq(jЀ-$7m 軽89D*?:&FF=$`t7[&$/&ŏÇ.٣z9 cҌGZ!WFcO_pP&@78 `/jhc噲ztU*fiE#Ug7r\ҳ+giK-,DP$uZKO_~?bY.fU+ նݡV(n,[]ghn{oZ>u+ymzļg@:oewݪe1|ٹ/<1iMlCx fJ[No1\\)C Z3B(iå %&VB[;G Hx=uRlıOCb6z\A1ohÙIx086I BSq/t$|}* >7l69fZEcc2)Mq4e &gYZ8f15dca86200f648a8c5929865c2e200b504f3f000b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 26861a2f7729d3ee945ecb9c15aa4b72e3287be6 5cf2275acca90619f2eb259f066c3f8b5ea2c2b9 de0da2e5791d182edf2ac8be8f977ed6e95800c9 80456a1ab612b20f03d8443591f9cfffddb1d8ea77510cdadf453dbbfc7018218b85ddc1c02b9fbd % Sepref_Basic