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  T= t ] Polynomial_Factorization:threads=2elapsed=47.766cpu=76.736gc=2.524factor=1.617zXZִF! *3]ŗXf1-/6vR[2ө=%Bl=E^X:ݯ.xmM1ftTd^&T6?pCo^K6pBoDzef8ƅ?S!ཋ 4 Uu#N3EOڟM|bdаzrPFC k/Ч/4*"eq+΅^֬V0)B==؋*WWnLݜ{wZGPWS$MKj[\4]0OOF{@ 2H}əME_F4香ϛ0,~jׇ8**[QrNiZ͋_?J%W6.q)e.KI(y9sɷ|i=| V8TR^ۃOfd@Zx*nօ1͏=UuLe3SXW~ץW.j9_(QPZDﳶv.TQ/ӄoxc-1SuZ0ށ*EQ&ou5ջZAڕx֠'[aŌD[,=ss#08%F )UgYZ7zXZִF! ]ŗXiɟˏ "B"V[9*⍱|x$]H!TIٓmL>"@?dO>򌒫v]"(WZh5Zu YN'Z1 V.,/9sb" lfP%)gLZO^,;&#sjPpl!wU#7Qg߈6֎kY}}ѣn}0)UQ㋁>c-po^][b1"<иI?nejH60H9KCJjLK7RA/n1 -QEhUPid>֩2癤o UR6C5lx쟐ILoIad2=@Rck^_S1g:Z$=u>wA41LEI?ko]`ŴLW: 0 }K!;g4J2 h8cPWr~[~.}co3&HJm+ H; 7TE*J& g}O_~Wlڙww.f!A4ݳyc,db6sq ι{;? E[Jd~"Rэpd2Xh= >FubI!u9T\ ; `/˷gG6 ෑv)bI)ڰIz;H!_*M˽omiS[_TzH~Xhu=H`m(1B+b{tkn^* s/Oϻ(YBtB_M/zNߘ&!ɶ_4)3$M?9Im `6NMP MG[jNoM)O+] C`MQ0!RHM$cE_) 0L[2||$/ N]M0 +&(t(li<~-mz]D%sgY !G NZ0*K`YWQå` `$Mk3{1m١5!# fb% X/j@/i Á[ pc)j쐦' OpB1fw .upɭȰ7;7P=RiZi%.{H=tI v4C%ͩ=|(, 2qiNHuRmo7bǤ{)9.k۩%f{_B.ći hEE=9TB7q[]ﮱhGd~MTPt' 1c4J+7H~VWc,W#[喉Nz`a؅ LOݶX%j-mX?v2ҡ{XQdgm#gW<`'&PM)-Ce&SaOLDu#qr VK䲶3Wb/r"%{(SbX>e>aIuxXCF^̏ 6bi e(Vt\CCAAEmU(2K cp%t# eΑET~0n8'yÙ8t:G߁W͗1mu|DjZc+C>fΐ/r,&GD+[ jZkyJ #67QA/LelAeI^!9h 0!j(iȰfɩTdܭ_WRqEv I"Lt3@i|e`V=α'v JWtJܮ x$a!c,ut1>\H:\0`:]@ٕN)*o[fn>1`)1/΀^?>CS:!-g!9<_o& 3׻.L &wzn2tL4T,pk:w$ C 2o mZ:4ը 6Q/)N*bREW̎+g?uR-? }'%΢Q< (kSXɸT!AbEGETrcEbBM^L|ɸ_0`Xɼ3 T, <WIB .Yty!vJ_9V44, Ot e0瞐hhk"q%̛dwLL_vS=SY Pl/\7~H(޻?Ђ,f~w$@A1T2G6ަ s%d?Õ9nZc#/P^Z5ε+0;e'v,kaEL[