SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 ~= 4L ]/]Diophantine_Eqns_Lin_Hom:threads=2elapsed=31.630cpu=52.616gc=1.236factor=1.667zXZִF! /]ŗXf1-/6vRZ޶>_GL9s՝TaW50sɽ8MsLQRt,m.R[-́J9}wV!A5H6U0Z /=ͫ=\Q,h ioO;vu2urSaAjcW?j\v8G-Hovd-COz}zE wrG+nҰ)E;>m%}bFw*lKs#PQv^zeȹ0c6d&#)8_ѿQR5gpɫI_$Fи$(qW= }V~D CSiD7s5j_-/O{WI?cN wCvQIh_K/n]i_Hͤ|C.RK-;CY!`}bS SUu'_ea@w,A*Hɽe"K@>AP x[r[= |A2jfcl"-lpmILnAAaj~܉9h"?ÚThn\%p( *wb$2; E+a ÞYHKUB '9Vr.=ث"XVP<ۀ*Rb_A ?~ Y@$TڦCMr?S/1%´PI ?^8[BT1jEb6L$4BSKЖDBksſG@`aj sA&ޣVj׏u0Ș/{;^]bvþFw; z3;JC2$ϢZЂl{'强?bL{r?75P~3hI'JЌ5A )3)Lse}3ٮ_2SART'cg/?EF;W H5^^*MJgYZ7zXZִF! ]ŗXiɟR .t[dw%d^ܸEH4!LPV.ÿ;p)_AΉ4.hnf`|OЛO`J|QG- Qa? w>#_f/'ύܼ֏fXw()އ~ \A;>$7n^0tR^{ қH .ȭgYZ7zXZִF! ఒ]ŗXi%>ge#)-ɔdRz]ʝGf̀tA{.3Sd}XH~x>@l %_f.cjsݩEt ϣvv= كO@\hrw!؈’7xH2 U,}/f*fde>&[7^A{s1AbcS*B ªw mmabC"d7_m@1YIk4">}@9Lm,;* FpH \M ȲE,]\$ bٿTֹO&E=Ozn뿟P@8\~ O2jui}fɿf':ף`4R^]fKl¨1QXsT" eɮJmB]u{{GcߪbTFk SQsd r_bJฒ+C e%2\Ϧ@rd}IϽb[GGWxhf8dj|;$h116.'ocS9,fF o=¼kovAiqyC5.a흻,Le*عH7_ꃉx-z_@ҫEB 9(`vإhXa+zMMYdM:^eiwP;S|=CH>uuD߳_ A/T{ˡmuktI";}>~`m2?!,%ެ]CH3I_$Kq̟HnK Mˢ߯-4P]::R+>zM l~u6α9D] FIeHbjTG%<=)?'Flb0j$~[/XΞt^.7F|C߬/"ܵgZqGm.M_W窖kpWfkP ke;\)=:.߄U|mԤ_f^_e@`;)cgñ ;j~kWHubvXVYT\ŖX#yxF7@bctJP8;`kCW؛ Z9 $#TNl 8Uve UWC  hTfo%GpTJJM :Oc`8M$s:ܤb6XH,TQ͞L~4+œB hDNK;)=c$>+ ۻOmYtɑ@(5,SB$-c'g ŗq_5򬇏ԽimA7=צǧ (dA\((lv:ԭ\>j%~58`@0\㖉IQu" w2Hn>*.]{|aodDI:KZfAc)sA]Aa=SZ ghw%14)TjVZg?4nfq5Z6r,[>a6uJZa5\yO7AqR%:NBv9?Ԁ;E~CAi;_C΀=O͔ e18%(/uD|dvLjDՉݗ#?ycVĒf`,~s?㵥kgQ206l"'/h<:>R# ?~mP&% 3? R[8{N8o/ܸjcԱgYZ3e8b8850efb3c2d07aa3c3091a0f56150aa64b2f97833069aaf33e80bb8bfd493abc152a39f1dded dc78b241718cbecaa21e6c3d43f6dadbec9225f347da11ff72b67d50aa44d885e5f9d02ce945cf2f = Diophantine_Eqns_Lin_Hom