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  4t| ]/ PropResPI:threads=4elapsed=14.420cpu=30.056gc=0.992factor=2.087zXZִF! 9]ŗXf[&Yux6n8Zvk{CW\ ^Z̡h LAM5!q.$c cl}  K,mCyY|."gHgQ ;}SdCB?UȂ*CtR=[]Puf8!]tv:Rrԧ)IZEٖ%O&)e@H>4x~rX3Y9=xe}(`l/[@]n17ewPȦ6Ol$8+ 3qaPhB$sgEiV.@ta钓;M1HK~lDJ9/kmG8/%[:1=3p^~thBO+PF|~#Q&ˆ )oh=2]J_SXeCACP06,v,l=kt{{˱D]"wݛ6x2VkϿ<3no뉷5l5/S;:/76<ĉN57]bF꽻f-k!%;r=Q~I8Ñ,f yP6ď?cXa[Z  ıaH`&q?3[ʫ.\ [.qJ!DkMn>YbptH>f}S5 o'ۏ7!lNAu*Ļm EڥYiDK٭Ӂ>i9gP<5!C#\h3B6;RZT=5~$Եb"#2\hE?otôK .lR߮_( Cl)iGB[aK42x@/2+(JB:{7zY姐!uEd!Wp(9MuRGzzvy{Pg W`2Yjrz[6FRp#:3!X}v܆ԗJ:tψ4dK쵏).E|\+~C^RdUP?;L$f! DGoee6WAX75k[T9FVRu@Hi?@>}ovjZ>OK, t H!L oZ[/eE&s-{BTJ`?Hs޽η"^vpQ0$#ɇ e1Hns 3JG@`:`O0 Cr4jE:b&S';O΄;>@Y櫿Zҟ=;8[Edtۧt&R`9?3nfBC⠳yl!62*>EW1uA2"0z}#+d.!`d*#|k3MJ9˲Q]gqeW4F(mXj扱wQ qmxGby=)n8A>Jo͖QN"Z6рn-