SQLite format 3 @ .; 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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info Y Y %4T ]S Posix-Lexing:threads=4elapsed=14.595cpu=31.500gc=1.332factor=2.167zXZ ִF ! ] ŗXiɟH)0%o
l$LdjSXGRQ.Fvۢo'"ȿX*ޭuwU66
C'~":6 M`>8jr^HocF]!ޝq̃gO;^gg(WcQЩ w{Lgލ[fGq$y
49ڏZ6)rOr[Z'OkC";oՇ/CَD!i+O*%O7N@%W@K&?);tt @,1z7Nsз臍pjV~w%}u6c=TKm%M&1E('1_b8 6
R˅(K|E:8k*5ŨW:jQ?rUs;]#G9yJnЯ(d+ $]d;K!6{Aer;>@|(pa+&xϚHUk99$;Tqz=[b21E;HVn/fZ
D=6dW':}~JFqp<'I ㄔS9l4g`e;ҳ`EE (NtDAbg5wSEG5V8}GJ{)[9Gbk>aMHYTgOzuuѸ&yU)ݟ\ X>hZ~m݉ mĹf%wHA)!߹I<܀/Fl|QMuN3&9#'ñS8=Z
x.+lJlyN ]iG~0lQ++Ns:RJz:
-w;(]p(cl?h>h(l7!5T$"bK[m~Z&Qf{ͅs5daIP|j,,Kg& `˔4-ni:tu>q
JF1ڀ mF(*ѼoM~G\՜ns:k[゛8*-?su\k)R]$
i'4?`0@S xc)%z,co܄#0!'v{̋ ƹH&+ TX3KX=MvP[Ta7iA.ķ|:7P(^"ކQ
+ί> 81y\8KD 6Z\.~eH e,mSOt