SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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  j T \ ]]LEM:threads=4elapsed=35.418cpu=93.324gc=5.280factor=2.637zXZִF! ?]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jmK?w{1k!mbypn.3k6+@uaECPXCi~wh>f Q(EhhKt.y@iwy(*X02d66QnxTBٕ ÿpX+~ۍ;p \fxt~\mI%MX=nIF5]kJ٫uc ȎMGS#mNMHZ[O<5a;rӁUpAc DHq냝]^Mvd]m : hS08k),I!"/T!%Co7-^b5jB7a(U֧Kn*ëdI:HJ՗/jVWt@'a~W1o_INMμj6`@^>[l ވl&G8td򐌞o%!>4.s9]H+K woPe@Zr 0y-IrUdcjM93%!?)ZSoz_,1/K = 罳:hEh= ƥlG%>F1%6<+Cgvy*ŚB+M&n2B˅IrFOpl>j++cDK22dS  LEM  aqAϗ &N%ҋWc}ǝ}hDq߸T1e>lyϢ$v+ȏ9AN`KMƤ(NiKs=Ohn3fV\U)U$+hAàdS_$Sv^}VD"1&2B2VlKUrDAMc'P\b1! UNO,?v~Ҍ1,au}W]Hy]|#Ky"ؿTAX#K~c4;,ya?\I!W )gYZ7zXZִF! H?]ŗXiɟj=Нw(yѨyw֓<ğ« \Z6 92@4C9=o,x: Z+_|=_.c쁧Tm_gSY¦Bwm&fߠa,T8% ٧[aj5 G]YBgju!vB%֑~8wnۓSⷵY0h[NlE;} T۱K0J0CZyZ}X3˂5&WRn94'TnxScYyob`7i NvCN*5)Wg"tHhr*4V{.3dPzaգkCq_˞Wѐ]sFGp @V)yVkekM6:~^堒7)5^ bicHZgYZ7zXZִF! ']ŗXi%I n_&:M$ڦ!u~0{Er=s)'aCQ 3~PL)㏆UV`{_zeli8ɦ ryAjs1HjPs:)&IeK 0zRCF|5dܮ s6WN#FBBYI=u+v$Z˳գM\}XC/ ܀--t#Q[.o.kA:GUqqtԵ R͆&2b6P;6 VO~4S,hQ[qGЛYJ>#q#πNGs(mk&ҫԤ}ʉhe,>`]A!_6Kp{v4M4)FBOm#`9 rpwlf8!p 縵9<>ZJ߽&Kܘ>q`*@; PQخS%8Ik{1fA}O !F Uh->q2u/i\=ucjS GDkZ0걇-v2qlts1˕ ! FW֥?8Uu5Lrb3nWhH"zWk\cDg w/AʎTe) g>E[6a,6ݟȾD=i#_LߛO3杓W%9#Ԕ6Y&̵ʲQp}ܡrZ% *t1hpIBmi]SZ+]0S7bhgYۓeYJ.KM}n+?`HڻtE#VaolP$֢_ꁆ~Zl:cɞ& Ȣ=m6x9I1t[<8MͲJ.$,\ć\*. nj6䯝}w&|4÷bY]ĥky[e%㜷JY%ؽVeBoDJdwdp": wX(0/Ԣ`jxiVA~w"ưy-$~)~.ȃ$^ՀӥN5rӆKb8 3t= ؛p㳒2z5_`A j&ӵ. Fu|xW)e%{! nqj;ƫygtґEd)IO4 B>bI}gaqR ǟA0 dd|:\ab\(|XY?P}sG$7T3u`qk ߄˭̚Y5_5ܚOc"P-u&@ŸقiMI'.IQ&0Wr }BmGPc[sK ?SeID!s̓96iU|r~$t ?UPjʥyͦ;A>_J5S7CLE,8]OIe0/iˇZ8 {pIE_|XJ64b1O~J@?*n(aOGhdٺDh`wT,N" x趽e&gYZ184d8668b3f7efb5d36a9723579e42f62bc973465a3b6f7b3e61510e7fd7048ff8c15610e20e90db 0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22 c768feaf5051971a9b6cf376a47d06930d9d3a9704b59700013ef186ed3c70cf0cf1c7af8fd574ba