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 yy3 L L ]/]Noninterference_CSP:threads=4elapsed=5.158cpu=14.504gc=0.528factor=2.817zXZִF! }]ŗXf[&zV 4gUM=кt_2w)~nH5Vâ\W}@GL5Qck!qͩ/lbv <>nR,н0NA AP("޵7 unrzֲ̧l.R WMQQEzIm^bn&y=-73bso.HC1wnq: I 5foŸXV7l2[ceQؔB#ϢE> ;gYZ7zXZִF! ]ŗXiɟģ={#1w,<=9<0)xGhajWDՄJA}IG8d' d"&%)۴tc. K I24qmQϿgIq>3ogYZ7zXZִF! 4]ŗXi%B 榹 W#+pW}ٵrunm|#83@_6Ї81 %f0Ge{6I?fExC2<6P$$:X=dmz_`?b `=K-1Nvd%cc -_nƵ8튾%ʵ|RțSaQlJ9 ޿vUb*9&LG3P!^ j=&D'&Qn4Re=]T"2`Vz1^Ji]:oT6e)ZE#`>>6h2 @@C#O*| yb(W9jՙMm״@$m]XUmer֩fNe:m$0iY'K?ٹũ%k+ Xr&I ~lB3#heMK +HqR]:Q˜Y7nsϛ !VEXdXR6 i.Uf}j^+Y׻PmJF V*W]3vU^&"!dVbtaͰT:8#!\o%IW`Í@kh^=_LGt|)_IYjy uE:H㌐nՕ" —x/evޥf8(Jfnm _饽n[?FH'2>dbrw'.z#69}}wn{S$]h\i͡V&*)r{Z,(U:7f2E