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 :/ <$ ]/ FeatherweightJava:threads=4elapsed=8.621cpu=23.628gc=0.648factor=2.747zXZִF! []ŗXf[&%Ym7۷kX@s /Ya*`7U0~\bwkI`ynw;LX }M*FQXޗ5n龶1.Ӛ^ 3_BxI[J=Сln[w<ÁcGJZ#N=U8嗣7D^u^!#f/ *DU5}SrOܭWaw~ABԮ vV5IM:)xu 2[N0FrWҠ62"u}͇ 37rT;~DsvygYZ7zXZִF! ]ŗXiɟ6>*NWk,@uO#Qt`8 `3!Zfwۙ8!AuX5\%AxeQ/V)c`E)$Neb&`"-*I?v;Ȃ=m罛$K s @M}k*[hiVSRTeEZ3N,uOw@tYKJR\)@9zEGhr_}R& aG!lfjڪ͚@UuEpFW(nYR8jm?<a P(W<2(&2t)/)9 bfKF 7Tp,_I4:@sTgo #eiG@-"_zߋEz0WhRq*"zßUî|-2Ιza^5L xnHopP/nf<uk`/pPmhV<$4 , kӯ^0RD(#(X2YB(3c|@oH!/* /]Ϳ5Q1 |hU״l q*/YF;̎MI,1:5O 9or݄ x P1y)Qumu.TjOċlzZ8 &^ۚ>-Ә1;)1F=OS7OhӦ{ۥAF9Iͳ1ĐEiG׽±(V<|$OA>Pl  3N,x,H{F s0-wFǁ4{2ML47`ȹ/"'V18`Lůn9$Є/