SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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  3!  T ]/ Prog_Prove:threads=2elapsed=6.324cpu=11.248gc=0.688factor=1.787zXZִF! ]ŗXf1-hg3㶌 8UA5kGc,SnW^.kjF`X~dcWqKq$'Olxag"$vr//J_( Jθ ZLX^ 4ڋ)ZuXr_ nB;uu,رYF~sVuqWx'K`š:U;h1o(C9Z l@gYZ7zXZִF! ]ŗXiɟ˕A*++YĊkqdT丼4ȵ ml koz}h ?i?.ZH^0:MqDz^Ot8PYƕ7)Lݍ>>GC#2(kRcEͥ%D:g/jLǵӲq׷Q3+rFC&N+mM  gYZ7zXZִF! A]ŗXi%>g##vupW JVR|~=ңgY@7|2B PmTr%mv|yx@NLtTlW;1{?;v\\ bQ훜&`w=nڏpubi7K<W&dlZ(s{AYq_5OZyM:4[-쳊E0~\0xfc;BXܢ^ę\X6hno| g`ZQ/#ͣa-@(_ԽݶF,0ϑY0 +,5{[WF٫M^­CG<dvTDɓc2 ^#pT텃3B_n vR[6qۢSe :K Niz4t7b 2؇<hN׉n@wɘ&!:^$v\{T{7+m("[)W4VՓjT5ו a v  +U.;n$&s.y[*|EʹkRZmʳI5Xl| 1ֶHBD%mv)Hwnok ,O" IxGXl}z/^bޢ#s#)1*^I|Oow l>}PgYZ30709a04ed9e8bc19e365269bdfe89670d6d874a82ea62db878002abe1f561b243b2cfa9fc698016 3eb7c68d6e834ba5513637798ddd089d7ebc1253  ! Prog_Prove