SQLite format 3@ .0:  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 99D- L, ]S]Relation_Algebra:threads=4elapsed=18.144cpu=57.736gc=2.160factor=3.187zXZִF! >]ŗXf[&&AINxOforZ>Q#P1?J0 ȗ-T 8U QmQZ+x'xS\3d>55 giKuCEqt=@ ~ yxxX|` jH@;0c8Ӄ O:1V u҄/shc 3sBpO2bx9 ɡ3SPf;1{^H6CObܽۇeZeVHrR`ɯbhyҹы\J[L׃cj(tA/i=Kk`o+Jtuʁof׬ɳذViEϺ?]` C$3" P?!uˆ`~Zo8u80Bolnͩ-Pc`FM4zp*8W(zM8op&x^USPe{xe/aq]| "wnq=7j"'6?iͨ_[&iFhfy2GER@``?@}%x/:0WD#r k&殸RZ޸FDqW_fkʀLZTaAϵayYK&6h>\!^E>MΪ=HWi^"$F"㜞E-zTS=ōԲ#)xB'ܠ]\C"-w*P$_4v3RA;8QhfS8Tk%G9Lh37UFY2TrWkܒSڂMYٶLe SF`H󻰃Cٿ'nH8e_{u ܁?u!*T6VY/8 B@[15`.ju&(tcrFdȎCurO1m_XeJ#^ߎui.5;i5[򞉫bcQ(q~:ӴÌwˎ˕x7`), Gas*O?@`OZo@*ez%E1Si\E^8< 1.ewa)Sώ߳-{?0Tmׇx>%4d rˇd؃ `z2~@l-,DH}v~NQ̔pa/kBl8@gt#K=shDixMx1#\ nt0O(Zि'Ԟߙ!WjC )JǓ{I߀_sWjm\OZ*B`Awڠ匴28~OV?=0mnhPNt"?efkIFw0+'#/lRM(h#U4 2 +p7!{er[fQRsvsy H ; \xщ% [m{m\S5 L~賏X8x9~`l6CTۖyʂ&T9@3P,r!≑F; "/*ma@ :<,>'A1jMN(چVp׊jgH{tNqٲ^k3 }1 Xts\a4m7zrvNy!։<{.0V.N(RR>ݺ6y'Sh{:ע ܽeSxߎ2#H+U^׭wNh,pSGtv- v`UHH\gTmtUTof>mX@ B'?*~(7U^qqrq&8a4_Z6=E]rľ D7Y-JBeWkk'`hQfS:C!_Gx%/yςKs>W4UMu]ؖU W"gYZ03f2d23b71af99edb10131c4057a7feb54f03c6b78a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc59 0551b21f0ca7e7af2e3b02d44cbe317759713319 3edd9d828d28e260c3c84f99cd4a5b81c8a3ecdbd5b666029bf764561f78e7f18ae5a16c8cf084d1 - Relation_Algebra