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  C d$ ] Boolean_Expression_Checkers:threads=2elapsed=18.350cpu=30.972gc=1.904factor=1.697zXZִF! +]ŗXf1-/6vRZk3&pTsqFK9/mGJ&hr.4%~"DFIUw,J #vX1و3MwYx%3sռB}fs3sG4QM6P}I1@ƽ lL%=mHFƘ*-֔z;"=yBrJ͊nv%e\$~q-K8-.XI@AesޖwV:i$r|c:aoM|62EqgYZ7zXZִF! P]ŗXiɟ$@u$lA{HAu aCԄ+F=fE a$&!3gƙ>I<ѮZw|+|W ufc3ho)5+FKȎMDPs6Jh^>ORd`H"Ď gYZ7zXZִF! bT]ŗXi%>guyić ]sū(s/(: gaTИ hI +šն V? rfqf9 C:Tk))8 UlG d7Y{ؕjx*Xejg1ލi䩸nsŸ2pwY=-9ǣF<|M.-]vit^Y,[q[bV*1uhjTȢ7 :4 hP (vyc{b9ED86CXfH*'SglҔt񡨛 ȷ}>\Z}AiG{?Ь%fa9I JK8t$0v*V=jdc.&vGUבA#<貎;eV#BRO IIϥKX@彍.J= j3TeJ~y2SvW(pbvVO};t%t_\A2SKlЫMTBH7]-Hy:PAa21|Y)*J5*}GQ2a/,4._I"$4#&N^]\ς>-$ kDy\YA-I'}K62 VT4,b"،d$"-/Ug#5q*~ڱ|UEn4?R<(U?5A W%\0ZBۀSETT`؈pփ  gYZeff87fb1a18dda0543b2bc2596e17525b60403e1665af98eb5b604629a3a80f1bd6c88145ac43a21 27625c6a71bbe28fc0d93a17cd760af834a4e6e7 ef4af5ed7faa41a9d8d5237b72eeab989fb81c0b C Boolean_Expression_Checkers