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 xx |< ] IOA:threads=6elapsed=7.201cpu=32.208gc=1.536factor=4.477zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K Q{rqr>[ngJOam/0}PO6Bd>&G5넓zv*?Rj,/W9(A^&aQJ F8fbyJ4ʫy~>1[U)DsGw؉7KCΦv6Ql[sڬ {5Վ%2QdrJ},e6?ޓ^v7^o\$lv F-z [;%nf7y=FdR$:!MNn-șgS\$Dܘsql(B1t1WÖ]bXͷ 8(60sdBhb /C;++PؙmӐ]2 ^Rͦ4{IKHCzc-ߣ9F"gpp(4Ox`ɐN+&ЂhAgYZ7zXZִF! `w]ŗXiɟdN'LvH۹C<" !LZōZ Gռ%aF ;g>Un`.ZH(Om` P@mXCR[EyZwDEHzpnP. UfJBch1Y\*O/w|f5 kiW6BU 2coyf<"%@Cq&O'hlkPsL~2Ew V* uBNvdl*҅|rcdN,H\HvR;m{0i`@F kiS|gYZ7zXZִF! )U]ŗXi%J mn~xW P? ;tїddDc,#Si|zI|^%9!Y#CI{q_dˏQqdmn13n$0 }ڿe :B-س3Uwr}}cvD85mHzUޱ{!x3=#]?c0~u@Kkq6 1-P:|i㴻)gZQD"0 S&n^>.n͇ӗBy\QoM;LPC/Gʘ!Swu3A:*d壃ʌ`Q}!w;V56q"KLbwFف9Y?)wY:ujs. S&F췦qVSE 9Yro )UO㡜+ދ/[Ƞ C7Lq.l >"Z^4-9"KkÔM?hǚS,3inHy!ddX7;N1ChDmRmOaG> L~?_1+esTx\u,M?'>m g]VMӝCY4=ɧhIfOWt1^'WdI^ k\4Z'E̅h X_⢋#k: &vpuFB,X]Ulٞ4(sVKcS+{ISS gYZ642b38207c2d58c3e4e0e4d42053ea9c208f3813fe1281de5d7780f272aca589ea23aa21095812b5 b0fbbd38fa9ab2d8baffe811a6d340106ce50024 4cf1c73514e65204ff6eb7244c44d10e229fe297  IOA