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 2= LT$ ]/ Diophantine_Eqns_Lin_Hom:threads=4elapsed=20.512cpu=62.612gc=1.000factor=3.057zXZִF! 2/`]ŗXf[&2f>- {0o`jF!=NYU6!Jq4{9}tYx& ts 8Ͱ)ڌIF.w tdޠ`+A߭VN_DL$o@qpsOᭆ# ]NE'}ho@s"HMY>]Qa'?"[ݔd'`|Ȯxc`R۵v;,;LY8 bѕqX!p1D? u ЉNԪ>n ;ՄTZ!U#}gR;El")mQ>ޯ7~"5 /@*C1p5D+Qbmd>&ga(- ,()k]tG%'OmKZ!JaΎm9-RɌ⾪ 7wQ9se@YdkñgYZ7zXZִF! ]ŗXiɟR .t[dw%d^ܸEH4!LPV.4`|Aӣ!#sDAvw$Z%TCz Ni!$3]F o'j&4E-DJM Zd)ETw\+ltb$ę@b-4XIyO״&&By0;i7NU&>%г?u:^(gYZ7zXZִF! I]ŗXi%Bh6_ SԭQ{bdkm~QƁGg!#W(v8ݼH[Eg`#!"`(I壉b.Ć$.Ɔ:ᩴ ~+ T1de*\noNҮj' N6u$.04@$e_4xs_+Uex=IXV0ʯQ: Ȁ=RaGȻUXZxQY:ƺw֛CR06VǸٶW#:K~Ƣ| S /* P01ϖSNh]Ȃ9N>bQcR'$sbLlV; :R,=:[qvU? w.@xr`$䍻~|<ջ:]$=`ȇO5! qb#/nA)95P2FvRN4^'׳ˎߑXJAd-?XtÇ',jo Hhj< g΢ Aڌf]K҅Cuv^PxMzFbG)r>;S0|,THtE)%N B k_TqOJp_HXxxH~~ۖ74X:G ۘ~S&+*V'LE+4R})=?FLo"gl!tT][DŠbs</`֙4{|966}j}]@A0 eAP~SՏm9m5Z,MA}?o>ߥ'[ Ŝ3,ym57+f^ ]okP0BAm).jտq+M %=% l`m<5lnP*q\C!^VY~WYIe<9c3e|bbk@WmqDgGk5Eg