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   LL ]/ Huffman:threads=4elapsed=7.913cpu=21.236gc=0.468factor=2.687zXZִF! @]ŗXf[&qأ8<±0LB]O& ri=Ⱥ/pY¶yafm40*aoV:/GZ 1Ir337gW0u>S1wE@ͷy YL<C *1rB!uÅ*|;fְܳ 4<#y]!f=ӟw:nT;}0mysrP9 >NA2@I>ylMK(t՘0B;ZluE `4z-m6$YMD\ ]ܷ?  v&wˡTw0'DP(Z +(ؐR!8ʀL fGL[ڃc\_?D^?bgYZ7zXZִF! C>]ŗXiɟt0sϘ ECS=UQ57Y4*6"/)0;8<&0Z]W(c6KT=._l O\ΐtQUH\Ң;;ܰiu.*/"\h&3E UU*zĩ$hhrfO8p *\eV&3疟W^,|@кȳwg-_NMI,ģ7XWN^$cq`JX. ɭ@@_<ٿ#ywieZbyqtPI6ҩYhk5Ws1h pOȠI?a7xCJ߻^>7Ǡ cY0c|gh]Als-UҲ:BK}ksv BΎ2Aӭ ){ZͿvnz@xO4c9QIG&g Mn阙;ßJZ ?mVM،!"mk;(<',@Qk-q7ƿvmePAȃWeĂw!d ΡJTW WoB,9[Pp[`9E<*9?Qq+Z]iX)/P = }D|(̾eiU@M,);z[)h؈nYF,v_ֶU@!əN 5тІdh x(Q499_gwmtdNԨO[.s <K?,F9tZj`8->4 \p}"jb$'Қe*0Day016=.}=ܨ}?191ɿ巶XUV0"#/v[a >} "_7zK&rYZȭxmkr2An>Ne b@Vkd\g/NޗcJNl/ >gYZ293de5b1be1487aaabb75596f544e26a6bb0e84bd3f90704504dab3f9fc94e3d143d1180eb260c4a f6ffa714dac548bd1fa745e8527624877a3ec1f3   Huffman