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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  C l ] Boolean_Expression_Checkers:threads=4elapsed=15.297cpu=28.200gc=1.828factor=1.847zXZִF! g.]ŗXf[&]M̈vׅ0%_[vgص5WcRh0(`i*}%#_bvS==_6iObP+K OEjM^QەFXVc dS22[FϾp2˾]轘,r.Qu'"ެm䚕͒B'QN#pML$KvŮj;-P Zk'LrD߀qs4//A߹Zu,lΕxNR;ElԼ BnYgYZ7zXZִF! P]ŗXiɟ$@u$lA{HAu aCԄ+F== =fV.]mKn|X,,8P!fgX0d)#-u(ٕ2Um@ v7&JVI^gYZ7zXZִF! d]ŗXi%Eb⬞}tWg;5٘rmPa`9S䟅ט'%bez#9tZP^X+/_&c[2=Pu7]Ejw+kĸwVbfu*<JSaZ Ptg{n9GS0]'LMtYkGu%& Nʹya]-׻㊌n <95&k[Q h0AR!_\8͵JI] Ǿhb)=NxIm2YTM~Zy ƧgG8Hq\lcVgmMBs"ZYlKJ4^t?׵-fCIzYβ9k\O`FL%@bذu.>׃00w1 6HzuqA 逵|7iOe$dy|(砰.Y,^Th ӊX?[ :ty6:F'R2eDuREpymyE J(om>E9=iPkg?OTm MBObFm<<sTٜVUM0T9Y%FwS'+TFSa_7؏p5B؟ɸ-O$>%x2`ʬ1)̜Yg h~IJŐJo|P)c:G5PIyx|. & {YKڇ>y&ϼr UD8 JJqS~o7 aAQlnDz ae;\.ڝ#eB