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 {{v)d o Twelvefold_Way:threads=2elapsed=78.564cpu=148.456gc=3.716factor=1.897zXZִF! k]ŗXf1-/6vRZy_İ<&9sY^ق 2wp\OS;1Q]}mbtD{ qⰉ]?!¢)BYWDhۊ#*29 g[jH쥝no۾R~`pѸe±"b !elBdQ =<º]7Z"fm@<㩧l$4+N#\L"<8J&*PFP61[0ͫf n {֪0Ɏrv;{6~@ˏ]3BXe65uP"u&bL f`p|AݢG0 |:2W7( ex/rwM>c:9ࠥ=ofH-lӦ"iAN|0ߛ(_2T(;/좝kdqm#jm2pvA%Xz| q+4Θ{/.W3i1ɯ"!i+nL2J>Qޅ͝1&I٨ *#8hX4I3X=G= 9;dk2ߟ0'Qhe%ǣ4{"BAym >n<ص:3SJ7|- e18ivxlo/L~w'Byԙ?ʻ#^eʆ!",SgV|z=qqM`~5UڂǕpF8+ /D+9yT0N4!- y蝞)o߾sE9=<ܑ` ~_ {u)2X+ol!l?JB\ MqwXEKF(zK5C48MSS9R@[zV!}'bީ+Yڛ!5RH3ü޵x7Y9}dq@Vir1< qPpu%r{@˧_eJ\A*z]]8og.BV1IZ)d’Ǻ/\:lTqIb.YQ>Qt[Z~w  z"fgIϙxy@׽ljM]qG](h'k{fu!5 c[׫b%Zיq6I0e--{d6d+-.L C([I!4 0~ѐ <~~M18z{1M6gHfke lECb7q8 'IbA͠77QHL?Wb~+pwt U'>urfnGҩfSr/cAO5oy^jFnL߄U=cvvdP(r5N')wc$2?Jϡd~ ju钧o?9ffToa3 z Y;*yuʯvPA24e=w?cq:YNUIwrYgo(P#:RppTYfpc"Gr^U̐!,TzG 蠸+{ol'xLlrxSp=JV'E ϛ SkIu[f2YAU"5"- բFs=sҐ< !(-0ZS>\-7a 0-R(H3sL$<_?.t5WXS=' (ba__@(dCo*ګ:`U\azǍe+|i.yG$;SY0B_':?S,8fA&77sh+ "Dr>OKiB Y)``EtԼK遄;sPT΢Ne,Ӧ5>fodc:!>_ڗ!TsY;g&O˶r┙a=` IeW:%u <î:ZMIZ-nj 6̒k޼P/f!#==kCC+n%g WG(~磌g;"{e(r ,^^/ 6B3O_Kg/t xM~~!O\@sibw? {%x ,gX{2p2LwQAeh)K澛b(럠u͝9z ][ESwqģ# رۥn9^`KFʴH4:q,}xK[T#JelC|Ɨ<)ċdE"{9dbPpV3gg Zo;mh>2P˙,jZBh1zTxOZJQߵ Ѻ"qGF1 ~ڊo2X0G{NEs_YE Gu9w@7jQ!?\ڠ~D] ҄3@Ͱ nH03`?hPB%JXh?T&j < VzϟlI 6C 8܄EPgifذ,AdJ7| FAl󳏴hATeU੠jٻ>=Ry,5TS w%B7n; w.AdL@ = AgSl erGuv0 ƶk|X,p)CqCZki'VNP>|?%W.ς;XxF>N3; M[ESzs$ˆBڎgfhT զ 3ptCc;ng@6k/l>??ŘՏQ9ESUP.^X#I^e?eF"e@Oc f7pG՜JAdS kYN |xh.v}Q|?1-E(cT;t`cylLכ]6Y ZFNMF0BfCɗ %Xxut  bTVXX0$!GB<%j5x۷ ?cVg22%=Q.UU͏qN6O4msi usfFµY&PS-/`vzs2dV^9.NrJ 7 ljݬB#5Q?$^4uHF^}$]޲wR2ɧꜨ{-FaߵV$b5,l0qf zH"Q"f׵E3aZ{vXGQov¿x^ڛ+i2*tqr? `FpRdv1zrUśc QYUWڳf`v:g?;#S~{"d&}j9mt-7X FYNi(}e0Q>vUI+j. $+K;!'D)w]q0&rT}3E㷁Ek&MqukġYh'\.cSnfhGaiNN-V0PEqqϖ=.T?/p98dw{]_0dzgwËF~z{<&!vp)>&YjTme1sә9N}s<9sy3u-&o] ܛ;wS]=W aԡjmʕ}=! @o paVa.P|9qf&;y'jOvLV`4SXug~sVkބ:YP)\Wdgۺ%V v,¾mi? o.V ΐ#d:ϟK2J7tYzo=тu(7xvS\(-Y -R˭ P %Zgs~mG?#|;nZ Q0Hƪ&aq -cx5\퉚AaaV&mDӢpR>O4SdN.>{G{zr` Ϙ,SPiX(s5_D>Y&:?"hj]CimxHJt(F9VdmpvQ@*xc\JjG.äq;cj<нG%% $ sb?E:/Ň䝤Љp|Wf,VehV¯ \uT#?sVkӐxC=Ҩ%%cFtThļ|}Ъ_m>U4ۑe^xm_"۳rJwnSg[P&cs0x6Q/KyWdelJ 3&ױ*7K> )\k֞*b3YV XAxNWE<=ULԙ {YK|sr2Hi=6߿z.#^wjwbM&~alb".-I-fGώ;"fi3Da٬Q뫃!E]IG,anïQg6f*sI `ng $)+OrO_6{4x\i\8#<_WNYEި"{]d&2!QRs,(eZ|$^[R$K<>{B3ګȉ(̦ KaOyIr,M1Awj,•]WBxx%2Cg;ߎW3Ղ PbVIzm4Yģ4d{& R0mBK *#8%i&^Nזȋ_ٟ 㫟0#