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  c# |$, ]S]KAT_and_DRA:threads=4elapsed=31.121cpu=96.344gc=3.344factor=3.107zXZִF! 86]ŗXf[&' ;/GOg$tt~ng!U!W<v?Rh`BY @ƟfgY bwm{wH %+ ڌ\}3h[]B.YR+.87oN>Xح dMfwHI'/Yk;GVUnG_!趄trOTʆȒ.#+KPsu)#X Ri:s K3FW\AJouNIj>/V-=4YaK܈{ϬNN9GlKs8/ΆH8oIyv6~X(`^*TЕ5eگsq 2En,di!LR- :W~-mK6~i>'tC2X˜͞sgT<<2Һ9 ^pl%GPJD # KAT_and_DRA  êފZk"Ai Ѹ rj0qX^ 6[RMq0, &[`ӕlխ?s\3{IeM(3C}5zY9xK nG>R"%Ã0@mc̩1QfD\ RlfuN&Ԭ#<(d*ޥks'/+d sNu¢ /tiRH2 6hGYG4/U V=qy Ԕ|멀X! P:TM9ws="UG^e 튿^&eȁhXt~4ʆ:9м TiԎƃ6\ Xϫ2_i@[,Q2V$ʿ{U#+&uas84}'f~w"9) &W (6uN\MoW1X|@Est?NZ(I)gn#{TE$NB\6nZ7}Ҁ1wAהq COB.d"0Lo!7.4 K&j*VJfF hW^.WC5cs^bfb5G3,w _4B-@ TzDD`}cVnL76m" TճH&:V9 gC]3%Ɂab @K#DskD@JchouusʚفX!] `&nвs mF]`*velH=[ҙ1SVH~E #D レy8G٠WY^NM˞E9/ٝqaǻot=,G#a - D2v|<`IGlWU 7nv 1K(RKd8a'ZN5FgncF#$v&^p:)JL8`7t(ՏH a& -{c̶ F(ZiD.݊bqhmG#Ӊ3Q>g oi/ĩ<3Z vcx8 IBiWL{cI2;I˖ ƃnET^A_XR*J~nĸ@R"@%]e}5t;Bq8vi:MQMo/GpK9: f<_#NDQ=^kXUqZ`ʟ Lm[tۿ!FLX!T͛#wf~|p23 lNe&A܊NWR-;|+qEa/2л{6d@2)kEVJdNb .7/&*G!NV6 rޫvbYvasu{^}ΥW>%Vs rq'|Jj1aճ ׃6B6$b˵;̷AŶ{Y;Ziz=i#`R(mds`e-_IRzS GxaF=$rBj<:\Y$ٗ=zYv6XA8 41oeSx_:V+i9|>x uyg\q!Jno9&c;Hy~:XQR_$ NޑRT;FnUN.*X@NOO1!0MjZYAR I/;<;L!x,I6ġ~ 1Ru*T& !ӑa¼k>0zLfrf)z'nN5.^+V"DRiN6IJh6A;n_.5nDn3Rע-.ٟ2ٞo$'Gr~wP@-ꖄ#ج^ArU$4I,92;;n)#j\?eNJNvIɣǮ nn3~+ܐQC%REH"8bXnb174yx>I%r_uAUoe1g#駱9 )#8<NJogOI^>9 7aPanܥ '9;cS#諠歷OO מFdX4gF ? Xxm@&k3Z\%!SQ8JhⰐj䨳V `+ȺY~HLxɸ54ݍH%K[Z6\zEcZC2"r.KIyuE~4*l~?9< n>0ֵ̇fR51!\(IlDb`҈+л${FUZ>% Ge$Ww)gJdʓZ~h&ᄓLM=IcgYZcc8d2c4212afb8f67bf64a1ddfd2af564fb91f929cd33e2f2669d2e2ef0833012528b204015b12df e5cff2820287d96832c0244f64103884811e226d 5f4a2d69164630c372a3b2f4b189eac207dc4312 e268a54d98ab76a390e3f79597526f3c60a7d3f164a0a26041e02ce260abc6a6001450534c6d0cb7