SQLite format 3@ - llB77#tableisabelle_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, "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/ tL ]HOLCF-HOL-Library:threads=2elapsed=15.226cpu=29.272gc=1.380factor=1.927zXZִF! ]ŗXf1-q恈͐7ӺV d>`;Gؽ8n򭖈:)FuKȾ"1-H*X/oXX>TbġG*v`l'HIoW>KO\Zۚ;ʼ9_*=ĜYKLzֆW*ٶw$vvV%uLO܁jC=!cgB6/Gso-<2?ԌSo2b"S/]헳PTްGP~h6Ϊ~`I1CJ$av Eoo"?7~@ۣQ8Iu,G B8 ?c_(;ӹAϗ=p>8.H[]Vcx|:VL?ezW@(83I΁'KS$ @h{xg xQ*Qp c9 \P)J) {Zf?ȷ˘T8״VN95ḭ?JœSF F?*{ ?/(MQ!Ql+cu*;Y2#! F+A6"#d&%%ضjfz+dhtҞ`ʧC[I~`3AH;OqK~5*x"E#MaFeiRH u1Bg8nvNt82>#7u֮pbL / HOLCF-HOL-Library>+뺸v>F/ZJ6nő? lE0;!fÀw+.K2tBJ.ڞ.Α={tG=xȧG QyWnF|q|2n}mai:4!Ux(zj^-HS=TI_acj$sJe4TM1fjc)/F9\ZfV@;s\ MTMٲ.S# TclշG#ֳTG+Wj4FAc<f9 aq׮[+}<̦ x\ZV"ZBΒ\ Iqf 4:d3A[3h}b b$*@oa3eWl#:#M]nKaLy_{/B ? ryj;JE)ΧS<@1mCCnVxpeHBN#ޏb_-sX;ntpuV4>ߔ.l z%P5 nh7L3mUtb67/#!nŽpCR$-9?䒽om_>jnse~m{1#4|,-ܟ}ɪ۸~>c&rԡ.3x%jhHS7*ˮ73>| gjDET7yx87jIT/k"ϳ:L2&Y$yanegs 2M.ksh 'Bb|Nt DQ?4F^ſ!7P!"u!faHtO'W"|:B&\`Q$F(qx֒އSS}K1Ă=!w7Sv00vxM)lHĴHo\S}-w#51#>GrƟu4f_ԝ'I&U%t6FYfJk?@Lm /臁p7qIDȒmW[>\3sx!I”j~m ;u!:ln rKo2 srE0{qiVG0k;=}CI7-w>NZ_`ŧ ѕx1>ÆXpBtdňVzNo91pgkXmikmxz(گy !/I:1b5L!4} NFUE d\C^W/lD%<=1L|6aOxĦy-)XzZ6@ c)@7ȶyZR58V9Dh;K.yG!@*ڴufQ=il1vkm6\c#'xMn-(ڝ`i>븤3cgpfF RHn7ްAɚNF2iC=+dzk{$B蹾y!+͐Tn9哽~dX9v*Rzn)]LU>[5 ݓfʹb+9nxbHM):c(W$8gPU .q逡cJorXiq38gchﺋr5x)RaKU}/RқrC(yz>H̺}Jb0;L8biJgv{瞒KR,-Jd߿Dy|#l9 Ta?>E &CvRg.9*FcyFٳb> ʘtA`OIsϗtSTTnxhߟ(2|5Fي\V"5Pu|o`n{07gYZ7zXZִF! H]ŗXi%BkTߥWȸE9,}/'QnU3@%քf+e)ÛMnB9qNA?eV&pNYT?!)RFkio=GwoX<"m&16)Z$ְtGs֍i66X l#'ŋ"D 5`i{|[3fN?8\tѝ=&a0Z|_ᕰsZl sCHN #Nzx\Lf7Kب<U&FXϕ¸Q@RkO Yi׻ON#K+|^DGjRDRL`ɣ+)zbZ@W@Jaru0t,q'rT{BF'0Rw:*_תJw7.X211^g;Zͅ[f5p*M؈û3)lܙP['*wқX 6IuMAdX81l24ti1 B `Mr6cLkAn~(Sd ˤ6<^BCcZ>*MRVChh_T9Ƈ(؄%#¶u}JH2rk