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 b- TL ]/ ZF-Constructible:threads=4elapsed=11.214cpu=36.012gc=6.380factor=3.217zXZִF! l"]ŗXf1-W5"~ H:Fi{3g] U_ 1T44}ύ5MI2}~ D`E3م/H}WժR9K/ zx%~H=k|A1L%p \| srR0iX-Xu\4ڦ]جOq,Pwވ8F1M^3Hi[t+ԡ4n_[,;bJîjjf](Pնz.*,);f/ ˿y0X3gAKrRe atMI}Ĕ>W].*d|l9EpD5W@_8kF`SS0Q-Ԥbf;G)obc<Ⱦ'#%7.zAemۊ`""ncܥXF"-p7JrcɅ4Sh%h7IBr&jpXh#)T1vE; \$ֵJ+;8-7qBke)\jeuK4G`b2$LK5bf昶ϟbAD2w%A`s6&~;.er,߇/Jie)>Rh8.BW!i@vkw/lh 0~qveێ= ІQ*m5hMueťI| Z,ZޣS2]:9:;_蕘 td]k eٓ-,ed)]@p%T6V+0־Œ.ΛQo9WU1+1E7_ZTQO9\k'Eaj6cHNZuk1[Ė1CXD:;F'!F2:3B(ӯ%, P D"ߥ|PŏQ/:*GQmP`ըTyO;~X $n-޾_ʇ+B RJہ \fclJS3,_j81L BCנReo#lhb很D 7'.$rF_P\ 2i`0e_|@riSb븋bZ BpmcF_ ΡdN;2g:Resn!gpU+3e&'SiVl]Ό}a65LEJ|\Sz`V*ϺncHԸ~o;r[碑n~}I;Y3.h>'$+߅MI:F*aɑ7򿰮P;evZ VVUB$ H)&ݮ>vh:Ò袃 z)JF:\8 p+fN{z8M"-ĥ_U`њ濽Js] 7TqL2 ߿$SRR @ Hd+kQLav: d97O.Z]SevO@g)ց,0= gYZea5b70fa91f0607b21bd09b4d10bf1a1ef6b63839cd33e2f2669d2e2ef0833012528b204015b12df 5e2359bf39522b8fa17bbfde5efeaae409d9943e - ZF-Constructible