SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 CC: <D ]]]ZF:threads=6elapsed=12.443cpu=44.260gc=2.696factor=3.567zXZִF! .]ŗXf1-)9\l ݺn= bŚ&3(/.G_Tw{)wrQF; SÓT'Ag'"FJ_%؂on-=VbRVm,A٦nW2` Yή{?_?etꤤBC4?kr徃"u@ O)|?> FoD'̷79f)/8:;-&T M> jj#%Yv'I><%6,;:ڎBLbrвhn7r^]趭gYZ7zXZִF! :]ŗXiɟ 1FE`穱T.L=B\櫛P]ZgpJ2GAնcw&ya 7,9iќ(Ɍ*eȉhz?zn1.޻ fH"r/f!ټфҤ\o)fJtlr/䒟 n~>f[s%{Q8u :eLn5\5#5(n(]HFo Hkg=9YSKk3cݛg8i&GH _hxX wU!Mj}2Zn_r~0CIC, >Q *#8<8hU?QEWOAT|2~*ř$KRߚfj\̠F9Xj3-7SCZΪ41XʊۓjSA0H{Z8 ҡU${k[q#{0Qڙ":pU Dd&Aeoi~K:(p}IH6j=l701H9咱gYZ7zXZִF! <{]ŗXi%> 3@.d#X,pU.jB5C,wX^Vd{Ԁ&Wd~tM(K(̭۟ߐq9рaA6h1frR5K:r6i楾?t&̡cShUB]b1Ns-MC'n$dA]o`^L-SK Z`(ʑ ʳ(Z:K t;g`x0 A|ƚO8_Q%YOv?>"FyکTbw"5}D~0ur21fc킌p{F!9wAKWu?m䊛ƬB'Mw)]6g~,*qxPi0qɕ WSd|Eg1+qpWlrfHQ3B(nNLЛӘBbBiU]f(!O[?'& (=lrHzt(%h6FWZI8]P.5eR׻V_H'v$abK,'>ٮl_ϧT"^L%QEQ\,ax#3nL8n,f:i3@o?{['ps @8FCz?&d_"s+EgyĽºnř@ /قmH@ $!`%ȇ{v)'c6wےĜLWgZ ӹ/H̒ \Q+y~AͲlt\)SLڲ90jd.v@|; Wc9!V祎~ے&;q˙?8g T07)Q Q+Mur> ƃ)u3ϗ[ &vkȱ%8n9G_ ~giaeM_ؗ{i;y`Vztq [<ƪDTl#|^l:E x 4 ҬOu,gzޓNimL%xy%Tf%׋(}Od֟$%wf;W4L6n,O!oc e|/OƞDcZ/2|Ye%uVƽ3E']R #ʹ9*;u -St \ʆ:q0w.-"ZDMAXE!hPgך  x_ܛgYZb06531def9472707d332eb6c4c50a7e5563c6166d65ba42434d6727fc7f04b55804d146f30a574871f72a9a767dce4bca1e7184b31e472ac6b816858  ZF