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  ! !T= l ] Polynomial_Factorization:threads=2elapsed=51.496cpu=87.512gc=3.276factor=1.707zXZִF! +<0]ŗXf1-/6vR[2ө=%Bl=E^X<rm%WqG$HS+l˧5\TaJ!pjV4=l0/%lsr/EW,-I:J3ح^ CIFfQ$61Nyv@4E6b|qBܵU9;7, og Fn\GDXc b䌍Hodq|(RsH`++7  C<>!oWK_hBFqˏ |悂(˥f‘-ɰuNt.f0کW) [*bČ ѷ 2G[X܃`=KгQWbP,7#nk!QfU:tSyi+@ͬ.T"gGPXҔ}ӝ\ũꡫ"ͧv.55MӅ9{/W׾gβ5-;_B;Uփ ԲѼ\%W<)`w/Uc4JGf_!hn%2f{<\ݕGQ3`Qs ĮCҌίg7u4+*G^v 鈮t=w*]#PL@' w j^}+"?xT" r@B9’fݜj(V&gY = Polynomial_Factorization  Z7zXZִF! ]ŗXiɟˏ "B"V[9*⍱|N7)[sl$M`(݌kun?p+ F` #([*9~" ]d3U/!<ޑB.I5]K̠HjlbffrO^)'x֩B[S:).,E-.H.~JbpC7a(6O+kĈT{ }}BH_-o HIiiY}Ge*=0J|gRBK|, iN=d{A!E.mxp?Ci3*}E~mŜ͵RQi9׌ʛ h % X5?(V9ӒyAbjE  tV4^ϡG`@Тrݖ߂kJ/5}¸4"v0B9/)M&㖘AP[w}dJԞ ZwX,:,K8!XH8XvY<\ :Ut,#DIuYqK\m=(e'aUJϵCP=^NaSUYHDlfq7&7՘Жtʕ 3.,LmQF|ZDSYuMK+_yYə!c] 2NUYϧtnzОhʿrD آ5?eezaXt"/!S)]{c"$r57+a鄌@x]0[8mDM"9iX:縜e=iNi 2˱,ZܥެaGZQ6B2qY`LIvʵ,sh.tV2fg7J1 &''辛DMщb)噹Ϳˎj 'P1hӪ,Tź7kƎg[&з`Β1s[|zࡋVqpr+qe7f!qm[d1WfuZym)>޿|*IpOF;ČY ?L79gt/QF<KѺ!T< ̼}: [ڎB\ &<=П^_ 7b+=er0~?=V!fJ=IvU×&M0XjN{ `PmmQ4#cB꺝U:l^rTK}1lՆA4_xBcp"Lh)hӲ\4(}I~q"}hA92{_E<dʟMS6syӃx=GdL*[#PoQ0CLXy2p*ylb Q-s:99gh2׀f;*U"}s=8{?ʨ'lWH'ǚf۲:a]% ӿɺff8[G;s6! δ$fa$4ր0Rf+cѧ$qB-^uopQ};7di^ڛFu…һB- GfۆᒛWvt#9]::&h3cs|~ X@~TrkA̜ai<NPfsn6Kd>Ysy6B{+`B:pI8HAdo}L>zL Ren);Rn濌X q~Rp3|%̉aB >PLYа2G ::@IrL0dâq͇=飊j<* 8PWޛ2j:¬ yA|2yr)lsxG,,. u|\|@BÁ3_vJ1{MM@1\e 1%m^C+Gأ Es a\Ɣ8ݮE"]˟#;Ǩf*^eM_ ۱ޜ@9腑nt(;~Yhe逐o:ii4[Jjr28fw//~korE5=!k+ŎPV|m s,qo |#=I3gcM @A.&Ł^?;Kn5c>LPvua$m=*aDQ4Pr"~;+:H+[v?iGxB&bj2*HlYp6`ΜpWSb_XBC *M_H24ӃMN+_mP^qV֚"Osm<+2EoF|l rBE@MV`|H;JgYZ7d82bee6eb39e4effd3a8166005805f43bbdabda665af98eb5b604629a3a80f1bd6c88145ac43a21 5144ebd7f8a7159ba53f7601bdcfe133b83a40ee 86aea4174b1d0393ca3ab4a58bbf0589befc3a01 c255daca4cd67e985074c64b73359417396792c8 2c14b850dbaddb3cbcd9316fdf1c82c4311ef3cc 1a171b05fb8b50afacd29c067dba05d842c71534 7096e1244b9940843f1a0bb0bb590fc802030a25 b57a88e04a43650666b49b52819a2499f5659636