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 kk% | ]/ FOL_Harrison:threads=2elapsed=11.595cpu=18.892gc=0.568factor=1.637zXZִF! ~]ŗXf1-/6vRZZj0Iq*~jzB{j>;<( l vPq^ . $|ܲ;0r9+ZKSowב+q`CL{vwes*9% ,&xMVeU:Z+Itj0e OߋT.k)L=JC=+ӈ(^{$!8lK ˢŸf~{@]€lpGHjSj/pᒨbx(dޙUI2n: Ȣ־R?8ӻvzV+,['n5%vnB=B)n 8} TFkզB]Y<˅ҜUXETn@t=gYZ7zXZִF! NE]ŗXiɟRxCpp'|?cHc4%D O[9ANaO̳}YZ7zXZִF! FK7]ŗXi%;*eqVT"Y zx'=#U I)"&-G oO[] |+թNdv† O@hRY,nIGj&1wGQ|)ÀVB9a!9W{߻ϲ16V DPԋqFCEa4%!S G%[R?bNj[/y2=fnG9dXGYmLbM_|U'QAS=&W [ϕm_p( Wghi urv+*Oq뮚nxSuSۓU' ,*N-1 o'ׅpښ=ˇ -($<+:1K|Ok,t=i=SÖG`L^\Z A޾g`d IpADDAMS!pbB"xa؝ѵM|IHHͲ )7m6פI q8X MBwCT>eܞs7A|0uOk A>jR2;37(ؠ~4298\$kYrbxWFW!muw%r*%`O;?uϽ .0 :,HY,C.umٸ~ #o\+A;;9n;V@ oi=E+%;HMt?[uu2C;_tm\LPurDZ^G[~',ǵ9GX%z<^8x|j@YBD~cz6χsYp22h~ ' M] %G{Aq"]"po*pLF9ݵ:+}6F]-ƮGqbHv3RcЯtKle}ZnMtOApԬ(F̌s gYZb122e44b78b94163853df1681a7381902030f9eb2f45ef79d98bf4791ca25c4e1af3b76b517203ad 1b41415026d3583c6b6bb0d2ec2995e8feb75528 % FOL_Harrison