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  = d4 ] Polynomial_Factorization:threads=2elapsed=47.774cpu=76.860gc=2.992factor=1.617zXZִF! *]+]ŗXf1-/6vR[2ө=%Bl=E^X:ݯ.xmM1ftTd^&T6?pCo^K6pBoDY+C>]ܓ{̔>5TjS7_ל:Q=-Ft)͔XC-6M8l/ _{мXHt(@ݷnL,U\"mWrab+E,ͷA# i|~Ms]u}Eoc0dw)ޝq.rwi bӥ ucv*wbr^V`9=>Uq~xTS/j5 <\3أ08h@6U|eكٻiD@H&JufkD1r_6J`@KZFDE>CrlJ +3neS{e in`(֊~1 /Uz5-^\rMg糾R"iQMgsAϖaODyÎy-RQl`DbtD60hyHQ8olt>Ʉ*m:s $pG&X = Polynomial_FactorizationͿ;?1cW+0 Sr2:A&խI?tlj8nTRgYZ7zXZִF! ]ŗXiɟˏ "B"V[9*⍱|x$]H!TyJ,34 9%lϣcshĉj#MC*i _ =:z%W@c_'c)bQTmS'Rݜ3n MghA)20{k1{ |@ä#b"GTܷdRK 5Sؓf$)l\\)u|D7 궒sV(R$h?1HU&s`f])RԅIi/%-N} dpvt㰵+ű0*9  $?H¬4%R:<_Rx؍J{jI<a j r94 (œced7y(hgB-{rMﳒ\Bͭx\njN6r0SdgsΨq%aEbgj?7v'[7+:}{ |7qNby15RbE\^r_Q06>Z;<ջW(SIw(ʫ-AM1i48PCL# 2h1{EO:⽓$7EL֗,A B-q !GjR+̴ubg{5ڂ7Z(KgE>%,rX`K Vx>KʮPϱWVTI<<ùFo%!Qλ;ջιuUTP}k?guX vc*+V4o aRt¬|GbEVߊ}IX|aeUuKC{q"O!LfпTd-`TGrNI? 7ϰ~jij콋&m~"uD@'7L F-utPW6{P;C}l6gwǟH$XhmN#Cݐh[9tx`jrNC8cA ze>iWĄIQfڳ$ CN&v&~ސ+tDS{:?F :*F%#&iQ1H;*'4,9i ,`7;9 e66fif~pO:WVk>?Oji`-?lS39 ꆙxBȅI*;KV8EC퍷/M]yve8B5Js2Ws76dA*gG;zUk8fGɰFނZ@݂:|~rc'S=\"5qT2 Y=%%V )B *]ܾY+ u2r7C+V 5h)G+ڝ;L.)^U["P>݌%-ǬM.K4?iKX%af; %f.EY[B#C8/ߤI΀x.FY 4( ;B7I ljczr8#6r͵#3J?H M(%(@ T'ؒAų+m/d?`jzf%u&ڗ\{a)=e3E14}`N*wn'(Y<>=6T{ ޳!U_ZܟԿ N/FZZnBcf`/zh@|JSn!!9Ƚk0iQE]P"G 4]h&yL*~4IUͪ*S0.EmMY=%$tڹ2@+PU 2{Y%!l=2"gYZ76c3527c71e3acc31892b4032622a14b5d00cdbf8ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a 9dcd22a721fb4d6cb69fff249fad38e4e65ea05c 3ed685959535f1327bdf7d26aedd8065b9d7bb35 4c54cba45bbe8628a200be1c04cfaafa81edd9c5 95ab95310b6c52ae71998a3df71f322e72d4673d d8dc87661f641fd57b43604840e3147624a4131c 7a9ce14ec52c9771daa6a81fd1b960331818a6d4