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 P' 4d, ] WorkerWrapper:threads=2elapsed=11.684cpu=21.948gc=0.972factor=1.887zXZִF! Z]ŗXf1-/6vR[X"9߫TSݬ2KܦfJcTunLsNBU^,KUA.\M\9"do52@ա:?0gz̮HJ2ߔLNI-SbEd,~acݺso??޽.|-3Oz /zP .2J^v[)R։Q pFFŞVӀ㨑?,=%ԧ9AkPUVOLDZgYZ7zXZִF! J]ŗXi%>g=؍:snz%[[;[h`K3$pߐZɸ 19"֬t϶_<ݨc|P$8gTQ / `ANu}ZlJnfaWۭ=I4Ǧn-TgiO4 >$':]m)+N˙%ȤW8m%$fr UO?7V¶hv%Ed)4KaBN{cGc48 5^v8ÍQ+\@_!Njzfd !څqewXKX@]"s^VU= tpR7$߾imPdN+a,f9oX{;&!1 Є& b~=9 UQ̠aP3mڇJC,ݔf0aYHa81 EyXygYZd07ff82c167ebb3472301f1b158d8b6eaa72275ea70f3b1dab78f27422c2c199c67ce3165c51f78c b7ea345064e6ade7544c71fbd991740359381db8 8f9aaadc0b4028fdb119f251913a4fe75c9b47ac ' WorkerWrapper