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 2/ < ]% SDS_Impossibility:threads=4elapsed=35.415cpu=86.472gc=1.124factor=2.447zXZִF! KW]ŗXf[&M %_7ԉ y}ث]HpN][9lt*=*w^芅h,z;[PjKcP~fC~;GV0U n>iẾxߋaTX,+ډ^mj\hzYN8j̅7H4O™c#`$Bllb3&SZ|:\2-}F/i w:ˋ%{[>m1v̺;nl6 , &# Xf; E wMEY ,a皞Y&Z6ܯӌtWAv*g‡Hp?<<3  / SDS_Impossibility  gei%W[/@G,ޭP@Q}Z\S1u+,lmۙ~e  PU^$&ֆ\d L}&"pEC uS+8d+G 2ä|f*\tD[G{-N9~py`6^/e+)HuQAz8 \Ӄ塥 3ѝIчt/ Ʒ'?+[(xR4X*gYZ7zXZִF! YK]ŗXiɟբX LT9W"qP}G Eyٿz6+Ae ޑe*iFQb5#CsgZ}YZ7zXZִF! z]ŗXi%BmJ; ({_NwB=R֤$3n6FS~ HGQHj3s1gq -r4A=T൶6#U[rXT?hpH@»"ҊSy^ x3HVH8˫ ޵dꭞvCYk}QaJ};$~{HΓ\F3ϲ 1CLVbdti&Ʉa*+bG׊&H2"֤&!em~׊+zW_'/S&p|%w'x2E'0) pm2B?Fo ~0AQ>ӯN%+yCvU勨ݴKK%k,d)@{w7iƸygM7v|3q(ItsYW)r-(2|$ -6`jsju g ؛ֶbbqΰ rRi ;5{ -x @!≑/h@l c(wTq}yio>?NV6ElRkFw.(zb {ɾJsqѨ(XruE^$9? FȖSgJJ!,~^ۆs d_@gFB M ԧ.R:DxYfsEp~[S[ز-F5c$k`iڵX 4sF0>2cL9w}H8о)zfrow} Z F-xdk (|n2 e .-- ֬gR2)L*(im 劺+N2af_G?DQUh!yU3*G6V(]b2 qv*2ksJ{Rޘ&WUBHH\IDF}_Elp=U [BTM2OԴ:BZ /f,X{[zuv2:ܨk}uTmos^V|/ RơHAف6 d DceIgFMEh_w Bp0}k|qW˜tc5a9\mkx`h}r:us^3(Lt/0vނwj<%Ac7W O +Dwu(8auzՕ>"˥I7\aj״X Fޣ[g}*@"f%b~Ny͗w:J[Hx:yaќB- ?wy(pW/}VaU"ٳSb;pA3>ɸk͛ xhw%Z)Y,ԒEa)jj5Ђsth"@ajA;mGm;PI /aEdWxY`cJWoj ssXpC 840: EUZhg =zDս;Dܗ+n~U$ &J;4g8{v gĄVo3ݯ%O0ǤXLw.) &_0 8K ,:+G7:Mk~dqqFzx/˄H܃V5MN^-tw,{qh&"r8<F޼]S+i4LJRP>^\VF/\b(_ PDX6uC 2jߘ&C`BZP!s)#濣{97+_vb6[MB*4<v-OueS3-;E&2|ִ3{{~ZȾrwGQOҎȔfڵ<!"|-Jb2^c$,S~j b?\ if߈<[\IU-r{$FT&m8){kUwҏˊٱ9ϕdy.96}ϵ碜lIbNWR $nL1eIt3!3d/~P.^O0i|/.xbm\H?Y!~Ow.8 ؑ(LC!(g|aswXx|}KKrI9x 8S_I6iQx8DheR+՟j#jV6;f `>ϻd12KzEEqdlZ" %"Nج9K=AL[A.{A-^c|&ZA1'u5rfѳ'5:L6 PJwFEmP!$5Ͻ/gYZd8dbb93e034b97657f764181354fee6321c59f6eddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 0cf10e45680ae439599dd1e4a9dcfc11cbb36022 c8b147bc048e879a9e91b707afcf0f8a9db48dfe e27f2271a8c8c707091f71d2a6f88231b52a7ee6 a2bc3ada9f62219f70405e5a4ee6b36df41eb7af