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  <$\ ] Separata:threads=2elapsed=14.381cpu=27.236gc=0.608factor=1.897zXZִF! Y]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^`ީB ñapGQC-c`WUOG4[[wc~M 54)HU87?`UqKPƈ`\1UB sҟm/zÝp^Z"RrW-%ə"|wfmuP8[g){x*Չ 4 e7r0JwL[SpZN\60Z@񅦥EэC$p''Ah*F ؼ8Gu9YKgW7Pr U'Yj]' Dw؂!l1[>?Ll%$;Eb])F+gYZ7zXZִF! 5]ŗXiɟ1J2oeTʹ̰Ko;r򗽘DEԙ@#0_i$D\Y=ql4aH QAonv\5k@ַOٚw;h&LFt+|[ZygYZ7zXZִF! V']ŗXi%>gcUsC KKh)G>E/N[{* Xg#4\w1*]wj a5]hle"-{~CK]ZW[jHU_Wl`ᯩ ]5=ana6ζF&{FU#:bgv( 'UyAƩ>+E9^ W/k~ <`wzH[¯ƖS gn&RFFs>x*2OHt#eR܄ݱl%Bz:*(:ҏ}k^W/*?NIޭ Bt_w^`@4o 4#= Pz h(a> AU lA?ͷogkL.!:̖֌V)Tw.ڍl_mi'nS I3r%e{ xLL/ۯ!9d);#Պ#sڈd܊PrR=Ib.si!}h6ԉ>-RQ-tzh>(_zgF!JF^@|?dx< fMg*)kV)'l<^7QOt!vp5HTp0ݡ8+7o0:L2E3nSe*5Z06DfC޶F\?f$+C/ɫʷ֋9mYAS )V n527<&ϕ$m+t;dzb_2_]ӛ*뼹| F662O@f,o!چ/1$K Hf ^MӠiȦTTxЏc)5Z]Mۥ!t[{'v g"7}T}nq9ű\7 M羷&:ASbMyA&=*c߷$Q"RT{ >vu|Gexa;f9$q  J~ƝÿL@Vz 7\IP(*MٗK٫(&h'Ua e]GlEjUi.f}ڎ Mrjmt#"HaGQڟ4-C} a9gYZbd4045b25e5f09672a227c8e8f497b9943697f4ea70f3b1dab78f27422c2c199c67ce3165c51f78c b7ea345064e6ade7544c71fbd991740359381db8 12bd5101ca4134610fd46efb8adc7e49567300ff   Separata