SQLite format 3 @ .0: 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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info r r =T< ]w Polynomial_Factorization:threads=4elapsed=54.431cpu=158.404gc=4.020factor=2.917zXZ ִF ! B] ŗXf[&kRF̑.'rUsiBש- .X*!9aZ,K61dAu{} d\/m8bj~B6aqOA_8s/êR NKxlɐڼ bDŽ]kcWFVI'Qwt3SɋFmE*.%,ڻ ڄY461H!o ,hĦ?PV$6;Gb?O&~Z[\YB7d-A˝ ~~tdBgĜ7mkv*8:tЭkD&fe}Qt^.ڷXuci2>*>}DcYJQI hְmGzx+gr\-V&otJe+/ Z$S1gR4MgQ^FSIU"'v&^WcV|:X4h :| n{uPGU旧tE3j jv,4/Ze٧ZHg,Â0_vQXce60Q$yA{VȟC&6HO5Ul'xt+|!S-|FU3 Ժ)v1恗KwϏwP2Ø 1U 07Fۺ\Mid {nO}.%"h}KgQEڡ&7t K6Qk}cſ %ߚJ:/XиVC>fu%wl 1síAX{8~+5vΉf;;[
8b?$zCX#K sE .*%,ҡҴ{3~ƭDܳ]O˝sf9;q
P+(yml)f*^axyY=(;*)~
gFeźPfe
&p