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   ] $|T ] IOA:threads=6elapsed=7.684cpu=33.040gc=1.284factor=4.307zXZִF! y ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K kg(^Ho\*)DSq !JS|3Y@S2 rq?`#ܴxCIS>sZKpR3ZdN4,G”l~xh!cy"P6&|NJ0&6 .Zg}#ſv2 rl#+f$H߬.h@ggYZ7zXZִF! `w]ŗXiɟdN'LvH۹$+DJ3T3?3&o`AaVHsMRD:x\}B lsR$!-S9z~lJsKK,!q~9.w3 z$E6XxСgQ,^X*8B"uw$tvq kiS|gYZ7zXZִF! ,]ŗXi%B|yDǁňRDaYdS'\Bg}X7_}j5..ҙvc:` FzCvڴzG%R9B63{#:J?,(P qhP2Zlb)토:<ʨ?҂QZFjbV3us3%MY[z;E 3G|s[B93?-F>F[Ac4\S@+Ec9Ɨ1٘>L~cs4bsԘvQ7,qOeέ..@%+r A}ު\Z_?6؃qR&yx(rFr\`Tu,9 r$Cpl z5m""l\r%͕F]z߸[ $4(hYd }7I*w~qRi9tծ;iH2%0֭|U Qen5mhpڎNQ/؈.tE^;;7$wLD+Z#KH _YBe\+7w\f,x[[. ND%v'?PW#nc]eܗ˰~$3aUߙKsqP|p:lD9‡#|b$RY<]H !,ok&B?V|єKY6Rg {L`CQM6h7)=u!ۖciWO&5 sY0?gb?S:Hk]Gj=3-c#7X#  Y!gYZcf33da74680256be7f85255acff56a5ae4ad82ccb7e97556cf8de0f09d665cbad2c7aa5e6ee16e63 90bc4c22e1bac0eecaa31c236fc8ab40a62fb2c8 984d2dfd94a12fc7b7c9a7b7f312d07238d3c15d  IOA