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 !l U Circus:threads=2elapsed=53.638cpu=101.300gc=3.936factor=1.897zXZִF! F<]ŗXf1-q恈͐7ӺV 6 hD;V& _w k /3n^]u2?f}]qRWԂ5KvUkdAVCOksq7_LܛQSW ԅ%+IdT NO+ chNǺ]v2hzr}yu;k.L2RBg>6F2So+ơgM>q)̯pt?aQqRmC ~NφͶf5eZb 5~"j#K1Hȸo^5z@pwg r>od[JJwP? [`yAq?_dHcp4bC=ՕϣCĿr?7^m#t\oVIz'%&쬈*zy8U3!צyȏ{k gy%eKԞ~3ʞ[~{<{)`T R@A`[67$T ]Ș8Uͣd uѱPV<  >ƈ+oA<ȟڏn3p]RUP=VRݐh^uP IT:faQKvOˬ*|B kfke:`LVHWDbh잮qeI[H. ʳFgpǼղhJZus]\V6FjL5uFuo :Uj|%Ōʍ?Y#Y³w\[H_8O쁀.*5iUn@մW@azf#q`I})u4a%b4)sKx_i#bFT.3i@ЮKTeK\9N3>R!ݛb Iy6@'-LlF`eB4=֘AmT]vj]7ӛC ~ ."ژPίQMdM-KK5yJE(3?$oL]EG*ycUEJHG ogYZ7zXZִF! N ]ŗXi% CP2'Ƨn3; JdФ~#!c4 45i"u*7}2ϽXek>ecv4{Ƀtk.ׄ8pH`} ׻8o}o‡Xoq.92nkȼ=2w/.v"`RuQ<1SԱXl Tp]<'eGɟ  ͤ~b**ܙp_h]$q3@'+dgT/Llꦤ35 fa~[P;n*ΆFȨ{x$GKJ %|B'.5e9bATo./Z7M"˯&kNBSB+X+7Z ͍<[qx0PQ2jaQQIK,(Q ZC.˂No waHYxU]9zh^'<qLzS=qZG/IiJOiuyg܊|XSz!Ӝsy=Wy3UwU֠0ܠE<)3;>Y <^҅ fӉyB?a $L݇ѹ lio)xdm̹ 䎼UD!tUk@|@Fj[>Ydoȉ}VvddVP Y)+g^}%\HCAŪj\|Z?u!֮1轅Ɛ(|%od#B}Cr.]D$Wt>h W4T&SnnQ WS97R_ c=hӣ5@D(f3=+PJTJ2s-i&f I_,ӃRg&^HƸ71\DpGShyI7]lg4.\J1SOP_YA  \V= )w}3jD !v}$!bU Ί-1 xVcRkXŴ9K}Ch7DO0!}X&[{&فicr!^yށ̒Rs1xrytΎ+f^k/jg:#ߒ7딣M4mNA N)!8+D-O#q @=Rc쥖DY'Q jͿ !gH07YM;5(j$W~IE*G&J] k1̺~9=$x|)K.J[i>t?D9~uw{ -_H⬙Rdďx0}|Ï /\Rw) .0~Өb&xUKtpPŞ׳p^Rt%缻Nf牍(o>0iy9M >‚ÐZ]'Ift 6lXR/^5pV=oBKz{f04>3|˾`l30;b$R r.]jwR(_dldRVnAP$ȵC*&ߊTuEo95~W.<0: =iZ2e<8Ouf=ԩgW] E0@mzN޴aHN>.a l(eDn]]UiQZdе4ǐ*òve<ʍ1¹tKJt⭃}kCgӖXmw1WRĿ9xU2$J vE!n=6euQ$ vwF,Wrp4dƶrJvg*|$yq] 0Lģui$b9&#C^L] 3,]\;^u;Npe>)űeG/(I!w CAʒd7cqHuaa6Qq#1N;e'+]8t'pxe  3lCH<nFh` J Q _~2$DJ"X)0;2D<N.nNTP+& }J~ +$ixqEӑjrZ]`&(M~G(!Íȴ J ]%<6_Y HuX'(F@?d@yNS>8| $MesM*c<l&t,*953"TEy61@(+!9ey&y˿5:i=u=Z]EmPf6n$nD k516ߌKj1$;F..z k:@r_"AQ]{55Wk}Y|*[6zhzpI ?c.-cN&H4^r/H6%W0ȱqk ;p zgj&&lwng 陫xQbjE|) RKʒJLo`Pyl`W+yZ3 IXHq~X\cXoP6pG;,!\pFJȆuWU:n/JF_oGwv C7RO5%_R>0<o{T5F\*P CunYd96iu$qy/ܜߦwqqr7r5qR h2nږ=_̈uM[:[Jknf@9z:~UX~e^}\V+n`$d[ȶe^.ivthkY`5V8GohF83j J H-xzZ ߾`?nsw[Oi[36 z}Epnq@/͓`F3W\_OCk+ ;~S{\].}l*\w"Z+ecoB !cS` ;1,z4^L j\ͺlP&/{FHgYZ0b8efa224641e87d41f0c2727293eeb43ce36bb7 1181268358707341d13a3a94857622a0920b579b 148e38cb5f3d3d290d111319209a9738ac361aa0 18d08009b0409d92bdd968c937cae4d5fd634cf1 1c7e5466288b401ad82032c7750c259cb143b759 1dd8cf7b4e43302dd3afaef1e6d216605ed1469d 2fa54d72c65f940de20bafb91f89dba793a79ff6 32abb7565f623d323c95ce7f9321792f97f6f069 451ac76a0e3aa8304d970e80bc94e109173687c0 5ea38e279cba1e483e846cf8edd984e0106a58fb 6cb3e8103c291d92b9b34b088c0dc7f9e362865e 70ce409d38ede16b522b4fa352a7a32dc8d18e08 714852b53ee6a25ca4de13109c563e7b37c2b556 718392053b2911848e68c08ca8632a5637f5e432 8ed6364163cb7bb734027488d45397a19bebdb6d 92995e9515df3d77186d866b4763eb9e106ce2b9 a91192f51e3d7b1749a1c784e15471886bccb3b7 abeee553d959d22a6447146089bd5fa7bb5024d9 b011eac9002258baed1dbbd398a3f4dacfa0e6e8 b4a4347a33996b704ba7eb3b5b386f05eb7d3d69 b4ce39f5a9a6908fa3c9c1f8555058e6f5479869 c91a90c472a98d4f1ddde3d19c15523b8f2d8df9 c925fabebb0c7644022eddc882f14f403a992f7b cd3237b53316c58230598e8b914fd4c991392e4b d580a5ea7726c90b4e60e8c589c8c4d31443e01b e18e2a58ca15ba0d11f16e4751ec1d7bd8accb68 f4e7842ad645c6f197a109225189baa4416aea54 f89b8afadf4fd37c7a526959d4bf35f3800952e2 fc96718445da73b17044491ab0d8c643ae59368f735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa d8dd2ab2beb525ef3191b37dd9466ea3359bf017