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 s? Lt 5]HOL-Computational_Algebra:threads=6elapsed=30.760cpu=96.292gc=3.776factor=3.137zXZִF! /)]ŗXf1-q恈aldC>14aUV#/|) jUe!Hpcv`8/wyis)x"p(dv5[ *O>4A;I휉s՟#ci^s_n3?r{;ӽ ÆtVcph|r)T;BV:r¥-O׬3}͉E} ΝS0FB᚛\*#Pt{=Y• DdO3G>zW$])֩//5s6g젦B_o| 8 ? HOL-Computational_AlgebraќRpo@fh9?ϻl>CWmD&fB'0" {wJ7n*Ў|3 \wE5f BP͗YK7!=pf"[7= cЮZ,훴;iۃ2NIu[]&m${FoLȭcF!lNsdQ*IŹ;F>%yC\f VጱquY$]$cLb |y(9lgzQGnw&EzU ؾn4~+V,Se#`ݎ ^v>gYZ7zXZִF! ]ŗXi%_wUAML(4z,AFW;I/wχVm:(<^6WJ3w0éԛ^Ҟș7WpdcHvkj,yҴ&ksfG1=ϴ z GIL ^=Xž~uU\^:~ʼnHY] ,5ez>-a߷4cigUYw2@x YISd$>R1qͩ+n4/#43H]7#xZ08ݕ JB+aAWwQwu[YfDCMd7vdf݀9-CI-$mU|QE+Nnag3PPJbh;/͋=Axu_6c}& bw?$:w"Mu~Ą .&t{#]&rJDl {9-"Q*%GAyzBUɤ頳Gت`cl*1Z1 .mnѣGP}v}VD @p(ukSC."SϠYt]܊?j8[@p={SgvnTY=QoŜX yf_w^R s"#H\Ee$ǨĨQ\9*(X,$7 =¸kWC[Ź"ޜR2E>=:\S„ҡA*(`)>^JTjB8*!q2(_DyZ-'"{lDv_.NAYDץ߬ 3v&: Y 91mz*h ljˀJ9*ZaE$N36h& Q*0~ T GXZ^q@9=^]zp@B~϶$[TM{QTn1|B%YY^lK3i2%CQ/p8<82K6t />)K m S$9n @+ {JS%Cɞ?atTFrV& LX7h")ψY}z;}*93C;3V 7:̮p l.xsSǕ mQ_JpYL҂Nt Vl~v2r5W[4⥽K٣ pxUvo$<7p)7Iνi*Eyp;4[fME}HwК!Z jD/e,9o(ͷ6s?F uN"Om%AOP4C\ 7b!w'W%L<=Hn:9 o$r"xֵqu.DG T- !G+@Ѓ=~7vI > Aw9'3L)RiAZljJ D`mE288IUҫ [iq&&0yؿ3Gr61/t(L1@ Bkxnmk}lll;(*28ݱDy "][.s2BFNidAryr~kڣ徵