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  #;\\ ] HOL-Quickcheck_Examples:threads=6elapsed=65.030cpu=140.244gc=5.424factor=2.167zXZִF! `,F]ŗXf1-q恈?X Vd!x{f(ǞV^G-3=5:F*i(aҋlCtE"/Ors!OCGٲHMY[QWw=j)G@WY8:K+3 ۏԬPYgNTWFgK;jޓhҨt7rz@4/!LsvnhZrA!/loySap4w,}R'_y?h*bQ.mN [hVx}%N+PMn YlXF;/a9C 2ý"̼s05f - ݐG t7 *Z!l5M,tK6h-p t}Ю`ln=m.ҦH-=ĽO~t1LVލg.Zo{M&c$eЬT5[SO. @Lx23ŵ6<e=py/%L!Ǭ) q]~WOM^o&Ʌb5e}B˒u{Cq؄E9nNa %9GX(" W3{| YM~t3eۄjƤhc|~[˸Z 5.g-HD N@;O;3UDheyL{v2Y]h'̾N+D.}>qr9g$ya1Z>}adc<r苟"A? ,Cq FSm]Qrf PuH!,p+ƾS'E;B}rT>UECô\$egCW㥒OBGˊ6cZdQc0!H[,PK}|qKT^”x<,5IT ep%jJv*911K`?Nc$w&RѣQ w7>Dvt#N* `3&j >i?Td:`gAE.%*o8 qeAvNdL)Q*%gVOz`X~*Ţ9>aS!#CM%٠^c$f jgYZ7zXZִF!  ]ŗXiɟ1SeN|63ʏdg!5 IW Vhv?-8lԞAc/6y1kS`ZaqN_R4߅%E)2%oo=RC4.FY)xN2t-d3@g #}^Qpag7~Lix= h^^D㣢 |r^JZ"ڇ/(`B-K7[lS\iCU|Ii{ O܄S{q1?efW& v<:$ 4e?$}y͑Y^m +>2 ːZ>kr(k``DL#Gߏ'bw9iخ c亢/j% jxYY̞NlBX٦?KWTu\x:ix*E2k,^I.5diMy=%ț17KodM\!0`#GR5Ah$~.hQq0gRz4M :8\:'n6wV g:M#@Jj>ۀRtZg7ƦHAI(eK@8l7+9e8Ɨ`[E 3),/;LOFXVEگv_|2h8EXv߉U SB'Iao?: ی >ҋu?G1QX(ͅ+X-DdAKR. 2feosq^:"l^T}`hpP;)d@T8BU'pׯN E|eW[3NT?4C!|~23D㶠Ir jtvQO8 Q)CfM + %H=]/aе*{ZN$Z_.уALqN ҂<L-`].LjJF"~3T>?&2QWS㚀9yĞo&|搒7Q̺ 1cy  uOWiϮRAN5fSw"F"j_ .tD}U11nhs7/ؽgx5I0E}5J@.}>y (긔?_WsKv2aN|18j^PWN: &6MzLp &@ .Ƹ JSf &;oa>[loNΛYpN8fNM]Nהյ^OެIAȬO\_=_0#Mt)(/ M}{uE2SU)ECmD'|Y;X&X&6'GTԤa)K6lyx% ,V1`2e詴C}tE% (U$y=\c|oe~녂trZl]T](#$/'"n2UUⳙ?'hb1NL M@lhf9}fh[2InؐaV؊9^H#L0yFi"0/>ٱ쑄f!0JBV_U{RU8y`F>mV29ל |Ct(#x1c]'4V9[M&B<:KP4 Rz c)zK+pAo)) i+yCّR_%C`"9ԏ4 d}%>B1T ? 9;/\ͣ`8MCh5N2~䁌ىC= ,(vݳ+_Ah y)> >o>͆no6͹,| fWڃilj!Rt8 RT#vԦ$7&4MptS@2`|ҩ)Uq lQZ* "gHHtV b 85#LBk_M$ɸ$`'A̍Um~CԩLe/[XӺaX^daz* L)~mY.|م([2և8ȌBf q 7zuˍ`ͯeQOeEQkN.KK CA]6L/GUA(PuA1#cѦս,wHq2VgdwHFr`꽲@t:䐪U]*axE!ɖ{m'VsQ U)r+VT<.q\ RIb5y*OzG$ET}W/$+N![7Y2X[cCCOIp.oQ+AZh>t /B}g.] C8bw JѬ?DӢrEd^U&B<:E]vZ@qp g-h  w14<8s2 9FqncCQDVSK-v^P&`h6dLӐR`U~Z>1\Gnĕu#De<,Ԥkf]Ѭp [, zy.oG$ >npaf rL)CW@ɀ9@T#R?;m9VrEe/ `Wb oN ֺQ?T\߶*u_$tJƴ* ^㕵a͆1RLonI.HjgYZ5fad351c90ec000c2b3b5066d04b6f4611f4a8e5af6f82155bf73f7bb583ccca2ea0903508c15c49 d46974a3086b030c59882507bc02c46cc6680af9 8cd398a6bfa05ef8b8464339de16f1b6ba0f545a