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- l$T ] Lambda_Free_RPOs:threads=4elapsed=10.421cpu=38.804gc=1.156factor=3.727zXZִF! m]ŗXf1-q恈<-¡$johkX2I)Zf-@\֯)sܮrʥD>vlAJEeI7UquGG uGMt~ rpD: >{l|MNAz3حV8~Aš*fÊ{@tb#Ewr*Ciޝ_pJKY8:GQN@x:[K5)f+|C3GKl`pH =d0Ȱ+Я܍Bt[7IG:v]0 3 't:7O˪ uzG[1ba0n؆Kb?IZcĩU€-CU I~wks-H'-Js.YJ#D{s:6(м3lږ'a&4e7"$r)5% _SP.QEi hvt(W;zP7} 2Wv<*w^e3+2} KOsI㸃fS(٬M =&e˦uOD6&r TODӉ.fFT/f}#X'Bq;lE{堆\^MQgYZ7zXZִF! S!]ŗXi%B۾29_!i7r,U évN$\ܖA=Pw~ ^tM C+!.ݒS y}s*ZFU1-ZO`8G!t1:d1{=:cYtx2ZF+^ەc* )[80+KcxAЙwtF qxHq4AIկ&j* ^ev@# 0#S5H$Iנ03CPS* ;tFR$ߠ.з=ډeX|iCwHAfjbhӫ:g3*QaZ-acbKdq u`O`Ά,-#+o6(żl9bS5Y7 %FCr;a^1n׽ׁ؛\ V'zZp 䡦&u-sW)Eܲ}RIvXCKvWqˎ_o]\;(DF*g^'/U3p w~x條x\B!&+hc H%ດ!|62}{F[[}10.o O2bKzpxQeC+0,H; @DVqC䒠&sϲS^ =V1o WjCol9a'%(;ynm$SԷrҁlJX6 i|Cc9S@8K 0irԆ{ю!1 ˈBß\xs ? {_ia NpR.VaJNvRrںz^f {9݈:*['߳Q>@"#EE6gHfw}z;/ATCx}z;|ؑûR|%a1rPHgJς&[- /v~F'o`cU7R^j.8B|Q3`.Qށ ^|&sT4y4Oq}'ә>2?kb?2o[pvђm>ZB3gE Aq,U8F~+%6Wr/":A4eWP3j!U؅S!IX=~Iz|w.Gţф}rY}doqa1 ?Ҭh᤻ {L#:nڛAX"6rUklUYp.Ħ{n$Ê2#[3QSeS