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  e= \ ! Polynomial_Factorization:threads=2elapsed=47.530cpu=73.940gc=2.104factor=1.567zXZִF! #]ŗXf1-/6vR[2ө=%Bl=E^X:ݯ.xmM9rM*qLS%Rbk҅]RѨʙW)dWܰ_Q 5r,[p[cVxꩆNhd34<{a뉱%snO27O@Gڐ+[Pu GK;r f;Ę;x$lUyJz%ŮU ^_|v=L0uDv`?j~-wChij`|X%'L2+\q_qo$ g⌃a5f6SmhBR1,;NiFյ#r'B۔>3sq 0KJfs>ԊkoUISZ E+0A~<[xQ =s Bu+2ߴ2A~= BƂyz61|+V.=9-ûV`_;U'ӟ2-pK1/jJ:دdMCcpmԏh>LKK2?04/?w*-ɍus+4 L1~=N&,8Gcmm>{?ODDgVO&t-O8NL:X`ՕbaG+c5!D$N\hKVE#gDU|N9![u)aL O)5w1tz> = Polynomial_FactorizationwLmt Ox5$ >IGYEdNGL,-ɚ%58"v-h=Y+vyV amHxirqKyJa߿kaE}J'ŠE3CH77> gy:`|dU&~[~Ԩ}OV){r'mvp]F=2)"((+|svZJz. CE9՗%I15_KNU(5Mw- 3ZkN:ܑ-QSV$9AH Xw̓9|"/Z/#)`i,NUU\HHq"CCXWYÛ&|*m&ϑÒD5t1lUo-_`{`54Vq2PzQMp}Onϸı1kbRԇl|7O!G f`ȖVҵԂ WcSoWf_:ci/\Gi =TPT{ 9V7@T(-u@ ,mݖhA/?wo;*771CcR̒b S*v+U8QR[-dll,: &}1҅v7kY/5w]xSr$)!h|?htÖZɣ-358|+E+Ȯ7ۈ޹bb2v$o_tl2ULz^2_p=zܟD@߮F9/}Jr"'` z ś QV:_:. CLyiAo23;Agj~c3#dt^`up7rƾ EAfoIB Y=lVn#SS\|vU׺٥k]LnS9?1t텨D)Vf4k|mRQ\O(|!$]*P6/"TbU J-rk_SIԖtDd/x&FT ԙp%"V3I#d6mVʙn:F=bp;4ϐ[6h]+ۍagH!跮Z|>>9ݙ"v!SN%;r`I E<ɵ0خ7v`C33L*[b[|JU,'O,tYBEgpnou~]<E2r2bzmN1wz/lk-5E!SI f\g@Wž.n`d1b̘.\ٸ:CF 7yR.^R,N}#Y]f9~8lɾ=0qJ5 a.SׅwiUgg{39GCz+"{'Hy0fa]+wJZ% $^7;~OK.`q>"kȋyFmx8KNj'@a%^*9,fl`R=?>P9yYl5ډ@+6o@;25{L`l^}qzY]ڒ1QNiFjz8M]Eiu+IJR鵟󷝥NH4s"q~I>]N&\.%5Q "(hr&JBy~gK|2'(*s6$yPhj|f.A1Y1hSr*0؆P:8QP5ίbX'%I #Ÿ͎yl`/4K_. V-VSmʖh7ȶ ljH ֈ&#Pe Kv