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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info &<|l ]]HOL-Auth:threads=4elapsed=139.562cpu=432.260gc=9.224factor=3.107zXZ ִF ! $] ŗXf1-q恈tMm-7a 2B1:Gj͓{:#b~N'\*iWnugy vSQ]'3gO(~zL_3O `l|%}X5{WW; P6Wch/C˔@+q9Y"m:Ԧ\>yw sԥbg e"p%+۽YE짲kUږ ai@!, `dڬϘ*fR%BS~=;FvrV{©xy|l9wudFP|9V* lԙ ፇ-:ҝ}Fd4xf^{y .Oc3VբY61WƄgr[{-4?ex0e#hs| |i"]a{RbX0Jji"İȩ} FW a^*'m *Iʍ'5'6o`2.TOvDpK&5y$ 8w7g&, (r,%&t7C~KP Zpdz!0
ˣ&&"K&_lݮ\q=gUUyUcC!$G'qDGȥ S2l9CXXaEkqGtX4ʴ&24&F4p˛`%`qN
Qp̜b|yU¥
!oTO֊O3o] 4 ^ƛ1wrZڬӇ!LE[ #vAAӺjա6~ШA]R_bjtw]H`lkH[OsW^
V縩%^,I\?{nh^W!(ڦȗk||<)VZ:2tSq
Rmx]`6@q wn3&:%,3`WR8к {;8u+^'a~?ݩ3֏
5d
i>[w*3N|RW6^&x3q9(ކhPS!{2d~\ GEF~fJai4{ }"CqػP,8>\(#N7c~S(r;)oj`6}~BwqXk]]pkXT[xZk=Qb]]mGl1Ff=;u]g&j-KŧLX"\j.q31K
RixӝN榅t=n:%z|e
f9N7w#uqm3meE]&WYK3mHւ殝dR0c1 9Y=w nhV Re;ͥjQ
8Oꭇ}p_l"$ $3t?hl=L,+yl9jg2(X@B>%%L)^[BDp*z˃$ Е Zep:8p .9q]R.9߶ע.rVBy L`a/BhcޮlB\P\!?2@$%c7J4