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 ]]  \, ]S Show:threads=2elapsed=41.048cpu=65.596gc=2.684factor=1.607zXZִF! c]ŗXf1-/6vR[]uX,,mMFa2LU0("jvfVFFD{2'Kq#x7f9^VvluI'yQ/*\6K_QH.-  .HRo7bZO؁ (%?.̯+h$\3EdW6,p<בme-/zZqښjvOH@G `'4)V\?)j=SnoJ<=FStewKQQѬ$ ɵ׵:5h}SS -5 A2%ڶXmgIɋQȗ&  }Ȕ3 { 7z Jy.?0ի K\Ԍ|@bstGI(* Jv %wcoD_P9%U&#{rK+R,BvOocdA&4FFa^<yh}a%uvqb?fռ Ĝj͛qAl/zH#“e+ ;ӱ PmYE[&Fat/P2 v3fgYZ7zXZִF! Q]ŗXiɟޅ*-qbV;}0zjE"\Eu qȯf'A{imI8殛b1%R6cį-C(d\HAYbܱasCHI,Ӱ`&j]~%蕯#K4l0nd!CmN-rf9+ uP9Nn|:+R!;-gYZ7zXZִF! ҋ ]ŗXi%>g`Gp0&b}e?kFܮ:qrGڳ E-^Y$`wPF %l?Der{t9 n g=峋z@CUDGHɨH0nR^ϯXX㪅Gsr(-;!Q8'K5Uŭ)F+C)42bbGjQ԰-WM>^ 4-̓J@yVD ut}s60Ɋ|Nr$@ѻlFR_BrV@ZG:۩ V?F;90ڼ>dջM86e.6fHg*$ 䂵nv.WF DL$dDLEg1I-^;3,&uɡC<7s[2L>DEU [&uC{_%)?)HOt~8=ôiV-`cEE׽Q|-i؝#м Q갪]rq2b( u^PDK ,PW~ѱcYaջLH =uMq2eSݘZb|>מORe•_08 h:,5c#T+ι}\Lg)[b½e@ZxS{EO꿼DhUa,1hj<9L Y4Ռ'N{t.BHc/"@P;6UaDn 0)]A :t\d4EW2T6-ol䕜̿TsϹ |s,k1,Z<<*fA'׽@4(4z~WC,FE{wˬA^`r˵cl:2"š1 o2x5viSΕzxT!a:D--rQv2ȟgk8]^SBD)-/HU,wo(tXssJM|T2?>DF=D0xIr%lՏоHr&&n3izicM5!&HO E_M4dSI9,)RVSJMkJ8rD ^MZ/&mn,V;r4~]Woo%i++I:ퟃK ,͍·E/2RpƁǝ>Ϫvo;?gW%{<c9ZK5X 󶦆uX-A/r?4)?oPDd1˜Z'z bOW߳YF,X2ؤHz2pNxvVſe$ "X#H0i*2ҿ&! C&V ?la Ւrwux󖃜AG>z%Gr6U3Qzy{:Ct7'=TJ&]] CY{Zn&0%r~l:TUƄ;)kmbtm+N s6=j9 ;m)@d~#)bLC`;`2?r0H"Twl+XA `b(l6DtG%E`mX`z "c&k KUP^@2v (.oxtWl:m-Vza=qg4xL(!{令ц/:jًAA6QFw~/_bSٲpJbx.j* 'Ŗ):ԭ M@nTM8uåW NA$ijX%Le" E@fr>*[ ;ɜj&}X4+jnnu3 ^ }pAoc1MgYZ090534b0ea98bd39764e0d19619d94b453173369767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418 4aa777d02a48666be1db0a0252cf123414021bc0 23014aa1d503813d1db19ea1fa75fcecd4aa780f  Show