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 __ Dt ]]]ZF:threads=6elapsed=12.006cpu=43.808gc=2.416factor=3.657zXZִF! 3]ŗXf1-)9\l ݺn= bŚ&3(/.G_TvQfgs&b4;3b;:BԊ|Ե6m9P_[53D/C GGg-'d N$wEpgUFZ;TKfF&I+ڹ ѤzN&eij?\0۬ G #Eڇ  )Om"bd:z|+a(6db\_6LlMyMGcѠz%:EbR `4Bv؆P5sYJ5-ĠrEn >xHFL7짽rJl=QsbH:{|[,u?qC:$Sl\'ך"ZWL3&1YI:t,UP^Y\ 0) '85 4%ZAԠi¯pl 3Ǵi*ȿ&t*xLv.QhUWCQr]rƖChԡdPoXt#w 1_7% THgS'ZL"kiLؾ}~#1K)E >b}4n J0QQʩk27h7la3" 1|0g݄sw;^c.i'Jq4 y0V=t\Ei|NG }au.=`LFPv_L~qLn4EIV[-Lon)qH/5ZT#;rr~e RxC> .-vڼDgYZ7zXZִF! 爻=氟LoQwwpzf?-EGe*=c* Wo_GD`>5dqiFo(a i/k^<̈́^C]BGH ը%R!bg#t*CkB%BڦicL\zqC<4C H*'F$_=SiL+ RtnЈ/~Ic.h$KwPb?c5m;Fq<^,8} 8#p6DD$껥o+)ZU_adyB5#bM ޵pYH} yÆxgKB:@oᯎP;UؾfpjI bddQIb5,kO;3$tSgnpah?]_ô־F`{EQX]]fh6DL,msOf0"8[\q?ҺԧUEPU_AQu#$/AnʸhsxHp#`y ('THNѕNS \0$ 'M{Roi B1}^s䏭IO}Y2Q.\֮&g>{4C[dܳ Sc hJuBc6vxx82CP NLv$`1-ֲ@iLb7OЧ;[WX/C-h=#VV00{a ||\dR*#FpR&RJ U?^r <1V5'_)ϣ721zW/`KꘞT^Nf_:x#DO?]hCФi1xwS`8+{s@Y3}lג|xZ>dMFL10`@!6ȁIF´C=]Dڙ|[|i_sŏQ77;/ ̍>A;~dZy{֯/R0IN x"gYZcff596af7334bee1ea1140a43f8a20bcbbe9df7d71694b1f2d25d2d9aeaca0f1ab390c835916ace2f87512cc9fc34677eb2a99f2846d33889942606f  ZF