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  i i -n-xBs?lҼ;dJ_jjй:s%jXh7ѣ )Ğr5ZZFڿ=&-> S=VF(ʛzD[Jj $ 45ߖF3 @<0z`9|[v*PmxZ(>ӤwżҌ Zݞ*`gYZ7zXZִF! Ld]ŗXiɟMr^&%HiI6$ wĄUƒupˢ  M0v* $3n?07IS$ݥN:0iTA)FؼCLj:{ME/[Fs4K o:ByK>-|~E]=: ZGߓYgU 6(Y? ) )uԯ !\1 tݔLDcWA8ŕcqHllcm  ceTw;ݥsi^؄fa,05IDLhJ3fBe/`LG5/U)9W7qT:U%-_AU\&E#p0%3Ҥ1-هaV]%a@26uګ%%CH]*o2s*Srߐ=}[ %[G$tOA^tw^@(Ft/}C-TvX{<:ԝOÎ רb0*naAҴ6M&(:+||M+*ĻOd_z S_, JW.H䃆oCMF)7$F i #_)0<_Y8 IWKɻښZEBDa$E\K,U%**g*ZMcOYuF+Gr3f gl[^`)S &>7jzWDs.s`y0zl[eI7yX&DaJKt]2NfVQnZXiLjXp6WTGBss֞\׵Qqȝw5 kvZtTw"}3tξad&߰À.+3Kn왃Έg~UQlH,@0t8Oĥo]q@->8|T-FRq|[XF,+l`|]qz"mUyp[Xb2q ʝ<jz= _V}0Q۾Lex8T\<=R`ptIb=0H2;ND 1 O;2Rʫi Bհyy3ޖf.T@ 0Qi4H6qlx4sK6 kS GOq05J_H ?70(HU ![ҭ]  =ǪoW2Y9jwyS#>`Kƒ/%_L>֖4.g&(!Nђ;8~% voW[D=̢4'ZIt-ϱ8U^ ƒB=1p$UR쮗%iH\Io#0̊ S~ gS N[nޝ()"JW*z*$j@7Gݲ+|gYFHi}`f^E)'x (o69)Fd"|{Ӝ-/)VRhsڂ9/7( d?yD(х0$HLA},s;U$)MJ$/ySư&U28#K?/mdœyf/ZPocʝi'p 2B8AoBUW>_VXvA8bZtG.GDF#H$ zT'O6Z:WRGZHq#!ڱ+*m@#e44|!IAЎ@)^B-o"۟09 ukKbӐrr\_:ɰ-C|eba]c$y}]'#R xBIfi"H݈; `2x)HOn?I.}6n-JP<,t3ֶ?&56WԔx*,H)4 ADacaik&XT˺{ӐoDk*_Ucu+;~:Ȍm^yV۴ ~A&u0.} :^iZ7Þndd{ VMBQͽ"!/s$̩k& LgYZ478e222786d996d58b9342c5e395927c39879f5478a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc59 c8db6564a7ffaed04f8e9e08ffcc3e87fdd94065