SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 }1 \ ] HOL-Imperative_HOL:threads=6elapsed=35.842cpu=68.740gc=2.240factor=1.927zXZִF! -x]ŗXf1-q恈1$1|-~yߣGuS'טΪP)"Gh"0"ϑvi})x#Œm+a xMEiGtvt?$MfZÁ;_QvŹOߎ(OLJ_-4X~!L|usJXu<> =\ӸPIඵAWcڹ-쾌T k4wȼ^jژ5?0&KCSS!*+ A9q7:2Ņn7.&iMW0OBGvti,qa7] |6 1 HOL-Imperative_HOL  9kʪuSy4m!hé(i,ʠ߃0ȽAD.#Ok1I/Ufi>"%]039/d3n~= nu5}yJ2>[V^:iI;E}s?gMmTp*d46ƺ'ա="Jl)I\, =:9SЊý.oHOm>&Ӂ)8^fU+aUS +YnP ,0$]~|A?P06H7V>aδ0y녇3=;>0J lg }>FOJE*ϪOq)B`6GRgL^zId+;x}1ʇ`9^ 8+vJx^N E)Fio;Fr.VNEsNJXrs2 pEkœNtclqHt˗9UEw*J;=R+DQȰ -V>Nl'Xdk;3 W6skS@4Ԍ )tÎ7 *Xly1{zkiju" z8>3{BÛ\:|Ja5;jfJڱޓx%RȪjn =f*;#ߐr=3`TXE/| jj8Y7NB 6;4kL<dCi&}Nn2$Jgrb1gadq Ҳ Z@gYZ7zXZִF! F]ŗXiɟ1nhЦx"n_8N]( eOtd='oأ~(]ͦkGv&h/Z${qt5w&L!܊)՛=3J/=r g^Iڠ1RD;\XR٣kDV \J/Di06WPdg6C6S!Zg>NUg:{ 9l'FI6b IY1+W$GmTAt?`ī PgYZ7zXZִF! டe]ŗXi%>C\ Ǻ3ˆjz,ah=zߊ@j \r }m 1u|3ykMw,ބSǚ56&XI"mϟ o_VO.X`9ۘ D|6vӨ 0)6.B^,pC{{Na\>p \:>(_$̈Ɩufpba,wmxkQOM$!L 1*Xb!,J_p<)ɷ0YGMOR<1/Hf Z€RmiLcp Y`j GHs!G{-s0 ~Cy*7B6(s]xm;&[[,SBd 'jy.@!mQ}a|?zD閉۝+MEݴOxMb9鱥ȍ~o+tx|S=xp'a1x:rSQ퇏< gUHi,+ax-KVt$荲+ ^ "bܢgwaVb%FO0O|q"H"Ϣrjx;3¿56r's.Q/"&Q* Oҫ5kִiEeCnƗs\rF/#LJ᡻\ؤK le dfBZʚyq6SGS?)a]XSG&+ݕ'p"zP68g+7څ-,dD@qw;E>O6.4K^UXvY Ol!vAnuhU!)|5Sm"_12isG.Cs\k\&?n.:u~3όc|0iFVsoWrᤛ}<4~Q7\+ _$ _L_ /9t#jSY.mYMUgd = o䞉l=OEuļG:t:Xǣޢt|`OO䑂 7JNlL!elZßAe,z _" MŕS-7$Sz`hЫSy\s?J*lGm3!]#Uco(Yd^;V81MTg^\dhHeFvAԍm|>5 1΍nd>#HbHZIV {lS8tj9^rd7p+FäAH|=|I 0+o)|)Tr.?L?n< z~^TO  }זm_Lzi<!019EiPH[i_L#YG`ͧ97BŽ5/uENMt:'wKI@ k4íܜۜs>L\MfQaXw^6jc%_~ȍF.cv"LU CDX=?fKr-z4M`VkV ۨJs0~-ivQW!/w=h״6lִ|d*fl[LB_Ugzey  >rTXsLSLz[Ë@C}^c]uCxv\tP,g= cw6$=e &K2