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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info w w z-TL ]]CAVA_buildchain1:threads=2elapsed=141.068cpu=262.704gc=9.792factor=1.867zXZ ִF ! N!] ŗXf1-/6vRZV2OHQ88jŸʩJDɻj4=~PԳ Vi4ڛtL: 2*=ݪrմZR#&g|~l%ڽ @. q.%P&E 3|^jC`ZX p!)xj8dR2({#\T{[n` *N`LΩ~UϻpB䳰j6L@Ce6(D>:!EǙ ;ؔۺ,+M=Y(ds[=y| %52%-Mm;qXiB>[3\.,T?nktHۀHѵldRc_Hƈ΄BY1Ig&ȥ$o+!$,^?XIb9$aߪcMB&=EIWT]FUq)G#|_b[sQxqi(Tk%Rt &\LڍT[Z߷ Jd)Ln$sPGUy#Wv+ٲ;_ʾOR004HhhNG32Xu>(&-LA>?^'Xj qM am+64 BaUoI3xKc TmHuGr9?eI^S+IJ0m /kb3N}?!_H/mX3~rq}~HonnRoxV;*wwz i mv**%ΜtC]l a{A6VL0aMb--?Z'H') =cՈwT.:CI垀3VLhJ "̫fT@NFp3rBd椭[ g}~J\"2ryeo9#v]c[̈=~O |)8Ha 6դP9:Jn{>KKH]:QlutV="˿G}s()<"TJrnvhPͿ2kt8~ 1',op`k%]^г_ h_[>܊un_Xݾ/b=+y'v j)WHqߐ)?7 - CAVA_buildchain1 h^q=eP}E c3 KZ(<1"2%&\!kS`Z:$Geki@a ;H&-XOyڄ+`qkj>nVlʈ\@r+Z