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 \\!) D ] Error_Function:threads=4elapsed=11.195cpu=40.880gc=1.668factor=3.657zXZִF! ]ŗXf[& nTg6 HJRί~Z} oJ Xoq}$y00AS:ǀ5~gx`H?6@,AѶ=0ƛ&^0ke`؆M*FPfyAզ+lZ\A ފFҥ.LI㉄CM *%h0㳱mD5t,OzolXmܻ}ܳ;f>R!FJ+~->u4Kjwx&i|zNm7GpfwC)Dӓ D~斞vf/\kO:I`^ܨ(6yb t==L\1BlScs-k~7aPO2T' /͇m\4:V~J+4ggYZ7zXZִF! ]ŗXiɟ1˦r!q=4!pƹ $7##BFN2ujf Tys)ZM1Y٢KKftfpk$kٮͥu"ʂwIzA2L\Җ:;oAtM؀u>æࢉ LWtݗQoDjC򉅾%7Nk0Cwֺ)*)8b^vs;V`aKk1S]g$ w]̫ү^`/QC|ձgYZ7zXZִF! Q]ŗXi%G>6pq6[AOuy7@J uFՍyiJ f|aϓE}(g;`DRsshSDRGOwE-^kv$0Us0yO$杽w']?َ:@qI+XM:m4!%"y4MJ@mOQ۬j~4M &I't^}7fGˬ~5n9 bk T/̿lR?3@G**sNfahkb)йMq(N:g5{ǝ$kU}+Ar;Y9`Qޞt >"*\)r{+PTn[ XXM\C/ |OGM }qg֒)Ӑyq,x/MfQ16[ar豈 s`3Ewe'\䕗<*saϛ9~hDc\>Oi&\* XRٱtsGBqqG0=*#IxS[S*0T0B̉! d N} L[v|$.*fr|0TSB^v.iLIsUWԝ2 绀MzRHZԩL SBR%s9N21,HuACR@ǺDe3*G MG$XqwߊZODPlV hw qi-RcIEGƕT5~R<]=DE&BWEBgHC11%S넩EYQS7GӸ$D=)oy?Nw;TDȥcxќ,] ldzCTFYݬAi; W uŵ3U83CWhc 10/,98_Gд8/t'~C(3=f6k;leDp˒7MBئf} jsAMbvYŌJ~*D 9E!%Q͛p4>EmT617Ԥ<,rXz[kVD'ȋ1N\N(@vyWTcJ/$5-L;l/+շJgfIq  XQgYZ868fcbf8eddb91b8a5263c39e652db77a454693a4e13432f40f7b1835a151e11bc124aeab3c9b529 476b8b6d93e3d9822aeb6dfada9a4f4f5a0de682 1b16a111f65141d4fa71eaaeb14f0d97bf2a2857 ) Error_Function