SQLite format 3@ . BBh77otableisabelle_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 r= D$\ ]/ Diophantine_Eqns_Lin_Hom:threads=2elapsed=32.826cpu=57.272gc=1.216factor=1.747zXZִF! 40Z]ŗXf1-/6vRZ޶>_GL9s՝TaW50sɽ8MsLQRt,m.R[-_W#D`4fۂF$i꽸eMܵ#Sz?(B!,J.ox?iڏ;Ä:M``po+`_SCҖi5cY N xZ-]}K*3t\kX+X[Qai].h S ,d(*"@}Ro|XP 4% 8û1´5q,YcR\tNEN]r^0v\a <"] W6Ej7V@Z bٍs]rwHAZjG/,U ;P0bEB`o_ܭۇ!Tܭc9TI> 2dyP"Ni>!=)v TDjgi0lYͯ'//ur6hk2@5ҫ^ 3J1AxҶJ-h$5, u Tخ0:K{b\Ъ6e8_wȽZ,g-t S9Ny:j+vY ji-f&$6_xMaJS+&*m7^ȇ,|) 1Ï]O8hZ+/A-+s%ѧ.ǍA+ޒZI+%ёcm-[b^NqrJ9=P6h+gکyÞl)mA쒉{/;` _=N>_;#2}:qW#&Va{S7Amg!X ! >EX5d ҋ;Φz[K?0I^ps8fk)ަ!ݲ7}~QZIODI-/ $:;B&<9CSa8ǖ9yi b 'P)*.&DƼ`^ZJZx aGI`SbWZ=U&gvˢui'ժ҄ɳas)'uQ7225h? 88J?3$]te?Y?{Y2GBa_5WXE|D|H貍+\E;KWC@Ϙ ovc6vPk&z*)E֨nl3hzf?_s%l4C%SxMZp;hR q0cy |)T?68(~sf1&U6)w.Tb*~z2|cYn5hY\_|ß ?yA ls8CTg>՚ M 텨Gh' h}gYZec20437551dd76b4fe0dff7346b931652c16aedaa86c2421cb3bf965bb7b88ea7ffb63ae19b7c19b 246f6e81708adcf47b424e236c7a30d027d9b852 = Diophantine_Eqns_Lin_Hom