SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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  ]/ Menger:threads=4elapsed=6.267cpu=20.980gc=0.604factor=3.357zXZִF! ]ŗXf[&LRH=>퇜=g nJ30^v1P[+9$o2' X-j@gg2O#L+ ۃw iƌ4dW2/A^= [ RgYZ7zXZִF! 3]ŗXiɟ{A]R90⿈k4}P)$K:h: E. ]-" a& "G93ro\oda,]"|W%[a˂{|4tc8G*DOͻ#Vc0WV1 mM3S M:bq̼ބSa660gYZ7zXZִF! :{]ŗXi%Eb⬗zp\gc,Yp9C^\h7>'̖y Cu+v(NALgM诌H3Pِ(pq%gNѷn\(EGr7FL8Ǝq_O8lUطDH~2u1*߼;֮]q+|M"2I3`ä8@=$-߽Gm$ d8O'7l?G ŧ4 9f]Xԃa@6-e@ o7 ndY2C~B.`WL; ;e1dj4gQj@}]6m2z .&#?%oAjνZ{UN^\ icCZr_GK.OzE\qCY[s ݿUqƨԎpZT|+;)p4y*Slʉ}IF$%?} o:}m*uB;]8ҐJ)t"E`;sr|GmK).yԘIJcģpBy}AMkZhgnٟP?Vm6||<UL;GvYƤ2qx'ᄶ\H N.#RV V=r :x'PxUu;nך?F`Fxw@}D/84x~ l$@D_nhw DCױnKvR#-daŐ_G2-G/$b,B{"Hn( @Aъ)ksj^J9=Rq,r}6`%@~`7ڬo@