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 aa T ] Corec:threads=2elapsed=59.799cpu=87.420gc=6.224factor=1.467zXZִF! `}]ŗXf1-)&$c)zaBcFeN};0Hw;j/aHAE$xv7nZ{|-j,;ѻ]}qšt;Fkౡ S 3"ԌF}"VTKoh-~Ȑ&cadcT!ۛ τ?sRJeُMM(T!tW{gc@ej] w妮 I,|1+[ggk+ˏ dԪQDX3Fr!jװR[iN>/)U'?}3l24s=X?A7V%]`<`I폢 b.3`Č`r&v4%;  %Fku3twO>OϦyY(F\TWRKU34|S Ql:YW*,rMYG<̿pwGZ~TvD_9RY/~πADE^ 57 早`NĂ-qhVܠ ~e%۠LD,'m Ϩ1ؓVJ?αf3JK:P17ZyQjXSohQ]Aў."~1 $R,m|\~}pR-[<Uct[":^WǕp8ܬ\+*kҤNc$ גBl++RK0UfvoD7@]"t\G#Y-u[LZPs71Yj߱X>c AftANћ2Tx|Qsaнyw6j0Nk+DOHd-PUyfn~d PҜStG-٣,NvcCۈOw;0wmZZ` )rKE@X̓ /_]Y"ltgI;U^GmՀRU}Ax+|M[UЃ$a?knI1w*]2U]kq4c)w3 p:P=Swrvc N^~Ew# gq>m)-ȩ{\RgwD2띢, Jut؁y~siuR\E_Sj.]j %Ez2Ok0OƆ_c,cՀ9HU1Fvnhƫ^"xoCY2LH Mڑi\eEJk&3e-nHv7<+ OFcx,JDNe+uβߡ\gKĹTSpzOBشMm! Xڝ=xOT!`dϼ/݂g ]Edi"S|+u kAqU'XiڌNB)fH(V VXIy&7a}S16u a cҲ2%GS%mr'v˜r\lE"OV FQÂ.B17a<>7;ofGUbʠ9Sf"91&b;EoE~w.Ku<+aLY;Z>K.~M^f2#.ZgP&xYψ-(s4LƌZ5'D(/\.gArwwوMD-d|we$@[ 6_D"eSNW&^d;CLbٺaxW-ion am̉NCgl,]KV0 0x>WG18D A"H1RpZmqFT! CO ?gd0jU2`~PoU;`dFMGH1ٽ|`O:]t%,ɽKg",ӽʠ"3Ta=. Nz 3P/RiabsM8`mX?y ъ Bn+y:@ıgYZ52826541f2a850e387c9f7bf0d207235f7abc8fda9ba4fcb27c61f2722def1490d5cc6ffd820a523 3e35f1f1494655d736fa0027db3480f1ebe85070 23620354c57eb567d552cf9b0a331e62bb638f82  Corec