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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info W W &=t44 ]/]Diophantine_Eqns_Lin_Hom:threads=2elapsed=30.364cpu=53.148gc=1.324factor=1.757zXZ ִF ! 24] ŗXf1-/6vRZ>_GL9s՝TaW50sɽ8MsLQRt, m.R[-_W#DٔEP tD7w;!"Uۏ AcJv:':#' B5jv7R=nZB2ҧe $&(֣'Q~B4] $ >7'@} VlkZߑqqmJM./"JT"qf
=*$j)ӛ8&Ž#Wt :?nlԹ FfmB1o2\||DH ~|ZlVCeVw*i94W
|7A:zq9cQ97SfD70ht-DczFȥ'n&r".ziA_^q)g%*XBߨxx~"1nC,>.G!%FJʐO5%43&)8V$JBԝ/6]k?Z=ThdW~#PlOh%9uSJ8жcFKI\k2P;Fh}a|6C$/1<?hiFTcN,Z~z\Q%yL
7@=i+6tbt ܈V)n9 hK@VT=A(В)CpqHߞm3&yN- z]b$k^8` UVyQ蓴uŌlvy\SÞ6. .l=g d 0g YZ7zXZ ִF ! ] ŗXiɟR .t[dw%d^ܸEH4!LPVGcc2T1AmX:vJ]MOPoif2S45f8[Cgj33d,!us^