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 ff' |L ] WorkerWrapper:threads=4elapsed=7.791cpu=23.528gc=0.880factor=3.027zXZִF! 4]ŗXf[&M{z6b'(+6(3J6nv㥷8_`^v ~u%n Zƴ霈]T7x8TwT5pC'yX˙itn3wg^n+0bٳYGq ~/ 1AتVU@袴2\hxdiX_!*mXv=V f!p-ƤxT?"X/o&]w솪z)[Tms=bD 2:IԄ< c:{3iOFӯ|t,V~'xY9T_th:SHqȻ!ZԼ!}>Y%W%n!"%Lל87M߬p NAXA^B3#&;u 6W&:$k#MF qMT8#m\Iг neIb8N7gYZ7zXZִF! 37]ŗXiɟ mLr?wl:bA8YÙ#[7$~4-ٵMe4n00%#GSU sF03 cCQ%`]f86O7xt.P䷭"7^Fx!8i ڎXXpNO֋gh p$0+&k^ Syb-1dt>w]u%WES˘]S3 653&r #{E_{Ru$[2DG)ӶGuN9DEG4 wzǜƊwZL85*XIa|M|},i⬷SQ#B]l.޻MOpZzzb}H|X[ywF7+zx,m ߋYȸ?''$;rA#x4Jك-lj 3<`Q(9[E))Ty}5OY+נ| es؊&e-=,z.ޭu`ۊaAqEED7g5Y"*f]Z)[6!{_p  GYt |#cYO̮-=gU͖ɥu섙<3Ϣ&@ЦUi,#M`xNBm+ϒh܌R[O |-eآ2'cx䄿  gYZ4cbcb202efb034937466b4e05957ba05fd2fbaa5d3f90704504dab3f9fc94e3d143d1180eb260c4a 05a03eacc3059078cac786ce4b0187a596b54f20 ee58ad68a2d8abc3d25e6f08672dfb15b64788d1 ' WorkerWrapper