SQLite format 3@ .  hhB77#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 uu t  IOA:threads=6elapsed=7.501cpu=31.040gc=0.904factor=4.147zXZִF! 29]ŗXf1-qN50^ .nEށܱsO.($.hg/[Ú Ri1׶׵ >Y 0 ^,r23Kыq.`OCVFyUYCB~oR pQQ5̌ JZjl-O.YВZ0ljVt;L'Azu ;_؋= 0ipl0n1uv_e?@բs#lri.eOqTBqjR2AQVfη ?U;6Z&1jM$^siCz)yIK69}ԖWyw>[yNGw wa[w+Fi+;Y `~ol 1xe7 6?kHPBd8X kgxdYsws`+p8=^ #{Bz`}%hTv 8Ӡ4֐ AF@ʹAoJP=] 3闹lڛJe [`6x/Z]P @p;c;VrϾm&W>Ki5]sIգQ cO]+< 1oL^l,tQDlN7n,/g6.?j#bLMQ*Qǎz*\Q~ өݮFp7\mZ^ M ;?>~D[cHn´u>V-̜-0!a/}\ǶIatqbFmOrZ| tyɲXx坮7Rڽrl76oO:ԼjVo֏eGL/O"n*y &xIy=q+9rSG.qk"WG6l. q6D4I*Qƻ}Jz;;ݺ =n?kokGǺ@mD_-ɏw*hՋ2 [M>*f(=2r) ;~v1;d`:.w(0,Wo tF'#vx?{M!3Y{chq-[1Awh{'c{@;3L:8ĝ^t gǫ~.Rn_8s_D~)+biJ(B}}(&:c'br ̓HL_ #j٢W?yǔY(G#慽/햂9$%/;[^1u= |G}eUl;os{V]D+$_ŰOL3怴 {+Ya`Q J%f'PU@a~0ZvUYz@u+EKy\+"z)8a^7i b,HG{VOgGukJXqG<4tOzOZ=͇ s[ {o&KRFtOwjRlqcf] [ܭ4/P8 HIAԉOTHG4*7J΍d$ c¶dm\e]|h5sйtqX"[wyGS:p[GֲGv,IDk\+iwXCEO;  IOA;g=,fY.(w C!Xy9jX=%9¢Q<&]P%auEAw<4ovz2r*l=O0(tQ~keC.Lc0X,w1&sv%"H_1ǯzSJG߱$jZ뻓4K嚓U\?l9-7O@@efxo݇Kͭe bZ7HdZ6aXJ*0[avc ɇ8GҶEcYHU=9q[?6 5äVU 8lĴM%~& %8gҊ?嵽j9ÕgFɺgk+Stn5K-OjᐟNϒ07BcF5ަbSE\`?6d(:>_jnɁbpW[ B%#ԘxHVȹ+v]'O48;~t6V՛mD}o-xW{&L7gzM\쬊SDK yP=8g Qۜ#փ4_ ‘ NU<I,E2 L?,K q!J3gOsJYh_|:"f#cu3]8CoH9n".'rk, k/93&@hZ-}.?Չr+ [c1lShV\Y^I1?U 3+āO1&z $S-%oȭG?"? 2 g?kt2'SófM0PRP6pϕtPf6=tqI׼pmp|r>K`}ʷ"_F+""p97P?v#'S^/ aƒ+ zlu.xzָG#{͘YVKlX eJ7_y'߉b U/{`IpwՀS1~F?-ف_gOU {ԒbHX,@M چ?㬞Zb ^jR?f;i1{u|쎑]XyŕH>ӆN?KĻAW_a#W><3['o[/Y}G9[)TI[rY-#1:@9V{~{G,ϾOxYW<-7c= Rc ]dg9$`q>QunAIJJ̭#E-p*J1ƿ(ѝ_˕_ lfJV{D$Z" "Ϫ*Z%#OWTtV^;- 4EJ]'y-S[ Ⱦl*<_ ef1QǽBwySZ9hWZJ zDȺZ9Zx&US3tCq_> ^h"[-x?Z8=^A`Io#SY ,dv-g;׻ǧ}{(--R,O!C{-u= LuIRD ד5p/zJT Oh%q"}k/!0zsׇwYr s:QUA-Q0߫zB7}Pmg XnAH}g-. aKTڈs1Xܶdert!DNu Q*ksiC'Q]FhuÐ.+0 *5 _yam #ʝX>7sgi $>=M:.8֍kKۇl2*?ŵrA*#bR~W+0ɍ>7wi'.cSU3CS|7gYZ7zXZִF! %s]ŗXi%y ?{9$VL+N1oii۝E& @2]|PwgAz)P:fXm#W<8WE;SNV9Q;e4tRȐh|Gx3Zۃj]SFx y>Zl_ҩ nuÂm B|c絺sMHߛ?[l#_3r0 HBYJefD!,"zA ۨbQ?nS(I1)T?x_{N%&8IxS:mG9ez96oRf$E@ 43M !VsT In \^cMdbcNJ2 vM^P5Xԯ '5}xk:Jͦjx\+y/TAIŋAmT&tmZM:P:ʝ yb/ytԬPӺE! Vf7\pkG`U`As0M*z+p^33iSbE؈ |حWӺ+%1Z1QNQwkSUt@{*it0s:=Re^Ѵ~ R4D8.ZHc;ZytE/ J7|u$>OQr׽*89$j,r2'~XD2lF8#Q61:/ڝ ̞j@xZ[],{i<1QIbKgYZ20f478d72a5bcb1fbad9de015615c5c26cbf5f94 220550e733823529c859a6a258e64aa20d62a163 563ba3c0acd73ab3fbd40e39216160d0de8a8a75 7319036ec9b14b681515115059d654c3aaf9b7b7 75423031ef2f690680f016e5066f58335d37a5c8 7cc3e9930e0450f02ff1c420bede3aeb39c372d3 8bd44a73de257dfca1cdfc03ee6fbcff0eb91e24 938d0c484a80e421fb6ae5697e1098725b52e199 9b9a12329672a350731a10b6f071f7d38b0073a2 a11c3093f2f6b7ebe412ec3025bc06061bed7756 a6820028dd578f148c81ff1a1c2b3d8cb4cfc7d1 aa84ecbe31330d8b1d01a40e056125bbbcd123ca adcb01cb026b6f0c3457f2e50bf96234665031f2 aea9862702ac98e9c127ede42162c57c860bae24 c20e06befed5c804ee26a4c681e4a1fff2fa0960 dbba1085e152254111b4f937e379bb956462d610 e3b9e4172c88c8882914e3d4e240442631ad67b6 e6ff1fc226568d2b6cfc085f8139293b3291d2ad e7fe7ee11c7a9648c8119f78c218af6c13c004c9 f49102a3c25e481f4b313086bde8d4c358c3c9c7 f520112865fc85959231a187297106816b2e1bcd f981f7a958c30c1d47ac6857ae9e3f01f9a18112d0eb96293df033c175f428f1c6ad92a4e0208806 1bc96af1c276166f1c08f4f459e2577294776347 26c83ff5afb4681b7837886ff4f4aeace577a443