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 ((U+ tr7tUjSbWFS '# S+X}+s%W_Qڏ,& a B jc|\j降 Eٹ[7 A*E3OHRgNe3\w,C(/vݣTj(9J'Ա5WgvܫlS#ӕ1ղ<}k;ɜ_6.ca;.(2u)Rx V~D((*6RؒSi,|čgYZ7zXZִF! ]ŗXiɟV'JGQ=y|ژk uiXDdfN&"U (A Q >M"i!{9uaCUзΖ~B=l=^ڮg;W9jҌO}[ _|GKf& hgYZ7zXZִF! l-]ŗXi%G>##^/N%؛rJO(]I&օ,~=f6 2ƽ.k>w[$,eRKR 0w$?7limDG#/}=P{qR,bۺPV`wo/#8;:LU^3F|N:. Wa7m,=۠, a}{14]=J56ܵtwot9\j2qP޶s4n0L2m#h@B] 3mYurl2Ԟ V1Zg8TR- FJ5 9LĭWl}c4lEa te-³a<)eWS 5@`½;I` U^m4[5)BZ=zxE2^AK)1鐔$0JJ4TCގ TLȠ]e>8YA,19E3h<*{?dEjѦf`>}*kLF[X=<wA[B"PI\a-8-'>`N D:!p QЕLTӖpe_$Q5!j# uJx%{@WDU_;9^PfQX0׍]Z"ט}Dd?|C"oIF,%hn$ն8G֩2ܸzr q 9l٘[ξ(V[ hBZ|2VL^1V[]v4rA(v]=_*h\x2oW흉X$CB`a[ԎoҮ{T^?J&F\1+ oE0P@_SI~(oƇFH5eXx'2o^|,Ђi:vG~ub_*5]R ~tB9ka>