SQLite format 3@ . YYQ77Atableisabelle_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, "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 >= d ] Polynomial_Factorization:threads=2elapsed=47.070cpu=76.132gc=2.984factor=1.627zXZִF! );]ŗXf1-/6vR[2ө=%Bl=E^X:ݯ.xmM9X0L}񟁗[Ϡ k,oxW(HŻw>(OBidc(GԠm*^藆ӆTKB"UFnI5"LR. : (WײGNB hq$CyN- 6)H* Kt = Polynomial_FactorizationoC4n7xD]Vra [OHuv›1juc&K1U_Fi7;ـ*ݩ"Kx9C+ryWrfft3H`z; 7Jp̓GP@, BluS\W{,io 3J70;3ݎA|ar0!̈Jkx"t9_J$d 2!q8PYf J\qW{^k? VM¤}<*Q-Vqxuq]6S"Е8hybxBZ JWu/]Y\O@l7V~[3-*9؉QNO^7Sg:߱gYZ7zXZִF! v ]ŗXi%6 㤕q4 ⛜8y?c'2K+svx? ΨIf2 B_se{ry6o拐Y^oІ,Eo_gR-nakS 2ulu\DzjuDSMFE9T󷲽o7648ϡZsFۧdn8eT[Pmjꨜo8O)S:q6by;!`u4FԹ_V;(lW; #2OU4bl`lL窕FrB+$eIp6p {xPုmlv8;vY_LQ}*@ W _(]"%=x7àƶ:"i͵H=[vV;aB?F4.̗#F-ƙ\:8NꝃL5Bzux#jP%W/V Yh;IӈB!*y0{,̓>8'TmXu-I,bj4\[ɆT-"h'd!g0i=GTAӭ An\xFDJ/hV*3z`w#}=.J2"Re$P-_'բ 8G.÷%RGExh_^>RxEf!UT3(β=itp]YWjt~{+U]dl}/ elcMOh u:!gU %i[A0Έ33jI.LC[l\qˎLcͭ_<[vsƀ6!쬞pIpCU)O녘L2a[t0V<̿h f)'}q9\\KR8ݸԼ]쎓||6R_>w)F2ĎD J,=i & +LnanzEecQ'@*\AEh `j}XD0c-⒂q4+ jBs}"I -8WW Ix[p]2<6\,}:ئX'@N2#J>7{)|Y[SPEifBpŏ1\r>J&@eb r8N1-,v&D2ǮEC(W;~VF4V%Pm"` e/)0A(#&ޮ=zy ~7>d&@)-8`1)JFq'n٤|-6UAՒubveώ݈kEY~^ c-v\H$B&-5W1lBgMߎ5Bͤo)UQ $-*ww MQ htgS=X_]e;Z졆1O#(;;[EȘI}bnREc^i \٭=%<@TJFѵrG<1l} .KN0s,$Dwa>@Qu*>Y"B4-zXiw_&-_'sl_(^⹌VO &֟ pZZS?l؜O[7Ȱ˱xf7,WQ;-Pq{pկhNbXF=)ToBYtdԍegxz^iGL(ŨSa,xF# *iH>7Rh 4 'dvr eo*$pƸ~R }4YvzSIpA~i仱-|i#W*ހ1DrLZm >,