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 ~~ T4, ]/]HOLCF:threads=6elapsed=12.421cpu=38.952gc=2.276factor=3.147zXZִF! F]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>VAU![Ys ?!4|cN>_CP\xbbu0a"eJYHBC,_@-sI=`$u3I:,0l<޺-rVNay3oH\ Z,dkL& .@#o$dxᐚzUyl[5E{ e@_@%Jr61 XHx,@gLY'L *%0wiz$5V^!h?@ aXyRU}3 x?_LtB$ȯ;gYZ7zXZִF! S]ŗXiɟ>Ӈɇ9S2]mOai_ ^YԔ+v" U(j `f׽!"yN҂#Ŕ>=@4 d~qH3GS"B,~h _~kJ΄ˀS&*:4ت#:α\@g,B7sB1Sg5RjS-Vۅ?Gx *=pKNcp{x,If6Sf:LQ/YdSZ~9f6yd з$Y|lA2o7Fˀ(l^rf}man{Y^I~oB0d"ˠN8` _Y#rH\0/.fuhi'\,qnS~w#*I-lad%97iUaW,[Pew~8@d.2e) g25PԡmXf[4V)p|ְ Ϗvu@OĢBڳn/󨄓UԲGYܟz璆qWWQS Q-Ơ楱gYZ7zXZִF! Ѿ쌩<ʽljǏx.q$cx"t\8@ْǣ|Uz8:LJx(-"X߬εpِ_7߉NjJ4|lz8 Ē0\EY3uQC.%&?Cںwۘ{l$Fߖ>>tLKڇ,Z `~A oa R!Lo\-v*QZ--Veg Л7{S@dv݌.k$gD]򐠎YU}"~(1ueTKw(qUA 4A yrv Es'pvJ< ^2 Ô KcO^ME+RyV@j$Q3PE*T#IɪV% _eY|? RJTQ:GڕN\@v6t{" 5aK@%K2wLxڀ2Yw#ޮVusS@|Y:L+Xm6sPu\y>#Q!@9,P= _Βu>Oh1$KaȒ>3iZߓc@ a$%zxXsu\t%=|˃hN/lCo@Y;`sֲD \Ibi7axfad˂tA#'