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  s lt4 ]/]Datatypes:threads=4elapsed=53.741cpu=90.116gc=6.096factor=1.687zXZִF! ]ŗXf1-)&$c)zaBcFeN};0Hw;j/aHAE$s Adj#]-2M zqDfE1*Ara}EGKr`j*h S6i7=&yb`a+A ńlU%Mؐw7h gws)+ 8vCQUUa[[0ߘ?Oq> }4,2֬\o$=ޟ ٩;ɇki; ̐h//~ɒx*S\&C's͙.,g E/`) hX4M G&ghByʘ%P֍*LFb}?9ğ':ƴq/zpt9z}6+࿝pHZ_= H>8䈧dq㎗4{2oEotBh{( !=Kc$oaаk 2 |rN l"PhG.x&9x_zm Btx1+v`uNe 3#`֑ZbP9/h(`ǫR ̫hZ%I׳8ůӏjY z\f1qgP6+χajM'f1lZcBZd).Q_S/#2 @0w?ˠ^&ӝ]ffl.]rp!Pu#N ntm\1B|4+>ǥllLhyVdnן_L'dے\2V|T2E}bJ $7*=g܇@B âfKdIAp 7+{SJRgJֈxҴQ30±TYB!mr֖im<0 AQu nG,ys@ZR8gYZ7zXZִF! %]ŗXi%GRz R&F$0KMǏAǻ5OO^&Mҥ뭒;g?膎 Qfq k+qG",K0Swдa0pM6$z9?JEݠw ѐ/-F:ǜp/T_"L{eWJx;n+̫Saz3|^{qP[=x7?yu"in-d“XSAxuGf -,hV=.ׯMXmhD-I&k,᫶x0}<1l"BOKC߁B о5p6x}$"IQ00_<$/&uVfCLUae#OQ/D^Xv ?VzF_Dq/I#Cgu6+bJՋF=[(CqҦVm_⵪|$*kP L|qE4ʃCq`KUvÑϽ=(0n~P a6//s{QC[n . vX7qD`bK6rۚ"],4v ZDӞCCαlmL7Rh FdZ$^l} _C@pF@~\QENB ˪Ve%6@]~_κgaW,n \B ُ27 ǡ546>+ IKiyR~"˾WjpA;Ъ )эK 3'}VUk"+d`,iv}0Hhŷவt$FOqK W/pgzҐw>(#ehG.SW5+hP sYmCmORQ;/W!{C1D{I[Ce>8ιҶ4 >Yݳ?sYlHU CxdSrlr&` i67a!?-k{ti|6Sceέ†$.w\9yOR\$i=_.B&|uZK/{fǰUMY*\ qGb_o}vޟ\%(xlX\%t#HVT- ۋ2jܴz}2!*] :@ξWQvaiژ*iS2(A;$zSo}A- 5۴fRYw a;-X桊Xc-Gzx뗚BDhRV1 aiHu`7ԕ YmΑ:3SII $cSxJ,Fwˎ֠녿>R-GĚ ;@UNp1̬iQg{"T! oJJڌF- 6"q`:2Kjwv-<| R5LXL9D&A8z'pDKn&7xSE|OSv)si=zJDԮAт}NnXZ3Ia%ü?!@i"Qr}#H%$R$Cj.ز,G>2ACuኬFh/=؊NWG-+!d~Q&\sY .Ʌ|CLo(W >x}Ehte-l-F¥Am6{ T˸8alJG$%},? v-ȦBɰІqsʛ̀M ]a84Y{BlbԧC/nQ{ӿt}JAYyͯ<S4gYZ2178845f1cf33b5b315c5e07d88552688ffb704d4b4d09c9c1841a4f01c8958af89ec039a11204c4 f852689b23f90c1209b23c794bf5ab75a3b8eaf2118ecff921e0ae22b7b64098f3faf2ac0f17b4e5