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  M T9$0l'_f3Ԉ}c>70`|=C%%_ )FJ@P>k[?weZL_T_2LUUU-YVzoZ2k*$[~3ws框g3×-άEHI嶬t`)>cl)Jp˗c< x9]ߕRwSErqϏS zNSKcśg6hh/~˷AhglAZ6@}z8'|_ 3թM.-} 1R-+qMy ݔP!{-- C&ܢ`eޠK*3.adP2 #*t_7il[R}7 PgG;^Z343Zƈ@'B3nZ5'%b}tد(]r#tei%[qޖ k:ؠY <[NT & -<-?L =:Le mkj@/O98FosH{?ǃ $K#הߖhɟux 㶂 sp~3fvlc=3QZ5n0%}ܕrS'NQ2L8#Nz׿T.hFf|γISw a \lG%[tI Efwb6{#p^pFoHr86=LsZƣ; i70 6h *$PTQK`p޶/՝I2PG\/]1pw 6 L=$LcḠhDS\O{(JlR3?::g`%&T<`9͇K|F9Ѵ_?՜gYRrZvvb+r˩dvhQ$LlYd_L6Xm[-=e$V62;䢁&?({fef[w!ssLb),#K@AmjG8#_򵯝"/kђ%aYMXh_W- فLw"/䦌5==v]H9J4[. }%HB2 Sv~AzxT%zБީtYEw@ dJSlSKpZVfJ7"|,F\]cv(HmxH _@],gYZ7zXZִF! a\]ŗXi%>;m\^m`Sz?gc4i#^'N3҉ޖ*RD?-;"źWpt(.L1N\#j<'ZWZFT |1<\2d Msr >iNWNm*M=r ˜]4CUJh멼6xΚ6:%RY8SMtQ'$c0Lt}#RBqͿMvoV[;Uh!& o岓.E[xCotVV tlpiɓ|}kA$5ɱ,Ԝ$^$/&"_]TFҚ"d&x? SUc6ʹr/YY0`v7X%Ǯo]zH ${] au _3Ⱥm6;*r%'Gu)ߦ֧ѩ?aN%csϥ[ݷ__R.6G6Hrӣ6v;@,{=kwUIBgx 4QzHks/R,>;e$KAʭZ-eUX dRxM2r%{7Z6OcHпMҝ&3)LFNӰϋF@C`eLĆImɻK5Հʼn3G <B%3#'^ï5^4mq(p{[zw#'Q}); '# T ^o1րy+;tdx7S4Hfq+1.n=*a&O%Pٹ:ٟ%PTpnhL&4ںƃ ٭UH?s2uޅ1Ɖ{ ^);I{Zd! ^ 2̬5O`j{n5+,bTm6Q1W1pghSWBmV#ό(Qd)4ŗ1#EfVB#"Ւt.X=5EtX+ x8)Myi~G= QS(+7M+Բq4ELۘ% RS v:p¬X5kzz E7ͣGRY#ڒubQ\ݻ ժW&Mlg#&ڡ(bt J5>P'DBu?UzN;CWg)l= 8a8