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 00M% L|L ]/ Derangements:threads=8elapsed=8.789cpu=38.463gc=1.731factor=4.387zXZִF! P]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl({_՛zu5|殺__Oyk+2.Am<&`,SFkd{&mw y ڡ4̏Gt}蝢Fҽ6'='V~v u54^~uA跥dÕ(K@5;^A=5AiB]e,m&IM׿ I斮.DqQc cs[ݹԷ:=+y(/)́Lj 䁎ctgn>wb8 !YFPr{Wi 70C~=0W%k|İ`:}ɐ0=RHפ){2ۂtx>7zmEL+=$0 8tmR|Qe%uYBl5[` $i}o%,-W,1$kȟ˾PF*91ijַw5n!|)|/n{X:IL,ɱgYZ7zXZִF! ]ŗXiɟ1˦r!cHkMeBd4*%4&*W#..U*VKS ƙ}#D*T|@O=u$;Q<%^uy2A 3b/DXMIvaЍ/Fw grRq+HNgYZ7zXZִF! =]ŗXi%>t}[ǯH3@)af˶ou52B_ir9ZO3yK>60!~{nWLꠣ^f:)?4lC""s*"ۈV9=2KNHL 'M ..׺g^isV34 *y8X}51 p CTD1Yp ]hx# I٩Dc*4_M&}z#\3,㶶\xZnd+gzxbr$yt@d/n7ݞ4~}PҊv0xGʁ8~Fc TG+ܚe+6 s:k[bR^ZF#ڄ{t,p5wV8k(g ;/e%_KئM""]0}ClfnfP"Fr蜐vO?lC Bv i wn6pmz"#dY~'WZ5ljH6K󻛥Ԁ7_*LBZe fŪdP{0^VAtme bW nzz ci9H3Jc)US*r('OҨW/tM,S 꼡A8|&vqul:4lSa