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 [["- < m HOL-SET_Protocol:threads=6elapsed=23.820cpu=97.704gc=2.312factor=4.107zXZִF! *]ŗXf1-q恈%vA?'GAq,$L;׺N'n='=tZGAi J; 3WC1ß13FF`T>izv0A]:%4~})s@Z.CC|=q|+^{dTΏ#y;'4[|2 7],6u`CP'Aa;xHQ+P5)rC;Mo#t/J*wO I#G5`"Y\e7cP;  3hAH< nuKigvø櫚SʅB~[d4?Y+c97#@'6BWϰ~ϸYoS}$.dQ+¯h^H(&rS$3BW_s$6 c+2$</c?+4DAjg@R_. j MqV%,[" Oid:  ;8z:FhThkhZPmcNKehdpkcQCO s+1t bSi=P0#̗zwt6c]XsZ)b!7S37dbli˥ⵚ { hMi ~C 3:I4$f 5nڑ4Cn .U-\2@):_$5(ׇ6j2k7,|emMڒ>Z4N%& կ܍C+L2R˲.%Ir;:is2.D + &+%eY s8ɭ4V Ι˾7qWNd,k`HRbAob>2eڎBѢz7UTMSKStK}A!P:k5S8{H C+%⊛BY]!NH.v."pNj`` ?Xv;,Q~YF/ߋ3A#I򵚼_d hI+kq nq`$&hyE:*̳T;SQ ah[ʙYNΘ-u!8V&pgD{Є`PDyr@WDVኤS]^'MY9lۣ-[e*ui/_,dOʟUψ k$@GuX[ TVLpFO7XDդxi|P{/#aiB=^fclJ=Ř~X搒e_xD)BOPxm$w}\ _L72>IU;?_ ]Xi>VNֻA}Cx c2N.Mɗ#~.iTZd#cДݓh:). :~@ʙ!yV1YQG7bI;O`yL@o7̂ȆW^1?3aî5\@]x\a q[qxϭ\ЪysnY9U$4='hfTL "eiCٗe^gMX鯁*N$gX>̂#ruߧh\#f߃)"a EϩcH:aBm8JSMEL OU0'\7|jY&dy|Oߵ> (5%0"Bv-3#MXʹN |9nMN1ukhdR.v$k?f*CEEz#LJ֬+`ia̢{I#;MSpG9mQ5x7Ձ4/RWt:CDW@iSG[Xf"oD@8ɿ0S6QL}WȔ" uqg'^V&zj1ld֘dlQˋ9/ # +Zt4C6|s]V ZTB dtwq[y*n0S}j%Ʊm(O.KjVʼn# %PYWto kQӤBs▘ `&7rI/Uma Ȧ% TLI>~+{Y T$OatecE]&W5;GizLjL&3[uN=^Ĺ99ɩQc|ϐ %m&aԢtv p~^i<#)x#kѬ%ehUך)-uml6POzs[wkIZ{*e"K~'brS,Ugyli %SZ 7ߏS3U–ݛ}UAΐS8dc(d@W.r&hkF2ud i_|[B{?WѾA}66zhr@e5jp;uaPY#uuPI^2wevn@O,(``̉ |/_q(ݑ?TuDx@i`^tjpyOcV:BLy[[@u8