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 $$Y <|4 ] IOA:threads=6elapsed=7.736cpu=33.280gc=1.328factor=4.307zXZִF! (]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K LgPto֓4~CiFdU/[nPK8Sv)t*|H#ܟK6ŃKc][uI-T'eS>X6hRJ&Fcq1]rlk~s6ÄBhqmo ^麆5!0|WL"߲&Q4@&Vbtd|KMaaGEP%FqGB|-KY|ҶFV,bG6*pNڧ JXe3[EYmxKm=uE:JN2S߃sE8.Rs(dA,i* K Q`əϋ6n餚`!'sy]K%Ic>%;%K W~i)@d mgYZ7zXZִF! `x]ŗXiɟdN'LvH۹$H@ xchEQ~.' Om^0tlPu"mzT3):$y95,~qYtKG=ŞLA`luf;N)_lRGʶ)1(%+OonK!3p(W|ۓ1u5:8"{T'v<~L>=,>dzgqVGOWz VFKG}&M1:b#T%͊%9 veU9yeA2 +Z+v E<(~UfR^E i)jn]u9% ^吼Pֽ"wa4` [Xg% Zt0 YVagYZ7zXZִF! ,]ŗXi%Bes"D`S- ҫ(9~!d)2S!C4'Yk,x( Br|VI(f*i9'OyyR.S4W"ֳkoya)b@=v2vdƚמR9x4Ay z UІwB ]P$ bhln˾x;JxgHO8"AvB䡎TMi`[<WTm5ڰC@x[o(_ɛlSkJ,9І3Si%ex5mi ;% r-LBѡ:G?h4_OUm7VJdv~.mҪ g*"WgcȏM3 ~{])k'5+'YG}8L/&4~A#@׳n$T:4ݠZ$r31IC$Pӥ^z8iAxdf3,_I##o9'ep&dP6l10ZWN+m.pjNl[gۖeb:_a8r y (})"H-pM O+5Jr͕׼:4}y4gWϓ+M >݁ OIl߫եAqu"g)"X]iLU  Y.-gYZ8caab89b841d9255460ab57a3e38c5a61523633b4ffcfcdc02ef3f1b5abbf97520a085cc79a504db f6383c732bf7a95b23155f974528a61462f86e5a 99c3ca8415cc35b14f6c5f0cf439fb2226899b1d  IOA