SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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  ) \4| ]/ BNF_Operations:threads=4elapsed=9.981cpu=34.900gc=3.460factor=3.507zXZִF! w]ŗXf1-q恈͐7ӺV 1̗e&$W$!>έhz+>뤡,[>u:^Hq 4AS`ٞ7)l/BϮKReF^|c6"M307?%s{#wjn~#?*Ol|)$:8c9RbJ!7peQ'dȫXu~ٛ15fݰ.1g ؉}/˅*O-F/ lF$klH)=,!=1pTe+NK&r\V~hpe9&׸ӏOHj,yP,W̋,1X)X-hrSYG‹yHT\s62]bD'zh&X)RM52&^\1}f8n[E8aG iawC\ެN J4gYZ7zXZִF! P]ŗXiɟ1˦r*έ=F)$ /,g1 Ɵ0*[=Q8c&TRǣS?L]cF[n?Ryޭeb23]̇E3pBgw]Ep0F^B#QWAUP7:XH_*h pޕD GJT}(؊KgYZ7zXZִF! V]ŗXi%L 0s~3b!XgOa2-z$uT\U8l]W;wt'x.=}RK0&d4ihk*obEꌍ~V{T](Fvmtq yr͕]1lI}ck[Z= J76UbfAlhZA2lاhj= ꪛdbb*w^< Ir X~1? IQ/2_z߾}`USy9iN ',o{[ӹp$:;Oij)a칊uU+-$rrG|疓 ȭ6!-j͞u0^;e]^Ր9Ȅ[~iD˹-s2l:|:![o=p3. qh/1@{}g$(.+ VIpux4W[Sj;$nذ2s353X(p`N C5dX"G$˭al!3y shw'ypߨ&d3s =fM1FcnwC@m:1 DP +M/&2up聆pSC[V脄#1a pÓσC^PGKQL#Y@CE%h%xm¥vvPAg,fWXO/KSQ9l_!51sD\,GUs6 54mELu#$=8 D 17ERjNfΛ8["F > -)f9sJ l%id4vq&l.dS8@珴uqL0_5%uOW\4QEܐ6Б&[U^?AzRNjh7]"gE:mE`e,ޓ ͨr=7^fy(1/8Qۈa2?yI5t~b0K#@thn`P#U"}/[?],~ q5׃{Y eBtJC: 8W/? xc ~z-8gKه5HolqRAʎFһSq T*H ďKr S)z0#/=VMHp?~Jr'Q#4ko@6;*4Id(Tm dkSAE钅L!c.eb0rޖq%,V t<9lܤ^q5߻̓"-ӁnqJCd& s,+qc ؤ+(.ve҅wT^8s+DK%+fGJTًRwL';íFMrKΓQmU1|<ĩ +9gYZa69f0d1f8c7f02a88f35308da1a081cf64998942d3f90704504dab3f9fc94e3d143d1180eb260c4a f6ffa714dac548bd1fa745e8527624877a3ec1f3 ) BNF_Operations