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 ::CE T$ OI]Pre_Polynomial_Factorization:threads=2elapsed=30.223cpu=58.328gc=2.556factor=1.937zXZִF!  "]ŗXf1-/6vR[2ө=%C0A9RJ33bZ݉hBi1 ;C ^5QϨ$LLh(H>P&-'EP(d8rgB!v}_CpA0uV?]3N5 ZkxԉPd'DE(1E;D8^ҾKJa8K vT“j"8 a% *jb\yD$QAN΍ G-?#Vݢn ֦mu(_ʻO#)`Ta }hS`gzTp&!bTQֱ`g# jxɇw3;P5ͰS 2#H l[Z6dN/ߒѴ1ȭ>ts/{&, A֤x̕dEI3mj,$ýNC~j7uwІjBm{ >hqAC %GhIpXn?%'oLgwY$^ʞ`MSǛ|ν>Ӗ **t{VJ_P7:UQc`14Mdl55Z/N32zy)|\{*-Fejk~QG#R<]{Wz5$R&x3EB{t҉<6$@@-nمCٳL548Ck18.͎TțG`̇&X,] JqH4lmd϶\KyH 0}R.(!4ÝZ dV=M|t"&ȝ[} ' 6"0H=#_a2 Hgv~4Ds>Z;@SRj+X{3C=^uɣ /ۿ[|^`yC4[($!ů!/pKGZc^P2w:1 dPx#kSټkC,G?4cw䔚*M'uqT*_WnEg13ղnH1x|zq3x$V7l.t? CZ =1l8pVZa37h""׶qLkk߃޳c)4O"k6$Ys7{E{'fnwPَ:a`p^Fl3$ҐbHTN_5.юu3&׏x@ۉt2~7ɺnєD%Jͭ}[fnޤ703;]#7teڰh9ܴ/E*P|]6OZ )=ıiNTtdvw 2t'ʾ\vDru* *c P 끅ؖJB֥'!XR>VƜ"JWu,9``ݑg^[Ubhakt9-$+Vla㩋b'`[^/Js_T[tqf擼7ITRkuEG0emuz Ak7ul$Hi)J,1MX3Tb[ ZW\{(n:c͔@l&ߥ%eS$~cK,:4>c%A 4f. pT|j"wL"뽜>GF 8KR|}k 8y!wdKز(uQ[<P{FUjGf*VMrUI%)HCXŹO,Z-[ ͧ ,&× pMCYyax#xݍ՝)9r&Sv5qyK/0& ;,.