SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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   LD ]/ Huffman:threads=2elapsed=11.794cpu=20.148gc=0.492factor=1.717zXZִF! ]ŗXf[&qأ8<±0LB]OוO(dd!@Qc[y鐮m_e}yjri-r9!^]Aso Z1&/0N]ä?,#8^!x1P̽&llT/o7lim->fR W]+ X':JY% ;ad2Vz0:&% 1j3,#d4*n | ylQm6/k,PA/v]%{9?Y=Ox E|SR~r{9ETN!1zW-/ !{߼0Q%Pn=0сcj~sD*`b`m]ŗXiɟt0sϘ ECS>s]AM;p+zܾ}wb ZD|c}YZ7zXZִF! J[]ŗXi%>gRE 2[P5\5Hd'o>nk;uz9_B\X*; _ǻ0ͽJ 4ϣa,Sn6%Yx" ᱶ?XrNw3uJ׶KjPon{pڂJ ZɌ?]..{Hy+O6߇gE[u/|g*'AxY2$Sc=^y?GlyeFP:\#!!_i5goQ4+VOa&R5+𹒇SUwڣPّa^_zSx\EHcDl\ =i) %z@"V?~B:LQ<{_i ֥#MdIHnԥ;h+aˏC= iO=/^3R9 l?W2er5<`ҺYJf_ug`KbuX&r "-.:oBtPNdms@6L̵D/69]/hʉS4O >yج=~.@mgR`c8IG5n/;:30b{, S!a `P8/HWO!LZ^s.۷ǬFYmZeB0PVhЩ!뿗 (\LFC3Wj~ f.Koi0S1lhBX}:wozFw(iV$Rł{T;DXxN~w_wCۇ.Ĕ+s, G!0+"\qwU\1xcm̞i=fb6ܥ@F#4C |ES"Y'X O-SWf~UƟ.~`%ffHtb+/}CMlxWaWnwtЕ' Un+s kշl}}ч]p: 3?va袠e7P4Xsd&KΨ9(vٺtA"Mg|vƏ64agYZ4ae100078183accf527e71de4d57fcf81f60ae360779f416e0333e930b31960d36caa48e35918b68 b6896307526a9838816e0ef6f162a79ce98e509f   Huffman