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  i i = \ ] Polynomial_Factorization:threads=2elapsed=51.991cpu=88.548gc=3.376factor=1.707zXZִF! )E]ŗXf[&kRFz9X7@Q3/QUdT p]O,yà*%M1o l: i*n측:@ .Xk"K[1nSK0W9SHwӏfv3},Ԣd|Xߒqŋ[В*ؾzjyd՘%,Qd]Aloëb"ܿyJ4/(?`#418I9W@nգU&,CU99,&t`5ċJē>?[]@r.i[5t OMA8d:b̥6+gTIE42܏K06y7.iK=Gb#;kpMJ\M+'h5ꎂс} ˆP)V4>8 )W!g$әb 2f- F%rr`!Hu1YCZCܙMW-YvwQq)~YB R vt15+=&n'm$@_'Tp[' s/ώk"wAQYIù\kDkMHIs(H/H|'q)b5Pqb3#Wj.pymj!)!]F`/jVE͖$kvWN͟T_JoRjlKZa3Lu}R5N\f'["^`VlszwLim"z /uh,ĥcĜ6 ؗ0^a"+8K2Ȼ`˄P;wA]^n?1±Հ+HFwZ>#[3.Ϳ%&xד\Ub뙕- B}|n4jd];>qkqD,[?Qﮐ-3])O1ΰh3%vF = Polynomial_Factorization  ѧ&1HD_Yڈy^Za2GdG% $ aTj@ YGgCB"ZRwkSA;EgYZ7zXZִF! ]ŗXiɟˏ "B"V[9*⍱|N7)[sl$M`(ݑJN2jM+9W d`}4LVث\N!'(d)v+cT4q@64pE6#eڹ2LDQ1Y2\ؚdqkٳ#ݞ4\_D43>Ә$ߥ/=sIAaUIGD}v\1^IG MAnckah#44bȦ1Egw Yf3pL=i=.u?ުJ D6մěa@W$q.rK~C- B͕‚هyD-,> HDbj|H7'NܔH_ ‡׋-nAI_+>Ƣk6uN‘*h-:mIu&/;z̙>b4M}R $`durc4 Ի҆1ūUꂿCD&P]/Kx$Aaռ4dͮDpAZ{If$.!OL4N"ҁdNYTe}%&{W.ӛ)C~׮.ydnp3eʵƩ5ar2!: ˊKBQ&-׻b/*H\89IA~ȀL1iWi8{;ŏ:vZsnKuC<'T6:l|M3DD=K`nKٓAcg1u'`r$];/htqί`ܤ IP D-jNS}Npg0{+^[upYi[.# \ OE)bWHRrqDt+K i$ *ABfoXix1[{H̽8Me.[G1I6TNOHs4m",Ӳ,&6A1~G%.!f+Qoi >7ZA%Zf9xvV:QǮnx# F Wc#譐څ="=) %ڒǚP *h}^4t-j*Gc]N෌*f̦aiFm=fV4Cnrwk򤠤%:Ij-ukChSy6]c5ZSh]s 4s]/gGmOR90涞d9Ft̶*oP"^ƒNJ/O~$[}qT⃥+Ug^Y8ͫт  EYw2rqI7i[Ɛ`PhfM%,M nMd?^!pA ?_:9(BOfM CN w},:-FUʊIK'|Y\ZZpf_a&+Ɗ/B-V0tCX5SyEQ}B5@;:k8:ٌמ^ۣĆk^Vn=LHAD׏ϋ7nu751@Hx޸۸Phr3%M6lyͼ'L?y%2>Vz3 ,4vjS^RzŽᒿ)Eb7tV=qjՔ ֮Y~(U0 %sG2;Ÿc2S@aMT~{x4RS$sST*̥UpŔR $Y`kRgb䛜ől-L`g%y<ƇոpV[H`).6~G95b&3|.u o6,D9ҹ>gƸBeq'1|R5߱QŶ镓^d5I z_uBvRrv |2PTM`Gn'Wjdz('%zS2L'#VҎNE)d Aߋx>jEK)pmvmCn;Lctﲪ)dA-̓RA6 |"oī-Q?VmAC3~_h^^ў]We0d;tqMă5ր(wi`.B.I&fԦYǰ;wG