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 jj \L4 ]/]HOLCF:threads=6elapsed=12.925cpu=40.224gc=2.372factor=3.117zXZִF! ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVCV&) Cg)9CS5EV2ݕv8 u~~IU}~oEH+E> *ŌJeD:]d=Tz)[al:ً73tդQUVp껺1̶hS^=Ivs3!;*·iʵmJa:5~A%*%ױgYZ7zXZִF! _]ŗXiɟ>Ӈɇ9S2]mgbԃ] aͅE:'m;^yKmT֦tХHZX 8[4(\aȩG5~y^OȄyl]^}=5b0of( g8b6F d t;lzz1A#-5*e-ST](ZBS0H @XݔϻN:{I9P,|]M %!]85^Q˕M&T+G2U7^JSAؾ֍+V }qD~Ychʓb~1V~B*GsV| ]MsM;qyŔP}! LnkQXh:_F"mOTIEe X!Xdۙ]\B$!`"n %`҈zmi>u5y\ TRBArǗv>*a& uST#E~ :mvapX8b݉;fֽ&6#D@I/m-rr;'V׏?ANe6IK=gYZ7zXZִF! >]ŗXi%@hd=[bWOaAsDxc 0{}p@)@19E#I>qBRQ|hma"l<։R [˾=D;ۏ?vNԣ(| (ϥ9R/Y1SX=|. 1\0 EHb|v(ǟ\@W+G,Gа%Wx?y !C*ap8Gc5;gc? .3y#}^7=J&jp/:TpZ{W2j=CY4 y]u7ڗo(LYzmNS9]1#?x;hl'bP/"SyjZ>]Byw;m zd^#;0XXz,BG@Gk8^$';pW6zLޖM(vSZD~lW$izW/lfN4(b[$};Yv$;E\} /CqL} ?,2y(󀳐7ʸ;t7o:Nlم-HͯfmBO7Ubkjuu(1t[lݵ &9۰]kOZ6=GƜ`|qMv ( B&>I!1*jC3 2DТl SLK(P"W[5Є'9G\0ŌP]|S