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 . $D ]]]ZF:threads=6elapsed=12.773cpu=39.412gc=2.092factor=3.097zXZִF! ]ŗXf1-)9\l ݺn= bŚ&3(/.G_Tv%5v]R3ᬮ7fFr1{Fv [ʘB}D>xӼԹ|b!y!AoؖD.z`4Tg5rd/@ZYi =:-uV=lQX@DMb>M}j1YۮwwP{M'5Nb_.:=ӼF:-ZliMF6FVjf"VU]SsoV" ,+vQA|xiHWlG%G,Pg+q0?8qUbkG^}3;&iט @/ٴ2` L:?YLbWO)(Ա9 ]ƚYogYZ7zXZִF! <]ŗXiɟ 1FE`空}j_Jg:|r*y$c=QC̓("ۺbsP!8/5K&?(ְ95ජĄZח4v6ufb^px-H '~܆S>aN@t4'| y  4|iIHFU݆p\i"#R#4=2! _MWG9]~G6#ܩ\|:;=* [;vEiZ9h.cG1c]<\<*F ي8 `P!,h.y1[JBGJVO둽kM:I u S~?[4*Tļ`H\cd"ņh(Z B F ]wi:}t[WJAś @I󴩦cNfXEZŢS#2+:?˥zߨ.,2e]f,-d0Gw}͙\y;R;g…Ayur#gYZ7zXZִF! =d]ŗXi%;lΝ#YfaΏ;-@x)h-_'%Xm+n42G.{Sš$|,4y !ŷ)7%FtTbߞKpѝV7ȰT&!.;#y YZ?Jé0р>+A~ HJ)}3迖xCQak=:/T=V2UsR{gߺ'tI(CgF23f<tqqt5FBvyZZT:t1tyifpyg9.JE ;gט'5jgL=^HEGJ Q+`V)d3ԇ;KU6H5@ pi"1a^\"ϕoR#p9p3xbhp[;A^Zp9-\n.jѡ2ty4ˀyœn'G!誕uZx>(S_'}vEkw+ M79 mL4bn,N[~L5`audNΥ) iZPv#Qh۴,I[%oģf!@| HE$ eL}f`.2<`P7k@N6HjN%n=zO_uʗ Rp jnjV-](EL@3'M[9RП3ȁ0UBqK xhہ}2p+YE/}qAd .wzߟJ4S4<ۭm 'z@}v}9tˮ,%-G [3v ';)F3@o_Am:@ζFkp&jfIB4b<; }]>OhG]VX@8z"Ag36 LBL ,O !H |I]f+:k^^D-cpmsFS ѕv%S0KH:%zpTrZHwCdI~F#Ę^_졟Q Ws z8{gYZ206b6daac13c6f17297891ba160e4ce03fe8d1998b0dcf9acd2129acf08a9af17112933d7b840fa4fd58b602ceadeb7577a26c1b388f4cfc40306fdb  ZF