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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info c) Dt ]% Jordan_Hoelder:threads=4elapsed=11.192cpu=38.192gc=1.288factor=3.417zXZִF! }]ŗXf[&ɉOW !v_xld$\:Vf7-A!|=98ϾhJH5C(!TD =ߢ`h~\ v"*FXsKekC94]-2asEXN,==o͍ T'j-Xrqmx8(Ϗ7zxJdcR4^UΜ,.@`֖Mn'2: -'A 'tW؄  sZf=E'mN4>c,fCA>.ug'oC`kgc^]fv;4z}YNn8٫XyO|m_1h  pgVWv 9LLw%?9LH%zYUYv:s즉Jr>VYE6i+ oroGrTӕ: %kPlkƇ\ e\F9[i%Tt|xѻj}0> *qgyʿ+^<^B歲mIJ7r ][nv'X.HBX׈S}]c{DK1/5%jBgYZ7zXZִF! J]ŗXiɟNGV/}YHE$+N7\Q"^_^`0O{?t4y꣇)bALOS5( /AŦG$ji{n-v?:2/mI95WJK [|N'8O&~E3A9wPGz5)ndv) (?#Rˊ@٣8uz0^C6Ti9Ɛ%EЕ5QvIf[YR#'gf943űgYZ7zXZִF! Vs4]ŗXi%B AůyW)-+AW k%2\ښbf|J 'vޣ"  sL#g%D'@gj%E0: +SIj{ѻ`|7J=-RqybV3SI08Y}4<$)Od$/{u-T Lh[MO*YI:2]S?VXIpF Rw<] hz]D1WOrO')~3MY$\w| CpF#"CFLm,kdG㰪 hUgU2l"2-d(!zN3Mq}5AK;KGK" h)Q{F]mRܹ^>ݧ. ަV 'HPkB8$r9XE޻|]bai>гV]h^Y%Q%qB2Z{U 8%ȃb'vz:Gt|(x}-챍tLG+硎=R (J/(gn09U#zCz>WxNGܩbHf'Ph.r F1ԱgYZe781cee80e25821c39ad6f7aade8e3d9c8ed00a1c3b947847b1e58dfe1077ffbed892968d4b16441 badb05b9f5040e431c6534bb870828cec160d71a f68a72c977425ca249c872eac11835e5323c220c 005cb0de6b39b5f1f9153f1dd6a340ee1f098f94 f152cd8f3dff3df54a1211d24cc89c0cea6580ad ) Jordan_Hoelder