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 gg-tTL ]% AutoFocus-Stream:threads=4elapsed=50.663cpu=140.528gc=2.392factor=2.777zXZִF! Y5]ŗXf[&,X՘$i4XϤʌIe*t& ֊jzSPhoB;S`giRaeޑ2-2^sLGGL=)z YGK9|@.ZkVF𴞹yn< nNJ况lez5S!3 m"Rnż6]W@;1 inH渫ܲ]Xg8 0&{KpX OԤpvK4䤏D8y1 I@mw$!b2#;UI* $cJvq|B;P~IMqUxh-)P4q,E*i@7su+EۚHУ-An."i74"$Rҁ R `'TD{Yb~qǫ?nQTM 4}8XF^]k+|jsHeN2^rIz:r# yz骃xG<"ۢzE%~L^(dj`_VηؗXXr҄vuaFs\>@_Xb ssDӰ4k T.o"ٞn@R80"@7 ,G||3(ɎzLNMR |xM"_C㛬oU7.$SM&C$7iG6 MLwHAw6̇[<=]LENrdqNc&C}i?5f{@z6BhlшcRlqͫobCH70wtҿ+U<⑍aWz#x: %;ژ@5D@Բ<fTޓUFƍ',{߾#>wTd6/QG+b}d{HŗaI!,t|;#&͡| >Ww駼f {,EqDL%#Q9uEKrT*=<tתξ}|BVъTyc1X{XoZl{NCAXMTVڿk.4`Uw,fo>y!Ψ.mp- :i62ܗ  L!P(k&0>߸X  MIvyTn\ kqgYZ7zXZִF! ]ŗXiɟ*#$iXWRyZF֛Nx>|=V}Q6 rwJqJ|GFzxcj=ƶ$8eXL ^XYL V ! 5;PS5 )b鑜U$Wgg]l{%]uBdMWYY{kP:*yq%w`gu"?M0<*ꃾQ.ͯ6 llJo9OsPRn0]3?mD>f^*PxĪo~U1g:M* >N!CXvsLVH4WȈwr"(,W x˲b - AutoFocus-Stream  J=*IΏ&#Ke(uF9˶eA&h7#.'%yή`+ծɯUVt.̇7 f&Wgq1ѫebLKU?3A$;idTM?Djq8mkCPeN__`;ޠtJZæ/p4m!|dXksgq#d4'cYD37z]RrDuk 5rū\ڪ* >zpk}-[bNat,CD:Q۞L4ϟ,1sB[{6YVPRҫꞂ0qs`lT-RԤ5E0ab>9ٯCW2h,лLk Pˠ]$YiG.\[5^3| c~X-TġMlK$ISe5T̆1phݻx֮=ş*697١8N&V\y?<D=16!!f|cړ7pXzכ!)'mza=4\)f$bys)@'5Ts|=W؆x'aY@#u7kU13CχH2ʭ'NC%"E%i/끌zx 疡vțzt6hk{I&^xz^aBsG.BO 0uk2 /弿5dJBюG{BY།.#q#/ ]/⏏EV "ACQH'a}+ģ(U Lc[S!_=NL=ay"5}3Yj"τV iJ+Vؖ.ڢT"g;e%^KmجPE EęnDEP`Ai"DN-Oro[_0KF640X-ǽ}Pz_m02JD1q1~r ]6jؚdLA 9Y[K?+7cDd_폨h+;*DI~Zn~c&FXTNϕ/1#CMmUI{ f.#܁ƴ'qq`ϯ#9-1 2f oۃ1.@g"j ~~Ƕ>G%}Ռg6K^*n lQd|.͐o4.lHl$Zր].6K'Gis ]7hh]`՛*ɤR!>t)uw[~7hbA+bo0r>+g&*Yפv_cN館ssxSCէ؆Z8yC-8ibg^=~E/̼Q} :oC^P0!Ys~ݘQLdfcx|γ'2+ۓp֮ a6?6m^"mizYe&|7)Gm<;DB=;_x%9 Kv$:cn~'`i?sH1lR#2*NMQ1/z4Uߪۘ b{g "nc&/bû~Mn gİ/:>eQ<丨=D.ުPdHpỴPx*iWur~4% :!nཤ6{\@)p)DTea@_Y|d񁪞qp1S(__^Rk=[%S7[R 8^t$kJwt*[:V77Зs"}:^N?ZܔS*n#Zb-bK ŝ^/71 $Qx.W1 Z|@*YpZ[WoU2H1[eJĮNpb޼Q(QZL{R'`=t9C13?-Q(O z@8S[b 6,܁Yؗq`^**嶨kc-~Z>@njv *oI!]~W