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 / D v;Hʜ\V}uS>&*Kr8`2f$Gޅb$a6;ӂQQ+tKkj*:GAQ:6- yz-~1+<@䑀|7}N'X#d#z*zQ*ձgYZ7zXZִF! ]ŗXiɟ6>*NWk,@uO#Qtsj&S[6-j^R*Tz{aQī#6C)E1,X88 <Ag#PZKUWORV pJj=çl}_ ձgYZ7zXZִF! E84]ŗXi%Eb⬘_/ T 3Fr'e:Sp8rK٘ʐ2w+ wl]hi@GsFLEnCa2H'u\CeܐF^rB`32r9+H*\V)_hkL LM0~byQg,bD?VoR՜QG*4{\9YYK**=`?!5x3lO2?`Vi}d,ϓU %j/*ş:c.`!S\B˖>bSI8 dbeU\48IWr4yEV|D썲Peh p\i킀9y'yg6w5y?uPNSۼ( }tkC /[͗;9dvGhk|{BQ6628=y V"b\5Yse4O JeҪiaCq.}WbEl7)ii!6cuI岽Eh2D%Kr\ɱWSvW[Q+̃2[נp?rD'g(/P3}e{|(p)CFlfC}{+&V Voׂl(N&Q~ѩ)X%fF:NY䀜d=ϾBS(;Yaq&^t(T3dֶg&J$4E*SVCCW2(~S|"F`Ʋ Қ|8ꋫNc䣿AG@GZo'+H)uS'J5WDДH#U*Uʍ^5kUgb*4y L{v z6f1%_N<-jFS!8:>XG!97I&kYX2i7삲:%p䨲4x–F} VVvmڽs#n ԫ&'h+x(뵻{ߍA|#-Z