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  @= |d ] Polynomial_Factorization:threads=2elapsed=47.267cpu=75.644gc=2.612factor=1.607zXZִF! )7]ŗXf1-/6vR[2ө=%Bl=E^X<rm%WqG$HS+l˧5\TaJ!pj: |evc։^aLwT? 9JI -n\,KFKwf}@Yt8r󍦂p.*Lh.QO1_rВN[L}sº\Qt*IMG%+{ /;XsՎ1ի7#Z_N_ F)/۫C"49XrvVR4?Mz(Ďe7nZELN|>4 Rdqì՛Sy."uV'.~1~g[ Av;z6af+9FLؖEIC$]+o'-5/R[)%GLj~t|LB*ֺk)~y7Rf0 &%}MFEXPP1,}uH 7sWmJ^UM.$Kb* SȴɏRk*Vo/ Tbo 땢&-AFiMAxf!yza(F7,mң ?ɉ./OO~aaBWc q,v yo#Z&xb΄#l;~.b+Vr)aw:n, 0 ~<%&˳>x UԱgYZ7zXZִF! = ]ŗXi%9(OR.@1.\*azYN;4YK<5`djjjBv 7PyL1b۾ =Js3 f3$VcZ\c҄\,dMױ6 y/6u}e}J37@>dh^N;Tq1bOwە!B$`Gk$]$ `Ͳ+ VUuVb5S_Hmn69rZu!zybe55FV#J{CZŃNkEC`g?Y=Xz&>i%/IPdkPp#*omJ4 M$#*ME" :G?}#\G&[]^yD㡻/mK&?dXd I#[N+Ъ>p5?#&#n5$rJw*uW%-je]'> x$%<UO.[ %ZyB,3̻ ]xa/𨜝$_B3h{^G^u'!]ߖ-1܉OPr[ /0A%ܴYI oYFR#YӢ$Vv%M U佀^;YP96~(DH*D լ4Ym~Ro9{to7Q UvR$ :'bd@+~=bb`}.j[d{.`RSRw*G2?E/Q;,ܜ \FHI0(!\ǝuO7!s `lw="kx"sp`q};, Oq,~ExDIiesckH}0$,1-V6!3ѩT ZGjg$ rD7yE0,"thr֋Ɔ=l]v2%Ⱦ ::ZK! 틿9/j XVʋ$'G|&LdjS6ǗY+;RS$Pd`yI&C%(;Ἀ]P aH0ĈなmrA5T`h\8<-ݦ h>X`v)Y;٧)S @n6l2*w*KJgdւ΄zR~tM6f6"RYMn!>ND'M"אP>- lz]\T |3˸`]SS0k g0T?ooYm(lkCMV`I2rwlO{Bwʹ