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 T/ tt ]S First_Order_Terms:threads=2elapsed=8.742cpu=15.444gc=0.800factor=1.777zXZִF! ]ŗXf1-/6vRZZQUt)/ǠaR7˴M4`)ι(Kz@-/ߦa gYZ7zXZִF! @]ŗXiɟ饜وYFh8ꋊg6ɰP85|16c/yCGg`YtnFepΎ@ y EC|ML8%}' {DjROdN'߿C0KѴn3]o|9(6!GTj']{2ch &FVOU{.CͭPBꍣu8tp% $/Jn/dngYZ7zXZִF! 9]ŗXi%>g~A_1⡟{BƗX C<:I 8⸅^k&/) <^hg7uƶ#-Jo;Bd&vN7W&]*,\3 (ӥk}9cZuHڲdOg MG$!ytK᫔>(S>R3tejWʫj*`.p uC҉,B )lM-QrikF=ޏ"sHe<-#iӅ`A.z5twf-Zb)&`1@!Q&a .`0((ne\PtǓFȺDta2^3-о>q"{+^x:rO_CP8uB1nc>]!+ O'"EwA6j#fve\Y$c_x`E6H8{trt< i3). gtG̝wpKV !PG2xۤASLC[ ZtQO~άwM>g.-q HP6JxAMJ|?e ҁ"bkBj']n.fM>eK4}MFlPATԕjrfP(5֞*i.YBorUD*OMR?Qzx(>Yɪr@B0ȹ[IUU6ݡٱZY)veNahkڱK=W+5^{`]TA+)\LvV5\晎uP7CJt +0}'L'* #;WzsZB+{Q ( lAh{"m6" k RdPb(yQs7gYZceb817f00067635d0442d37ec934e9dc8e1a653b97833069aaf33e80bb8bfd493abc152a39f1dded dc78b241718cbecaa21e6c3d43f6dadbec9225f3 5885f1f569201b0b462a9f3f8b1e15c36a4412b9 76926ca233aff1c1127339666126d732d5d52775 / First_Order_Terms