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 N d < ]]]ZF:threads=6elapsed=12.956cpu=45.252gc=3.072factor=3.497zXZִF! k]ŗXf1-) enȈA"tr-j. ZbNVH*Й3r'o岹ό7R峹p~Gf_f6)sգd$$]LԮqskyN"yʑҸ瓿ދKjs. FBmf>'!>vN֋BįEIB=Ώv? xjw0o幎Wtrdȩ'J /:y[ G[Ğh'FÛ ΐR$2 |b)fI?eE[cZ'7=z$ 4*nD ^; |_u}F0\/1H-㌠@kFbOŶ?\%5 F!!=z\djMYJDNHDelWxd-(1qJGl5S.SeI׬M 2-*vq~ 5uxe=P}7۔~*Jɿ&WnRe1v ,Q7_#:lهgrΎڊl~͚&ָ֕Y.>ZGgYZ7zXZִF! =]ŗXiɟ 1FE`穵K-jZ9AK׈6Pj__XTfHOI=GWe8̹̀4[aqgFlb9WDu'$t'so&o 2=8g:xRh<'9!ʹ%`jZЦ&=A%4:mۅ"sȡb)!:Bz!"DH^¹jJqx;/K .NvU)Ҏ]ŗXi%@^~-%92%J܁i'`ֶoַ|ẗ́.)c>wH%sŞ= :Ym6kig;.ڊ/O{pV1GV?2/&_fON5HBe51#S-ז螛-فjX$]B]c 06ON$oF'u8ER)k~ eoߵn)`u&/XӥNٳ RpuAZrU'wm *F'o)5_Q >[ϛ:1CiA v4nr(, YqAtHⱃP?j4zW2]fyp&ϢJBbas$jyoCKH 0ώw3 H1p_J99wJNmݼcaxkSOBpgDamOE-Pd#t(/Jt5yJz%6>!},kz .J*w|%-r1F/%b^JeJ{x+aYfGЧVqˎnc"jwQwBZ(Pn{G-i;jYq6܈Ԅ ;q A'=YR D?d!.{RN3tTxM$亸sͿM4>"sQ(E˹)CVl)oOnF_ >O*]E>񛪌YPM1(6 Rq:Q\&*5&#]Yt7ȋcT}E- kG.]ՂVwtYh 5I+XWyV;y:SP !E6hRZ/+>b7ZȖ}!ElR Iu~aײbS*`]~&7Szh`r`'Tj&Z.M62rRĹ1