SQLite format 3@  - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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   UE D, !%]Pre_Polynomial_Factorization:threads=2elapsed=29.621cpu=56.160gc=1.980factor=1.907zXZִF! ]ŗXf1-/6vR[2ө=%C0A9RJ33fg3k|gXʍQXc)הZ\c\ ]AȋhWZ<36$rtDžPCx:&֞.ckSr`TT˻sr6*QEޠ>^*mu{?iEIA6xFl6>O.*TaؾWxtX.+zf-T|Ǻ)A+sZߣI {=q\_Nh^߬/K k*ul-ɯVdeiѩr1騙rd E Pre_Polynomial_Factorization9򮝇>ۖ߶BЙKkG_6j%>LDH윧 ^iԣ wڗ\pВ,LŅ/_JZ{/pOV3 ! ~xfqtuۙv9^6u>فjƇMʏ K)H*X|< :gk˫(z}Qa0ST17C؇{'M/%ۨ>[O}{T琐Mgܢ6*A[Mҏ?#ZDxz.㬝UQ{D\5In\F3&Ah|1 1f<5ߖ6UF o%$GȶTu_KN^ O0%Ώܾ%Z*=?]2hq1ϳĩvQ<\/j;$x a$L چa֔575,|7dT)2i[ڿDt 7vY oAn z[xqEO۔h8HnlM$0nU2\('.r:Cu"Wa2[3**M%1GQ$e|fP$9e$^S2^Vbڅ6Z' el+Ԁ%-QxPxKE̦crO %E[4/z=@&Cl>e)xcj.kBss=уǀaVP;֏ `5L)v4^:_q[ ^=@h4i5v=u;o(Zĩ+_b,okNĿ>W$sƉ<dP`^rXQpJOKPsc1EmL=>w~zۿ09-*iIjlc EL#j$nmDZH@Z̛Dį挜!Ct*%G߀kwRں}J7r U*:UT9#vhFe֕uZBs"Ҋmº6UiM4<-wc2C$u_}.'>SĶ3;sj ͕C= 0l,ńw=~v< (8g[7hHNw%lL X%u7-z=#c0sFW΀и{#;~FH)C%D9*%7}] 󿢃%'tU}8Q_Ί~^`"v c>fC2J.g7S&ά+1iAg8[⇈&%: \u1xP#m ҡ&|v ';#ۙs's zk/bH<b+Gy0|(R,nw9mNQ<Px-1CfIΊV_'-hCS^OYQAigPxRGʀޢC > aRN-KChҗVQW|,.Esu2MP]]$sTJn~фNQ\|4qdajt)ƷQ c!6GҐ (E#I?ziM`_; tYldJg 2Fx1JY2^ph J>(:2 Y1f ܏v)?N,tc* ~QԱ8906XMLmj]y b±tl(|A~]6lc;;cKj,iSpQKBcϾ| >(G˴[&]&3GeِX7|ItY85&%sLi˰t_c*T^W1c;btʭ/GkS*tzw^ֺ BCmCeDlB U!RuZ(}ܯa$:9Apx,M9w'0dyY (d˶b3Rш\9]fC5Z9>lH)Jak$Bޕ( cxVjL$VȓKx<-Xu}#$脞ЙKf@3D!gYZ7zXZִF!  ]ŗXi%HcO tb<t_7hH֜oz~9DzWUl] ǍB̖L w*vho"~"b塝GŸLLbhik6C̢dŰm(:ذhӣycZϖG9͠*Y L6\ բH +sz\yPϬ:V3S^ۧD_Jlq`EwN23#RtG%۶ X#2a7p};pŗg@%gJSEVPOlL;nv޸ սĽ-Ӭ#ĀSܤ5:yLf_䵖v_v)3g\.ʞX揢B#4f≺jwj|^%$(a>t!Ͻیi޾0bC,i>AɹwtFDo$Mrz6ޖ'$_IL D0MG4F/e9COKwe3:>*##;qݤRM+x5̞QPq+6sD0hv, ;Ӿ ~yAFt,?Sv0sEE3I:)=;ry Eh\nϩ9mE .T_ʂ`PCHt!BУZT~I9