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 \-D,d ] HOL-SET_Protocol:threads=6elapsed=24.802cpu=111.356gc=2.632factor=4.497zXZִF! -s]ŗXf1-q恈%vA?'GAq,$L;׺N'n\!zDûh8iǩ;iM<* N(A1f ` pBQ .W¤Z '6X-N9{O9(Pp^eZ㦑>awSRZYtp{ ⻻ C ˜}0̪uŽ)mTo:A?)g`JedvpeTR%t-37TYh㎃7qdBjSԼ8%tݕıIz|pjvЪjQ?yt3T4.9FBOC m.2wt,vt6\?bqN>I[Z(|˃ov`@(7 + ve%/Pΰ14Dh=_R[;q1p,|̨c;W|CaH럲׫5_*ǜAe@ [UǬn{8KFz|0j D#bHM| svR:ijF@g?㨣LC6XS%n873=^̲܍#aX=AhxBgp:$U/xbeՀ"̕gZL7 ѱgYZ7zXZִF! H]ŗXiɟ1$߆tI)|yu|fxTtZ,=O;v~7%P|\BuQ +w#Ln]});B>#X40)0S;#3f;DŽP z=#`e` "qz]n>ÉpIնF`̦EgYZ7zXZִF! , +]ŗXi%G]%抯rxٱl,3_>tJ~ IkUtߑЛ/tl$GXϾg]/ox&aV;xz>=O"E*SB nq dr#$P^{3hsOO4~c>sgG:Qe=ꨞ2O1XK(H8̞\OHz[`ⴗڣg*;>l;wԫ| e%"4rȟ'5wH8H sA &o&04|si͓VMNexkr'W,Gid,2MJ 4{A)KuxE5!xߤ+6 k۲AJPODdQY6"B`$;P =P<9`F.6ƺj?ET7gcr)!`` j[NMU5dSY2"ξԠ kfKL}:w̦G$çr?e{7s#܁f!wo4>d_cpMO&[7xv6LV )N6$y kOue) (w>q H[Kc_=\+(