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 pp ; \|$ ]/ FocusStreamsCaseStudies:threads=2elapsed=31.151cpu=49.212gc=1.776factor=1.587zXZִF! f]ŗXf1-/6vRZõ7ioN]*meV*5/g9Lcp37dK(L%aL$[KsӺlaZW:rDY怔3s6WDzuF"? Cx8YzQEs6d+r?҅d!7 r$Sp^F4$Ye{?7xuy٥0ϣ-FjA2}`}HEɣ]^mPHW:0O2Bc>jAsj41JO,7=LSF9,@RS*A8XQ|[+7kYxG[ `6+wb[-i|ŧ,B$,P諉eL!k6'*gI,sCa\Pvݱݰ#5,( R~z? " N :ۮZagE^bO@i~)+|̂eo!-? Ԩ=jaNq$5` #= zY!)_,6JșC~b>sWKǣ,2KiS#g롽T 040 ƻxϮ f_YLg'bש%ycU-K: #XL4_?gYZ7zXZִF! 6]ŗXiɟ/L526غMp9έ!sWC; d/3,Q &CtQڳ~``Xؖ.tȄTFg&i'`ddZ--6AyAR`hȽ#[JQK+L5! ͸Ù^Dm"jYU^4wJq&7s b d&FْyQYoTYAտ& Ai,gֆ*.Ow,7 tK=m}ДX.H sS>Kyj tѝ&)U׼e2]0-()O)[񩽥!u :(w];a *B^YD_rpOSwNɱ߲D WedILvE'n(i58ognMK<&{avW/&f=L8߁g>K$<ɺY/7VA)14]b PC VI* Jt\u M|.=/͈!4>RWUl۔Yh*#7M 4"?% , sZrcƛ㜆e82֙StdP 5 4[~1ILp т+珦Oh;msG/9EUwroqY@ l YleϋDz< ˆV\"O 6#~"&D{N!0Ȍrة8L,ty:@B-nMyl,5?Hb{+GԨ4.wG]1O$Ǹ%E>:F+}[\9)U}Ş V8; heHs>NS`;nK}2ƿp 0bSgҌkvWYQ>T˓fыt`.٧*+M(y":cK9?BG J U-GpM y L"Rؓ8-NY,@h:5kwJnPM_%dž>-gǹlNÁ6 ,ܭg^ہ8a֫+(y%jڳSNF]0i?5IWQک/kAq\3a킳\$d6-v5XoZ^H0)cPY^㣒4K.Hz i1⏇UzmY wb}mTBp(H:oݵ*1y,JT\Ų0f5y3OCoWA1O.IUJ!sIΰ! W٨]I᥇Y$vT* >?ʰ{0Dx8S,JCؠ3v{s2ZWXHtD4nb"{͌*\RFpEdNhAF]ƣy'hOpB tƪje6=!FgƧN|,V-cܮp@X9|qXUzcJy ŜlmncaBZ7.vCg ˡɪplofdsE1 V bȪpgV% JO[a=7P֣ǝ.6,IR㗊K gtN!bT.T&"Nii4bO_Qmۆ(>4uIa0FV ,J &ŐtĿ)i u[>WD'e:8ݝ}ID~b,4E $ns=_k!RY,Ix~Y|Jw8\W'drE7 i?ddƥttv'H WQlPrlQjds0rh!mElgYZ92ebad6fe2baba43f51d7e7e59016a28df84d56a79d8e835726df87c7b301a8f091eddccadfabbca 5aed350afdc15f56ad5b986907a91213f8d8b65d ; FocusStreamsCaseStudies