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 x DL ] Datatypes:threads=2elapsed=41.760cpu=61.296gc=4.752factor=1.477zXZִF! ]ŗXf1-)&$c)zaBcFeN};0Hw;j/aHAE$m񮐕QjXCpֳa[pf jnxM."nV |Q\cx(Ī٥^wDaM7ܣ ӁY,ېXf9h6yK'[qĎo*AD{|ĥqB[o1sW/x{=2.vL4fke% &x\*!ǵ\mb[3"b*KHd~-aGQ]h#;d.nIfUU*gx^ˏԁ ~Dt 5jY{UODo.:g鼟1f~Yuo}IX] 4p9E˒qyUS| Duγ[yCga^9젧q٨}VIʶK Q2h沨*WHϪGhx~$ݛ"z@s<<ިZP ayZ3Nj|LGlkԜBS1@\ٖI(\h8w}P"%!qKOJC&НFAv;&cH>`SS3ycbOf[Ov%_'gѧ}(t:޼npY1y/屾'Lq1`(7/ x1ɲgX(c$Ujj_4y5H3zI ?1xڞI;*`dh̪)BPz@̌3+,DX*;hVReNDz_o H=mQ]lJ` 7]JN$ L(f͔fHs\OoP e"QI3Z9):cI"=%wCWW%rCޮ#Z۲|dQ #J|k0+7.$y/AєD09e! oX)CDx@/0¤%%jFgA*.Exd1M(Ty}P7n^;r"fB!cȬoFGp.7MPׂ+?E'ѣzDIdm{neo FV UfKLbn eQx[to[\+@gT׭ c[KK GnB+ϧ* O]1BGF]N\`}Ar!ujnC_CӾs!:U)-PP5vO\(#n;V{40wbE5\~4A)l1`3G+Zz@ )iY3 wi\C3d$$ڨX\z㋈?ж,%/xG8sU{dUجS'Am|HyV@,@(š^N֌1R˽|JY (޶rrSii'(c%ɩ=B!]Ct}?uoU~%<=?NfMuy ,a!8r*N遨l xI&z,A2m)CGGgiJZ 8/+WMb7ϡ=&ʾT%Cȍ%1kr G ds4luN@I@TqhQg7} HCN٘>lIG=h~ɈX+I[wyAW0#>@-%r(RҺM%z-t[Գ ^X: #|zQ)j7:sP]FPE/K7$YHo+h$ȣY^WR J%x' L"ngmG,^^)"VN"Wb$MOZ<|׮vH Eǘ*w.$P;lF #N4o`B e̼Sj\6așpaQozb}O$F^)~okݺbFDPIzaRGXV|#ow1:$H o wFd706[I0\|$ޥScq&]y3$B?~S2ba}!5yӤKBa+Jk:\vgYZ7fea81eab61eaa884269b625574eb69e1678b6d3d2fed5b8463a719e2f3fe546c701ac5c0e920ab5 cc137faa7d41fea458e730d08d19187f36b2fac8 915082dd8be765921534a4eb0d5827ba5ef779c7   Datatypes