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  ' $ ] Stream-Fusion:threads=4elapsed=8.651cpu=12.100gc=0.312factor=1.407zXZִF! ]ŗXf[&R g/ S!SQFQ&1{ySW7x|:~rZ,3 'DD<)Dv=wWį'o4~\@ x_ #K%BFO.fzd^Z'ٝr@z.7ND}m⦫0gvY*+O -~S39mߥ)p/%` Q m3g3`EPKJXB^ $v-gYZ7zXZִF! 1]ŗXiɟ>ӇuMwdӘ-y/եnϬ'(v>R'(&CMk'ûL~52RfVĂix#%eMwef_0ͨ~:+!,oNs(dN$BǼ4NX?z+{[ΈV^W&n^8'<Hl9H)5Ceppdo{/#5 M{훙e)v ƽ[ g<Ӄi<DK$0 A)RtdkďQ. ]Y3#P[ӪMMf{bn1Q -090/gv -pkkoLEl@'{H/Bğ+ŅikǬ>w#&Aa P-z~kO>*U+HnQM-3GHx Sjޛ &j#+ĝ2"S%y;RCEi E`Xw7)$XM6e,=CxZycB lj~^,w%4TΖZ,9OP)Ў ' Oy-WX>:eAv3N4rU'4K;vbD@~oC;=ԶŠJ;cb>>)s? Zd-EQ'XXϙf3Okܾ[3bd%Ï`6ҹG6|a[J+2Wij4ybp ٜueo,v6v>4ܩjAh>@K {ȓY -lR88͢=Bo8`q#\Sgza=[s*'bXR}nn]sQ҆8G|} x;ʛ~wG0}oNOPU+ _:ƫ"we:U8Lo!Fe'%GE HZ[<_Y>vҮ(HQ`\,5 ҩsG!οШzCHZuM]1@\a΍56v(,sooQN52ު:UD XO)7weg!WfOcޢF*>i2ýtR# 9i փ(OgYZdf5f7ff9bbdc3a0086423fd19cfc1d46ab4170311795f3a7abed9fc1d9546e3552e224994a90ba84 ec123dce693829f016aa17c5552e2b7e72eead89 946967d0ff27c8358b9575a3ebfa35088ead3814 ' Stream-Fusion