SQLite format 3 @ 9 v 9 .S` B T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1 indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info h?vT|T ]]HOL-Computational_Algebra:threads=6elapsed=47.903cpu=190.203gc=6.5967zXZ ִF ! ["] ŗXiɟ fftb:u t&_洼WN]B6P2 (h`~Nsk.,aw9V"ij-iոpN[+0QpN@(9aq] 6/#jI**5g`rO ax9[/ɮQYDo;bAhr* Y$pc2tOV=oS8cK}3/n$JmMYHX pOnf o&!P/fSf0UvG{Pc#w< &2ؚ#2A%F#ͬ#VCi l\}{T ]Szh(^$쀾ďFSE
LUD.pm ef_&+4/}Ʀ6 cBת:dOcF%:ᨆ]Iϲ0 u
? HOL-Computational_Algebra 9 >~ytoje`[VQLGB=82,& 2?]' DHOL-Computational_AlgebraHOL-Computational_Algebra.Fraction_Fieldtheory/axioms7zXZ ִF ! ] a0{reȿ}dj\_zֹm4< Tl}W.ww(SO.w9p@':srDždlhW_,+E쿐h"
E\+n-55TbԫlWmem0$mFAOIK*,k@>RWj3!F8/
#SCW~گ滾Xrf-B#V@յ}kF ϝ? T ]H/狹po{Вi;YMzN/x8Oѱ6|z&f7y8vWS-Ș$~yu6Ca#f?5*Li8$53d?7r\yj9j)5%ȚИC2xyaw`姺p:`CM䘩Vn^2YVfu|lunX5WDW@+Tԕn-:r587Ԁjr w%^w/J&
r n3=fyOpW$
,ŷtE