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 L/4T, ]/]Regex_Equivalence:threads=2elapsed=70.946cpu=120.848gc=8.524factor=1.707zXZִF! 2R]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jm lSR 'RCcP9z?ׇ#fYVu-.M"^}c,v1"=2$Dp 'Z$0fUeC4 DVݾNf+ 5 "WzԦ4^[VAQpSgtQĔ-p tԳ0.Π0enCow5KIʁ FyhoBL87M7:K\2lC ekskdiG xq5dNSq^m)a+9z\6# MLU;Rm!;{":ESZnxqGh׋}KR*~aSNdD'PtYO8] 4y]8%MxzsfL3J"^ ĂVfhO/f}2s`zPlz#qE.&}HFd#**?Z+X 84--jʠlpQط>/O e,;ޢ aE[ ` #^"5d%j;;;Tf $ IVR_Iݲcp<V5 lb^iL1& GBz6; ~p( wpfMR6_LT)*O%uCăB//B Vt*P:9/dޯ66gNӁh5b@ѹL .=”t-;ې"`մғ%NKC9s%stM$<>f/ChWZ@n 3__X7VeZRyt\iRSm8" ʝd:uDxgM*7pIvYؗG͠JA@Q!$,i瀥5wfZ o.>ӛ0꟪>e ^W3X:Է* =+q\#v[>BLVUBo.w,%w9b, ˶ټ6`V{ݱiU+[D9ζ]G" 142mS9i!r$T 1P~GGu^oᶵ jts_Sȇ1T!<0!}u{kn86f{xoDCSdԤhlF_%',ҦŽd+ evCgYZ7zXZִF! ?]ŗXiɟ1˦r 5IfK",t2Hyzu)0 :>4MMK˭ɺ>y^Dv9T0`eZ@wh Oͽ=H5dnʑ/`@5(pϏV}l'+BZ(^IY(43)|%24RLɝ4/К 7^3u~wi5vcmCJmIgˮדV05u@|pS~X,vOo2jbF,0 +\H_aļ<[ّ݃{9`) Ksߝ*8/[ރIٳT?aKTucZN fgYZ7zXZִF! UM]ŗXi%ή*ۙaewF;]P1OCڜdt[ $R=_sՠCU͌I{kM~8YQoZ)DXHy\ʟAQBikأ0SxwP6lSGY*Lɘp2F:K5ڵao5"RyfEkvj j7as>?1+DZ)Xp:x%--?6d,` !0 v[`Lj8 gnح@ e {OZZ^(J/^7s0]hBw_['2?W$-pPu-*WgL ߓ~u%OӃ4zb yplY Jhc(s%nW6g ݪI.H ܠ"8aWnP;u]]@5e}2ԥqoX$ۢA"G4繇"^"xЇ~$Fkͥ@?Z@jebVe2rlr<36g` ]kN35g5tJ0f94_K-- 2'Ke}yqPP2-9YdAx)4v:vY'XzvlS-b"KvO[]wc;~$::r@s!\x؞W -P!d($]!5y!~~ &kDhpiKT$鵛RYP~ȡ3j6ll"\+~s 9".yk3ՙ:f[>\4༂`ISQz͌뱪絘 R+ [ J"ө#b/ 4[O)ȓwUMM鲩Y5'UO@ړ&RyTпsG>وh1;9 ’ZzO1;zctzC1Crn:*ECx: ɭGWh1DJc@9i]Ks5liv#L;6W{`j ]G]U~ӗSJ гs7%kP=_D,Yr0Bśqn㓥Yޫp,pW=\l´F6 !|*k..}3~Fv6"L')4ԘfG'yQe8 'M#F>ezU ZH (pIEDwr'OSq84K%57DYsŌ2H ZQU Bf(*;5yB;WȭPt_[8~~[{ IuG&*` 6^ BvIOڷ8++vJu aSћ70fi3<EA8_&=&~wU3Rdw5,9E2R^&]fa25|р@R |Z&4h#Fx@9&*~ ŲA{1_$ (ͯh*յiX? xD8&'T u?g'(#/'_UfFI'PoEܾgn$YPYkւBSOЧk,gDUSPFQ`BkW Z+!FZj9W7s_ճ\!s`uDXds> MK?yCc=hUO`0LLR(d9Zoռt8jikЩ 5|- إ*4,[9C^x`[/[͏@}ڎ8f8 ؾ^T}ap7 o{?2LxUиiՓV)Xֈ9oGPt+zowW&IR)"_W:X[\D ?kO2L Fr&7pf ]S0g>oNF4FȰMNDCC|-ZJf%v4cݢ PYw¯et+sFWE| VUG)p〖**y>),0^ުe#ΑъxBJFc Q0' ~s"ڼ@j~z6%pv+4]Aߧc:|B] 9#+9J|ՙT " FCΠu䄛ff0RuzNѩv[#iB4Zno؝|y1j߰AFQcNK%f2w| @-F.1LTn]-Ό __۰t5xzQ\eJE=l/7*r$ͪ&L2-S$X$VYTζuF _BƙXj:qId8b4ILf|DRw Z A]{|mCQ*za.?Ռp"](hεAd)-h_ Q8gYZ3b0a30c127a9e24eba5544d7e455c18693c23e0500b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02752efdcdbd0344b0105df01a4eb9c0e689fd7979