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.960cpu=45.532gc=3.260factor=3.517zXZִF! JY]ŗXf1-) enȈA$jB80l,v8-qFN}Ƃ*g!Wڍ%Zլ&RdbAU&aKC3m!& PC~#>;O҄ rub#zLm .R x }EiQwJqV"wfƒJ1B+^臐s5s]2Ϋy1(0O։QSmI\TZƀсZiqz^b|aoS]@@"'F ΧKtj!i5J7.X[n&5+5@X]Nh7A#+L|Zlۜ|(At]ʣ!42FAkF MZu9 {'Jin88ӽFWL0h"2[=nF0dl[ =Tx=B q-s'Mkb^ K]lR(c-GV-S6:SSB!> rPulY2bIc=_OT`7 |Sy md~q] ܚ=lUچk]DZgYZ7zXZִF! 8]ŗXiɟ 1FE`穵BTç"@w#N_HDkld~'Y~nhB]vhcʼ[(z#C^hvMa;O! ̹=0H6ݐ[,AXiӌW?B6Aݎ!dPIdd_NyԖ$##{ v <"<&""cPmʨ.5PsU8a9Tff;}O5kG߀!j{FCU8BTX` | Ay,3C!%.vҽUimj [7hVn$q yዃll ͘&Rfp  Ԭ23}G@&Ȉ3]ŗXi%@^A䕢WdpDtDyP/ClwDYtU]h }Րe`gQ%ϧ~nBj[WTtJIf噪|9"؎MQJEe)֨:O@ 0*ʹ9Mc4̰M]h> rXE.%X#N *ox.n{l?*T+hgٞHыT͆H'YH-DÅ KӲVC,V̲K`DDjU ӕ lU! SF- ̿$S94#3LJۃ&'i[oG2Y*c+♖Ppr0QT;_Ť_xKCHɊƷHZA#wM.b)Rf´tO[gk ~`&zpj)d6zB$5PҜXOY(U=12a8Їg'fH%YzT38H5uQf$ۄm}X;`u_h -UHsCb%LJzW㸂@S8A $O~5V^N1cgN GG`ٕ#~M/j JxcRY)<QsTM,Fl;[Q \;Y폨~GQ~[. {rvJ~JO1rѕ\*]Xפ]b@35a*("s1& nX=yW]sqkV NZB"@#f]ԟAW0TV4iݝO(ksȣGDi09* -O!iӯ}V0kL+ U̟./w|_ 1ʝ)D;rpyNl&[EQUmF@`)h%G˱&B&Kt;buaW-2mcB_UXK]EuTfh_GɅ@xpԔh?_sT$rBߏ^,0VXړfP϶ܱnkGG{#YE@`ݺO*`˱8MoܬXKjDB l8d& M[]0,bԺ)9ՇSfɨ巌 z Fh8<D泏>E+I8l\ }EzgYZe56e9310ac6dbf46f14c172520170472dee5eebcf695e2210c65e40e35d958c5ecfc154ad0d6ad65bdaf85e94c54041735ef7f01d9a6b3994a2f9ac9  ZF