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 ((U  < ] IOA:threads=6elapsed=7.419cpu=32.240gc=1.384factor=4.357zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K gFso,tɂ5HWvUZV4*VUk<, ,_Fm@P.ݨUë(x/j㐙"rϷ\O0V+7;ڎque3i sdkjl=G=/H&k; |N%D-T;unIoG ԕ~넽U KX8 M9j;OBor,Y'V}=܇cC-_$.ka(x2&dW6}JMp&Í7l˓Fl{"Vx)S#΁M&/A?UؖDh(oxX (ad44 z'-qvf{Te1Wp`WۊpWo`9r ɅM gYZ7zXZִF! `~]ŗXiɟdN'LvH۹$&'vYex,¸ 'PulW)ҟd3h`PxNoX B(WvLC@t[bp&EE+ÃST*-a\=+,`a|Q@TO%Ž[niH8ݔS.\ό¦Ae ,PRcpM:=# 5T]Ȱ5XD Ο x<џ \sqQU6M֙Dgaf&BX.k)?|Exjf{ֺ(sB:fNc 8\[gYZ7zXZִF! &]ŗXi%>tcn?V>xЍ÷W]+oI0޴a]#XסuwSnz&iy`7ac,OP3Zj(jÔ,H+szv@qg< uߋnQ9[1C4d7tnH] '#Zn f<{9fv;l}Iأǣht  eܩhXQЀGI`# A>#E7 i\cF?79 mL٣BgKyvGѩC^WA]H=fH'a;>FʦOmP=@gdQ9NF~y2ԫUp!9| ?GJO/%>ӏF;WMCА]ͭA 8%:lqmgQP@)pmt9ZyYmXnV Jj,K䞪oϭ<`\!?+c6!6}: c}<^R pxs,nOG +щ 1˴p1 %Ah@)].T0>vyqY)6rUJ灵v1'޽Sټʞ{0UI";F^s5ѰKςi9LaAN(I$] SGIo+v@=~4୨4}=w#۪]ra )w'yyBmM.ea5 XofT[ v[qKfĥfG`5v0ve#G("7n9_'wvPͦPOU8ûo20