SQLite format 3@ .  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 ww $l ]]]ZF:threads=4elapsed=16.687cpu=43.584gc=2.576factor=2.617zXZִF! ]ŗXf1-) enȈA"tr-j. ZbNVH>b~ْ#'+b`ozce8` {QZ(>w5s6Դ\sźw#q8No^T7–[AjaE Ιڐ~Q(kxe oOqWXI=غS˓:(-gYZ7zXZִF! @]ŗXi%BbYN0;fն8xEܔOH2.Uv{ T$ S$:A3弿E%i4 hEG fk:=`e)BϏ*ո Dk_ |71"*7V}&_%ki<=._.˜S$[qG?&,@y"B }n}!Fo+؉n!;RT1Er{F{2l,Fʫsk f H*#Tn8mڕ̈GRj5F/bAuCJc Pv_Ns`[Rrxr+cNuAX'ywDg'QX{'Rށ7:D<[fS ܉̹'H_09S6Ў6.Ybkq 0ZUǏ#59?\:4dhHdug;3XbwD PP<|{:TK۹~(}MC$<A~NUYGڻ9!T$`U$ +!"c‬FE; D5E D4O it~'ޥyFp4R܍>9`>bbٕ%ۖMH;?kّ\}p5f/5g.qC~x9*>skShqQrn,YH &KުJNd/r#AHSbeǧbZ . 'd5ΎJmȊ?9qzEW Ӿ$VbY.ɞ%JTAy2"I*`ur}3 [~#''(g.;ljw.o샌Wn+ >R>/PҏC9Uӫ8 dlDmhoWVH_emSj S7$؃tqB)6Y$z|΢k? gwV-*#oyVa'Kh\xo9hnpQFvZ nKQ A gGAϫ)5i*8USqbrhAdIh[=]Wj/T8FqiN5't F:;_&^c k 2pu@::еc=;N'3K) 7SD|f.0\gyK<5!7|:1U=uPXO_v~tc