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 m D D ] IOA:threads=6elapsed=7.265cpu=29.240gc=1.192factor=4.027zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K)9Hz32^Ddƒ?t||Ci8KT(4 =n9|+sMWu1g.7̤s qC"ljӁo#w!5gH-k(-$ /(aYB8Qo& 'h,r^]lJL˟z`͹fOps @pA땺=XwhˬP{AMXP錣Zv4W{Կqa!PqRm="ĆcG;gYZ7zXZִF! `}]ŗXiɟdN'LvH۹<sV/c CLíʓba' Mھ cZ?Tcb!;2Ia8M #snź!Ϋ5F'ؖ3,R򧜙ЗPb1><37xςC6hh0i^jy36S?1WI}}RCξ0uݓ ND \+ )Ngtrg{!]QG}xdgi)قiMK>辳b Iׄ"1_zkc8-WI'L'S$)ʃj(.)FSNJYY-# 7}FS_G]q0q2@rJcb,XGH^Y}Tζ;( qf_Ɍ>& |~_Fޣ^s~3?Đdȷ34>J|>'3:X0?.SȻK2311'׶qD]PL  zMq`'9X)+? ) +IZk7}8fz Fɻ}b)(1ε:Py tkqC|R軨Qp}|ߣt@" [e<<?42|mFҤvu@}-G8՝ܱIޝp8;Ra(ݐ\[\$JZ?!lnr;b QVu*Fh/y&hGhxr+㚙ue7!s隸H(gYZd0ceae6bcc76998a009a58428b56d23a9fead05a2b741fa2ed8a0e813cd5871c2da862936da19705 9f48442a01b557873bc8bbe04241e035c7b55e33 21af9cb1afbc700eb7e63f38988a39992d87b5fd  IOA