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 u 1ɸ.$2ċ!EĻ^g5߻矌\xۂr򙘉4SKft`رFB,u/5pt|ф7(Px(BZ,__ӯJr֝vZJ{q+.ڪ\&@q<8?mÍlUJ\* f+<P5c9b@ը[W#V+fu5JL'g O̥/{#Zx]uD?[]C^X>mzUjs݆Eqِ?L(V1:n<(0̈́)(sYgYZ7zXZִF! `p]ŗXiɟdN'LvH۹Vf+y^Mdyfe[Y0ÛA6$%ZV86N0-6)~xHO[\DJcDr6-tV H3J/H /po5| `ȘNC{uV&, G163#ccawGn:_O:%N}x/=c\]%yٯPqs,x}b4r[rx I0"|(K˯&Hsq"t)̕-EqM"oFՙ$/'~;O/AVuz"+Yhѫ'M(,}' %ӎgYZ7zXZִF! '5]ŗXi%LE%\i0D󴸄pވ=􅴺[;ٖ{ HxkF$:luV  }q6@ !ȌMHKd@G_ĵU;Ιw ґY3k`'i=]TܷԼ*qVJ0(8睓p JiD !WHb~1t=QQpq!˒p_J͋A c _{RN/l"ǔjaYp$kɪOjD, kbPDfC)ͿH"D:s? b@zp{!Vf&O1g_;nԓ@%5ƒV2UÁ×Z|QhYdW(ZTKtq]ͲIѬ/^6>&4w 'u AmˀK#ШHWjbŮzi37&jaoȣFZ+5pl`Q!:M3`hTݝQGOZ1j:AU^grqR]`uO}4'jo\dέgs=Ko E~xjRᑰ)hI$쨗 zRwA}B3ZPOM=3gfs'77C.B^' }K0պ9@ğ\}`WSJW'O<[ܯ[UciL-,,((`ϥjpipD$m_$ qOٯ35 X5!oNgYZfaae04c9d2f6bac03e5fe11532ba5ca50150d719dc7b69071f5258c3706df73b3e56839183da893e 84b910a66c3fba5a127103a262ea752a51a43f31 908f6ff99631a4bf013a6fe2950dfc70362f617b  IOA