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  / dt ]S Monomorphic_Monad:threads=4elapsed=42.357cpu=73.780gc=3.412factor=1.747zXZִF! b]ŗXf1-q恈͐7ӺV -O\9p)1O JҞ.m*ozk= ΖNQ<]'dRr ;PehδJɤ ףg,rP[N^֙8hB?_*;&:)s&7+%)g#&90S",5 eyP}yH :]fHs9 7[a6$lR:PVJa+ZZD$TrG:]XWQ'naIRwⴋkA?CAlSYn@qW&Œ>CJ~p!_>)ɶsQ<#R>Yq*e$/Fu?r|8O\7(*g}{"sQ3I]$&VRdn(_cDs_4IAp;20j+00dNVx *ZAp\`.9+x&&DMX"XOK.:*Mss[:?95WvT9I=A¼9ɂmfh^ 7gǩ,f\{L" LɡC]N`|׭xI]wa[ ڮo^/[~6_&m2 dgYZ7zXZִF! ]ŗXiɟ1˦r90Fn0''ztZguT~}<{ؖ0"ѪƳVC|6DLՏv aqrSpw"Oӳ?~f!񯹌1OC A*P_⇲1٫U6*uH2[;g ݥqLo_ 2s#gslfLCJPΛs0gYZ7zXZִF!  2]ŗXi%B|zmUstQe5*8ν}. fr`iHr8f0V~\L!}cYIH!)n#EbME澪Rn`H d_ }ϧ3Zga$*($o8bY1"QvޓZ p_ZOn~r zB;17mdDIB8k8%;g5[Ƞϰ"6ewmf>4'<,.څbڣ3]OGb >~S^%z"r&w/~#=vB4?EP4_i. ̡h*\8*gr+*䰪QqFa̶lhӟkn.GR)`Y%C\fgg&CX#ct]r"w<\RwcOy{M]7O! oQ6#-camkT'۪0 ?sFU*Qr\F@fYo=!ϫh7[ܿU~5m~S^j}nY w搡~+Ya. .Q? q 6sBo`^1$<8j~…}NĄ% vz{tǜAqOuC%\n u7]Bx[2 @`A kKI5!aYO'}9'VΓ5wu׈fjӅqr )8|y٧x*b\ ? ۱ `GuvY@r/ Ky x #zfmj@Ȳ$m/T8msቨyBc/ZY<䜦=Z &795x ` -j޺9v9v8Y$B#R4ĿM7bo9kLz#ZDvy7( m[B?9ϭ|-U+=@=tU!5TZ^ܮl845\ rǺHƍYЏT7s>Eխ ̜_'Ega[NeeH؄Paq+@ PQO`DFrHFsc(QE>VAnOJovq8FDINtxԼS!$Ng{&%,V l ݏq!U[\L$ܰv7KpXO?¦{у ͜rd?[ *{Xqrw[y8dwO$+[-S{$;L9UswɄ% ЇEC$۷E{*8N~VSs_Q bw[,2lꐩe>'_n!Y=j D3SHnnΆ02{W)W?Wݯ}*/Zdc "Ҳ@F(2J!dY|VFŗ} 5;S+E>wdƤ'lBI>y:KL'h ΢5vz9w;B D Ie+K>1epulHn .Ey6N]61Eq 1^%kٕV ! vdzI,#HpQbcS2s/6VJV#$NmӋD"^fuJ?4zYhJh\?`sy xc !]׀N 6<~5ku6Pu t/bԇ) Qm`=1qCG#.ƲHG[6Cxx{e׶Fhny{:WFdEԅZA7Ęd~2CZϑŌ}q3d~ZUF5(Wgb;WdCny]stŪSY&%9ZdbFGɿ!R'\[t襜*=h$ZQ<FϤ?{]ӛ=/d3W`t(\W%0*F׼[61}PA8Ch $!kzp']S\49T9c;B6TKA֗0aė4~TFzПLŘ f*ʩ1a jAN|}Օ0ٔ%vi\wI~qrR6IJkI &{80ܑNK( "N.)K`B)EgۇBt*9fسaI偝0V;Blᆶ1Ē.ņg4y"6MnmT1_Qʱ* q3&yJϪʰPFXkr>g j 9==IKẁWl!f*09#!xBNm>Ur%CմMxo,Ec>uNOSekp>tMȱgYZ1cab0cfa413d7adf2de28c8888de7a2a1761e13e3853cc710de37a8d8ae8e2ce10739760530fc782 68e24fa803389d76024c730e22fc9263ebe14aa0 08e29eb03c2ddc23125f8a3e99b8f8f8af8903c2 eff3c994bb1fdb08815e8dfdd79dd4546fcdedbf