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  f;< m HOL-Quickcheck_Examples:threads=6elapsed=66.237cpu=150.768gc=4.972factor=2.287zXZִF! axW]ŗXf1-q恈?X Vd!x{f(Ǟl9o!'8~'OGYTƖy.Lê>j X@?OO>o}1! _X] 06wJ%ker-eN-"ϙ%hXdY+a?B]c=IfwV{O(T!bI?Nil\hI) ː_7YDNFj"Z}d0 pxp {4K\GaipؖdT%i[>D"@ݍY]K8{HzFҟ<ށǡ+_#flȯ|O}^V/zWu# ^ f]^‹Ȏ54/Nz){ܶD KFTA))9JS(~uTڕvUJo7hENGvDWiTRNpP775[|w0 ٰ l 늦F; ~c|M{kW6طʘ|o1$=NrZ_7 @Y]jQmkW{|bϘRfE DD :Aǀnlf)ԕH렸60OV:Lʼn_x7)>Y&+zZXz+4Ҹol_9䢽OcbߕT2.u)s[E}}z­x${-@&ȄV_(z>:̭e]&تwDYbp>$چh v &kS&o:b5EF ƣ&=[ hܒdXI M}s\vb#PW%Ý2c¢q]-T7UP}Aהwo`$ uMV_kɩNDFjp PejVف:2U@ Enp˅@Ű̏P8c]1 H~ ʽ (vy-mTT6 y hƫ(3w"}D 7|v]>Efm8',BYq L uvfT3CmJ&tƦۓf^:G>rPBvBՇo %c 6o&26F;i_k\)JKTRq95o^)],l ׉s.B 67G03vY$t:S)G7"#Bt1_P^n;S%Ԍo>y?sz66sх쇄w6VɻT$XvГׂ^ӇM&2 Y㉎'M0*pkh8TDQȶjY@ (qRo i;6=ɪڧs(QnAD2Ηk<@S3A3O៨6gI'7;`&.@r?fV/,ƽ( *Gl# bz8j}91?7>Y I.>ִU18uޠ߆$4wnǠ|)d%^)xaE`~v9l2sHަǀMia\hArM "m|;CXA[:"| ǙkyU8`r ztrxB}Pm=Tn(,y5ר؋ 80LPR1~?N\ <]hP_ .;.aԥݼPT´Rq4]aQYfnq"9͊ tc}t"]}14 ".aak@'Iؘܷ BbZv;QQF{47 =L$GPqqtQa^UCpm&)UIǙ Gכ @[לك(ĸ4f(K')eGuNv-`Ƅ,6h#Ӗi'up ,rD~9SQrLq멾n#~m n0^J.^;Z%p"D_B{n,`D,Nw]r 1 bG\We߇ObrW# g}H#*Rp[SsZ&~n8ɆOj5)-Zo S*`Lvy;ˈdޜz;' ,<\(wQ $r,C.sg[^XϹ^T&vų3zqm}t) n9,K^\TRKj8r[ yd -_U6 dgzaBK-`[yC~j`B|j8e1 FbYhW>qE19O=et4sb)>Ea*z\!&gu!X*hYY&%h>q_mSoCF@4yECr}%ͦ$g ?UϊqlNȴ"e+D#`nAw'`I{0, |ƎOG2q|13-Qt'; |.J}:oVLY&Pb7+'7[EU -׾$#i N[ R4^4fkƣEX;8ۖ/ZHy/2> ϟjPi{ş(/4N\`` A|ppjS٠*LdDvF QSOG"83"%ֶ$BSGWs@M\ !5V-vaP'' V*Iǖ