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  Y Y) DTD ]/]Stone_Algebras:threads=2elapsed=63.924cpu=99.376gc=3.256factor=1.557zXZִF! >Z]ŗXf1-/6vR[]oSaS3EU(;aQYq^.HTūM0mrǓmV=--^&5~?]L[mTFhDnPC!wmⲐI:kSdʕI@:`@/E V|lđޖJrȮ#'pEe!8z#&~1 ÓЀ yuخq-"~c<{Ecemnmנ!sUxC{; 2NEwzC4&ؠ'> 3h\(nj"jU)zIQyclhtqI([ n5^g@g˄b|ş8"vCF)&G\'4p#3ׁ7 t:;}J'qWG@@+LMAxdӑozh?tpVI?Ehou5'kx8S)Vgf 2iÕDaeLpUnyKu; cÃ@[u8j*/)|XZ=_d%bݸ Z,x]cHJ݊'nAv %.[BfC~&Iw%Mw\e/߿WCJAL9!NP{C7,@3b4WM y Άx2E✱gYZ7zXZִF! > ]ŗXi%ύv $=W>< $"ho3u[?-q >?amMx#pQ*D1sUEbFP*;W|Za+5R0 5#%X-x,0@ 1"E)٢b7АϪz uf|a8y;,?/ >"2@[>Sw{ՙK1BBkBfBmq=_ٗ, cxp\P~2&Rrdxa"~IM`Y!/1͟6yVz9C#|ގaRu{ O6"9]Gnju$WO۽yNt}Ds k`]wp֑Csv7E2ǵK U&38>IGI*ROm㝝ث)ˉVԸH[5{3EzNd{#ve}doWYf[ N+!=P6 YQV̝B̑9P $B Ȍ.9Z!8*Z lW[ j yrOc q*}H~zj/7e7ܡ*.IGmIXެ'yiQNzd-sjby$ GPw@7unGٌMR4*n‘*j?wB)6_'Djv$ցbU5Eι2'Ȓ8+NJˆ=n(ITz-}IlL TEvh Oq}Ӆ@pJ<p /J($I e`+]4fLoQsLX2#4W'19N!{=t)# 5juk,齡Zbfh)WrIb:(T`wbH<}/?P>"~,vjiѼYx @xxX̾) VQ>Ó"$&dHuɁQ{΋XN^^b1%!Xf# H^bXz5aSzსZ"/@.  / T̶ f+r1zI}rvOCgfb}>̽ x4ƥ {0ZW,+0&5oPfy cP $!foq 5x Gێ\OTN=wx0Aq9pU2ͅd#Fo䃜ߣg`;Ƃ/Әt2J[,lC$ZUL:A0~D?:zb]&w#SFT?!Q`ĭ%U7 dQozӎf,0qd)DӕS~^v_h 4 y:5TK\ʥ^Rē %{⥹ %bpl(4mKQly7}(x.W<4;&V _L%xQ"QEsO43cެ%9t8^u-䙕֗?%g11 C ȠДA_YW->+qi`Q4¦`8}dߏ U"4{1gGdbRI(\;mo- `1/pFg6z{T <Է~~JZ m.KWUO|مs;iͲ ɟ @mi%=m$BM0.$uq!?0H0:wa/. Zް:lRv{?sA@+;,ze=mjn JE;5M\>CD@{Xr={rCp&nX#=W~X?٤ϱejg)vH_e]HMҪG985M>;gw57E{WSTE] L$fX xX#s}kHҺUȕU{'a>L+fЈ<<>y#9r3G82}ϦQ`S d]ŐLtF+lO0ob.9̨Q+W2HXݒzYM[r6U " I„LL+X/ Hn7Xh/YkϷw3CepmzeXp"DEf[XdUyu)ƈ3ߑۍoe*ߔdm6X3MP1P COy \NXnO=6.AߟG}8Ә/g󠲶)jH&gRdSfK9OT`8_ & ۾mKgM[ӜI|rⲵ7}<1m6*bE_KˬmxرqC]%wJsI rk򣂰ޡ|ٚ4y,.ءD>5V\JhWS>iكp,8x>@Fy7&1?7StnTϱ|T/t(3yeѲ!؋k廑!1~@mPu N@1۟2DUxGMx8xoE9tnn$Z`!'`-wGeV]]!@4ݾYIu!Z7WRca~tu;<[ xI~9!> L7Rb)/WR&zG w8 #@\[hyngM֫Yv&>@aRSN㊁Ur:Y*SwWp)|w}s#m APGrjʈ9..Đ{YWKq?NE/&qoIi<*LiᩧIBJdގ0dө:q42Aܞu]6RA8X~6,;U6z4yc1^4xqg9w1 jxgeh>e.yE)&W/V> ~;>Y5{~W @m9K|ɪ6wMఋ(BA~+ c ?A\}Xe :g&zsPE'SPy&IBSgc&v'zhNZ|Hc@F@"Iͬ}Pd|*JsrEQp:myjȱ^5gYZ603dead58cdf7e0dbf26a3cb83a854f164533cafd6ac031d3e88d65563eac5f02a097b7a1de9a7e3 f9599c72045408b4573575612b1544f97d3e8615d9254612e33ae8c0d2566aa33d4d03d6e0c0a06a