SQLite format 3@ . BBh77otableisabelle_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  L= D, ] Polynomial_Factorization:threads=2elapsed=48.968cpu=78.048gc=2.636factor=1.597zXZִF! )~]ŗXf1-/6vR[2ө=%Bl=E^X<rm%WqG$HS+l˧5\TaJ!pj:7o- ^!F1KxfJV 2LyO!QYγCݧq`ӵtPl7sirLϴ063cb19$;4:+8gD)> R\5@hCAAh%]XI*taJۺ/r%:iϣvp3'%8,>7֎{a WQD8W0n#h` Mi2{W26HUyS<ؒ6C2;,<WwM@Zw`~s2%Zï8WXn[ 4"|3qE}*5^gt4Az6b97 n~,kp T2HW9us3a^):xL$D~j7+1a7 ddxkʪLer}c^bLPW!VćD+q?9a1iM0'ք9{m5VQMTyTǖizn+$-v0G%DMHIPYxL p\@>Db0?θbUp = Polynomial_FactorizationBjٕ}S1O! fvk1)iwn7E][uSv鈪3<|5"'SG>#gQ >HqQ9rJ{j5LU)5n|ku4uƏibEe>t[$ܿ=K%uWrynڇvD9bB.r d%^վh3>J쯴a^r4{zIM5ҩ=JW+v8lX0ôud2B~nfo/YjZ]@'@"?sxy( ]R@EgYZ7zXZִF! ]ŗXiɟˏ "B"V[9*⍱|x$]H!T*]IuP~ ^~]1c z5I*I,3N$.1[Cu[@=?(܍9'Ƴ(Ar{{L^LҭҒs$(m[#pU;Ď(z-e疤'"_h3AƂ'O׾?>;_KsNLLi8[)"Jm'5zS]mE_ᖪ ;hӚyB)hD pv 㮖7<\9N\>t~ݘcW0H$%&lMp*= O3gYZ7zXZִF! ]ŗXi%qzH VLnzZv\HtA!lF}:`qLjЉ+ }4/`Mꏙ,ive![cڎ+# #GYR+%]ɩVv3q9[C4Ry"7zY4ohc'BXmt(Qc u\HY@J,,`֯oAB < ;܇?Ña-сޏeɊ>4.k1UTR"/>\ʏ.n+꺳7Itru<?mJ! #$2hPmq`ۙ4{r8RcLY`'[^SVH vbBƥ3(Xǘ1?qEYE'ƢP ~eb$UaYhjAiÒC&*%/Og'4 =vG!>fа˧UZnO~8SNbnt",UȈXL}PA*6oku;ꐹZzjP.1>8r_}h)#^g-Jg7)F=zyHwCZ[܈ ] , 0<8Wou%17g8{11@/vٙa4!Ke<!ۨ}~(("gry4AЭ(\e2 ER?!- -BTYdb 1~\N#~K͌rY1' Vyo-z0l @`+(5ɱ -,هP/VֈF@eQŘϠEO[N[BE&@5⊉=l!\2r>}o%iaxB@(|ePKb7PeJ0ޱv0m q~:5YҷTXsL~ M:cKoH31J_3zܪCjU!))Z O~~ս4mF"b)hSMX1dCxv0x,f3qD=Y\ͮ-imf8I=,x/Dd{1qPd:/wfJ^;Nܳ_