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 E L$t ]S HOL-UNITY:threads=6elapsed=19.364cpu=96.920gc=4.644factor=5.017zXZִF! 2]ŗXf1-q恈r|u2_QM' 8əj*؀g?ǔ;FSC9Tc30I: YxOT5r5Q+,/'bB҇T#r2@hs,mwn͙4[v8zb%^~/%ȊȳOӛ`35]֫]mPM@3u*S:ݫ֦U @ 3 bJ)rQF@P[xrtV/RV Dw>d2MQ^ҝ^4v$%4F"~3~jBS6)IÇ?}m , F['GaX{w^4]J   HOL-UNITY  2>[N F|^*ٮՙG; /*qf =:xj"R ^ 1Kz4+g6쯈8Us:~.<+]p=&^xF${Fh+56 bqIT?ktyC0B{$ O*N"ws==ۍhnt8Z@߄];lZH/,BwGdBN`OIjY$lYZ(Rkf jCƙ8yqšܒrrPl%DW9j$ٍGk3t^:*V"sd\ cD/hU?_< ru|\59~9KmɬH-$0ȭMf/gUm֘\Wz}hΆ\0"N沄! (l#o ;@θesoÔ!4X(n`FgU;Γs|zɩ >'s.zpmk3޻({\qCFjPMlj!TLn0o|_• _S|hi#,+=p+;XyjuRg]e5b7^60%(o&9E's<Ϯ)1is"sD~^U}Bcy+A[RM7JiKU#JEK=e KgKLIs'zh_.cU$D_'M<,VZ<1|?d&ܤڼqh2EPRt4tG\g^=K)G՞:f 9He{b6)`@g[dӹȮB"}ʭsT*k74,q ef)P 9*zP~_ZzIZ.ҹD|(xy].q3kGf,_4l҇|uh( 2K:ΏZL1Gs& 3Z\ G$q$(J΢+/oz>pY+}~ʓjZy(A[<Ayb^9DBw7ݷg6!ԇgYZ7zXZִF! \t]ŗXi%>Zyq`v yzN-_,~A韛G!{X =LE-9 @ 51J=_PIP=x׳w 1M;^9t͂^RWx,RF~]Uy Csbr+9GK,M5$#{q[eV uiw|Gm]U@q2mREg,^Wj[K:|x 1JUz Jp2~J6kʌYzj>D)skvQX.gL7Ux_1Y# 10G6 *3 %''X]u&Ĝ^WJ/uJP%fָ8!wJ{qJߋETgu+FON7eΘ0itʚ z@u=_! $:"$jq r  ΣGL㗃*Lm: ^01۪~zP2k475v#'c Ԡ5>3n/ۇ#A9+5D)#7#%ŌPqf"4@C TbٝKU S (|&I~yZ$x:qpݓoNM ݡ/#oeԠM,F7^IJhJ|wO2L,<آ\<Kp(&+I5sYYPwv*IWt,ߒs8?fOs&^K#v'zm?$;F}%8+8@cZMθ?4FaIwĐgYZd6b9bc7208c1d35019459cc7c6c61099a9441cb104cbdab1f686d7eea03656c087fb6cb51858d69d f912c7c4bd035c878b5878ea5c558fa4f129fd49 9721597f4d8852322e6c1f69e08ef325199d5509 357123bb8d0713ad5512b01c8008048bde19bda6