SQLite format 3@  - llB77#tableisabelle_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, "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#  S]KAT_and_DRA:threads=2elapsed=43.794cpu=80.424gc=2.664factor=1.847zXZִF! * 9]ŗXf1-/6vRZGq3۸-CxMe'D-%*+ *A}AޝhWEUɲB&͸jÛfB1b(1؞~>w#6^:>=U+O2 r]doMAz="w͞oEzrAd (E 6CE}hKܚW@7q~^ n/i^TM%`a1i!fi͘&̜ JQO6 VNNsUmC¯Q.` x T{U[Zd BvZ$B, ]>*wpUl="}NaNz{*OyE"S^{8vx̯E0^ny5mB6lP%\DY}MQJpDAʩ(P~P࿩$!i>-#&Es9qJTuS!Sjo0>v1t.[ǀfY'tX)gтC7UԱ[0d){hqœTZٞ+.pZb%=6lry'd;bnA}4M`KϚ/(}\| @,@%.DI7X1n%c=(/AJV D_rhrS ֔iAֆGsϦ!*Eۓ db.W;,CU$c=++3i>877Hr}-oa Fd֯Ѧ"{YP@ἒ)9_ʢiI@Un6Bp7)C}6]wsfkٵHuM:عݪ:]ݺfcˊ)N)U=ё93뚡R!R(Gcէ-QQw5]k_!8z 8eGm*9{kBNO~"D(*@(A[vA` 9x.Ll曔]A:wm`RaY%/bM-9p=sKN}Oe7ev6@WI:bQ TUF/||*}>ZdȬ>"8Mk"ĨkB"Vu-޶KLcVuW}s%)T /6)i9(C` !f:OFo(!)c siO*FZ14E9faq]~Rc˾hgYՐjJ^J6IP/)j1vBcaidb겣]F;h/7* Ǝ:82\8Xeh^mWY;B}e܆h>AKUV{D_.jp1},;x5u@`.JǍ\`6~~bΧt_D "y57TsJ%+S:dɔK'aZiOʼ}K㑨HNa+%^0t|û(KQJ`O6TlʃqSq!{_i@娒 s,hpL7 ](s9uC[VɸAuwMg+l"݊t{sPB`;8g.Dk9#֦f{bks9;vSL\(=9SfX`-@ qhX` Րp@"OY~\$nMp/=V l|;ߢK"5~uO/'+:2",ɳ{0gjXI9_ N#GFxͥ^^bffSBOYP<2mqH,OS ׶/N{kǔ݆C%~Mgh}NHqG)_=vY7ĆRaʴ7}""W#pn\՝*Age%B|W*XSҺ+|i#py˸8T yGPaTba%e Vj/Bǻ|LOu!V;t 0?Ozդ Su12wR(ł{siGy#rK`mrso ݛ__cH(AO>+Zz,:EڰC1^O5o=ח(__(I)fD)HL>$Y5xrJMS.ڱgYZ7zXZִF! D ]ŗXi%3@X7DqUbTi@!6F#:l0u39FXr{r +L.?$KeߘNaF=_bIaS!4|cCV K| ³z5ov4 ,#FӃ.T;D_UBCcPEz7"^<)[Qw2 ƗpY> y aPv(n\!x!g[_dYdZEjD?ˡ_|4D6!_Ś:I ZV0EMaj7y{{lwV L~k<7d8c;q m2`&zn;7@hJqak>S JCMluf2iw(W541EѢrC`]\lؓ*/TyQ,;g; ΗU ٹ)3]L`fSA\ݰj VmHfLvVᡥS(&Po& +TmZ0"9g"z\odiF"l^9ˉͻ y2V.#rlKQDs  Fupw. tf[ן#u/+a{YL+N6{c[AV .-:D{)bӬB::Tk#CbF%[\qrANocm"8Tlh]'yL+|NJ( үݩ-퍳ձIzj M *ʷXH 5u3rQ=֝Z&gD zE\hO`F"UO3]UD\-Ũ'E gYZ01c0048775c4fad436ebe10d13ed8e1f01285bf8 1cbf02cf780747b16631993a1808c11d7fba9b3a 4b663a83ac9afc94ff378de00ec5d0f8085001b2 4ff9cd7cbafe3c28009d236fd8faf3908686fc45 6216718ea823db5741d27375cf04cba9020c04ad 727ad21122285c26cc6a422ad39e83c006583c01 7b69e03710a91f8a4dc765a50cae2d6bd9d86280 86c7d772d6b1bb25170b886d166b3e772bb863dc 995367f0b8fd9d1beb35ac997940ae8503ecc085 ad6a04f85888d65167a6597491bb8b77cb2d720d b33eceb3bdade92e0067971a98393ffc6d6e1c78 c8f23723da27771e0a7dba0f0694073f3947d28b d249e6cf862da52f85479208464f281c71e8dfc1 ffc584ee00914f6d425275cc6795e72479b2754907addc2441fed9b50c84968593d4ab6a353bb724 8db62e28615d4e139a28fa3d5b23cc3a3410b988 e534a9b777625967880a819323c4c374fb099a7c 984bf4c360d868a597b4db6aadf42e3b2180cdb26b180eb773479bcd5ee0a0b79e61e6875cd28c08