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  t|T ]]]ZF:threads=6elapsed=12.565cpu=44.344gc=2.852factor=3.537zXZִF! 2]ŗXf1-) enȈA XR„3 (Q?hYk<ЅT#_ۇQlK 6BKfj'6?2D9 | _8z55,NRZq0'm7Na!T#f4 -J3IH?Iԁv"9v(-[kmO3)m J?j֨*Mx]e]Yű7_-ڹt:ĝس\KS`Ƨ`iJ㢃oh["T;[;(xdlO 2* 'N-%)78iýϠQ2Je9g"7{#%U/xm1kˬl d&1#8TvѰ|'A#!nlqS[3pd`TPDdQrZQIvTA,:ֽܦ/ Oq˥G~NLW09xQB6m+f$c~ϖwfy&X%j(< zq gYZ7zXZִF! >"]ŗXi%>KxW[[ͻ &4J{ w$??tuF _"(=*c,}=f$*{ T%UBaJLV7:v=vlZ8B; +_?ޜ5;{eqǔZ^ĞTrSk kPhRg cR rjW3X+5/GM0m}'5㌞8 <2N);|wg)Y"*x(i{qm124?!:-Y m : p0G(0cDTJm؁91 (۵=份UCxW: ʁV* "A'o6!X¥QPsJ9jBo$#)hmOC]G)Tڌ ahkCrHY?egßlzspm)uJk1DŨb+0oI9b Ihhb€70w̚>By ]\9d@4?Pm/<,BVmY$ˋTDӲNuݤb9|R>ѫ&31@B+ ـx%yĵnQ- dOҏnYSiPPN(*[gXn2ַ~f;hW l2 I*쌐EU@8%>lx[)uıI׬bENHvC͒H*mq&֏) Hq.FȘ9F#" +t j]P!DFέ !ʢy%Q-缶Ԟqԡ!ւP_T%`eo{zPWEGśii&Ŵo!쌧„