SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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  E E0 ,<$ ] SuperCalc:threads=4elapsed=29.726cpu=94.336gc=2.792factor=3.177zXZִF! *RO]ŗXf[&S ӟOx'Љ/~xS}%v3jn--oQyC€4TN_}6H猖m%Mfo.XU7d bIAZ6Syz^ul`Jh, k9L@69jsǎCl/XHiNG-neJ0~:6i #o WW5 e瑸k殝qM5Wi/XV>~a'2_D=taHGG7sS{)JlLkJwaJp {F'&ȩöHNrC>0+AJU 0_t*޾rm Tb .1k%hKܚ4R]$TМ8 ܘ [󽌣'*2{+` 2~f[#k?5a+4a!!q(e\s3+2& I::[%OB=a]yM(zL~2߄7   SuperCalc  vYX3Cd)<]WO?,6Sp6 /x,V+42pܞR_3TB2k֌#RcC.zOpz3 m6"r1ExLʦ4р)n]dS-D[49jJPlUakhGgi?~g>+cWPZz' r{M {+$d"I΄5V9 'HQUH$x޶0sx&qY{vN u*%$Tl!+wa˳ G4o!f̖ͫ T>Yn/%ʄC\S^V9 5շ@cH_Zt4yb٫7 -m^Ņku&4hn p) Ugs^\L_{DnarH1TʘzJ%m]ر2çm۔J_BF: ̄TDhTFбgYZ7zXZִF! ]ŗXiɟ}Ɓe6n\uM2G[NdOI(,=X\GA`R@s|aa~TFsA)_*b:'S|ƨѼĒ&z^;N Ϳ} RLn6%,ƿ >OYg+ROSק]hH>N|y}Yo Yrf]aI/yZy5UFO:ԴnXGR ~@ƀRtx-"IS[><ڳ{=;!>zd=Y}3kl,:Uԭk2"Dq_0ַ$%C7.2j g*5`413X4pKςOl9ߔQ f( "1[;ӹ1/R@_E!2gXl3bHJs;6fδh"B<2jH)nHA9U(e#[H,m\XhKN|?F)ٓoOW(I] 4 #mz#Z6O%^))!0xXώYJ:lPի.nY*~,/@-{ao|BG]&j_q+ˆ *,Y(o5{`2𾊒3ӎxf?r@VZ5=}XX 6?p]q@b[ wPx)\ɹt:`"6b1YRB0qQ'M׎.#vYJkB^-1*q$ g6[N{gg7-P)(S+k-d1URU)dx**~([UL_h™3W'1#koN nE`Ms]'f QgT;y]pum--- AE̻0bQk@iB|c q s67 (vEӒ\*+` XW~K|'lP[TT֐ѳ!S,B6wnzI7мWP| kW?qF%0 >^AUea4 O|{^\͍$dkQ+*p_:#H6 㗰thWٌk&cMη)fЏ U^WF5&"|~cv7V@%w$1*~-s[=: ٩K:6͏Tɵ@("o^x1K#RR l-#78{,s!ϓ6=yTbgIWHWq(Z=Fa 8|Zlih#$p,6@C\q z[h 3BQuO1=u!YY#WPŢ{u_;|:ߡb=ь4vbah.mg툟TXZKJ+< =-ϥFAk,uOOebĸqt9> #-`n¢U^p^nN96v P{fbӶfmprn㾩wՊSMLLFFy YޚZ0TC4iCaět?&}|Ѫ"L`TcB}TI*ք#FFxu7],#݋8iVI6XodV)x܃ k>GpvX@D^HN(AT8S,JNÕ<#(MAۋM4*O GMފՙmI>-`lAx&xl"mEy7'F/?^o|?H*-UufYV;'l,j12 T:2IcH.辪PQ}zƲzWC'_ 5f"qA$y~*gD/GwzTǭ3F;pحH\wj83K/XnoJZ.4ÁĎdcԿɓzT89IɆ5-h*ݥ H(& 2֫ؑ xu_ſ53~0LZdNdEn $=i=ATMQo^{/"(ѓnl@\t~|a8~)@w \I0djXrtteeΔ%XJ$#8?Fjy5CrWs~p5OH%_΂"l*Y?G{tF&=Xχt+SChFKݦkyeL}#L\c uŚ\O?w#?El9w׎) dt ȹ <~z, ZfW;sy(̷jӯCl*Av+_qp@J#cxRqgJY Wr6;-HfYz\D9=L\`T ׻ȸ k)n4qT5 R ׃ڡ 2NO :AvF(͜pD_b"EgYZ17ff9f6b856a5bd686a365e599f3985dbb40946e76b019a50eeda51c4b74870607c55fbf00aca327 877f746cbbdb3ee6d67adfa0ff386a8af3e6f35f 46b2a9780ba5902f7ecd4ff6263cdf90a09c3eb6