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 ''V- , ] Lambda_Free_RPOs:threads=8elapsed=6.915cpu=40.781gc=1.547factor=5.907zXZִF! }]ŗXf1-q恈<-¡$johkX2I)']8PIVD0'7͂H=׸!q|WzIj<۰VTkn;{ \,ы9랝RS7j]f-,WfoCLu#]B@BwF%+?ĔHūZ>ы'!l7uǸ6iVZ:y" }{#*-T,),_5ꇚu #V%Ε),1ȥDNlM8V; 8@r]ۺrҥzJoU#sݗZ}}_PtcX>aC a [i6˩Zz;i"*N0| DX"\G{Ҋj VW2v(g-,,>Ve7*|=fgYZ7zXZִF! ^]ŗXiɟ1?ߟt;9HK?.>e7"18"%TB2^~oפ[ X;.Us{l@GtAs `B>v#9$ԭ&lY#Oگj4:tŖE^-uUGf֒CQVI/)IOoF[A؅C ܇`%\#֟*nPPpP.޴ Xc c@}݆8WH`{gYZ7zXZִF! 8U]ŗXi%>t}jnHt?!]ZiN?Zp 例\@鲱jCCVʹA- džE%: §\ݲǠmez XªP}柁Iۃ$ٜ+4Xl[ʠfN,LkxF9HG]<4Zv2 d`7QCt"1:2ܹ!z1.rK`\jNB5iPRC'M2adk"JJ&p)Wg FAOFAXߐklr@מ"UsS&l-AOވK$CLvz莰듛{P Diޜ>'iV3y,(F<ƙ\8ys(F 쮾_cyUHA>lđJm*ST)xeH\ z^ \@ٹl6?/7t (R&z<1 t{j[KZs ׉6FrPҎsZe⸉|F3pq ,H26 ,[]og^ Ey/K'w!Ҋ\1LbS-y$7ժgX[3R&rи¡9񜋤]æ9h`fU-a|ƶ^z)ܕzt 2^$l857Py>TxЉ. uB.m"҄{O@̹Wr IÚ2S(Zqh4p!ӜHIU@C_L&/o$5LfE}1lj }3贼)7^~K"ǯG>D:m~Xv`vE9m ;;8z>L5}_̈́jByv[CRE V;Qgr+d7E%rn.lp p$=s8gYZ9c40c7bebcad72e34cd2687475198b3f20f18eddc58d21ba3dc8b698b4c6d36f436849048b45c256 c642f89151926be6cc7824e0701f1f7d684cfe9b 73b47e28ecbfcbbc455d66c78eb653314a508e0b - Lambda_Free_RPOs