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 b9 ld4 ]S Decreasing-Diagrams-II:threads=2elapsed=21.811cpu=36.752gc=1.288factor=1.697zXZִF! .]ŗXf1-/6vR[U G<%tA)A%rVɘ ,p 2~r,i0g-̗pAFq̌_.B6q_%_j@rgk,cW' VfJGsIjϼ&Օ;: N#bY/LG*fv"6UOK&Y-3e&-k8w&D&*sp#\Q>FQ?yH2*)-?׌'2Ѧ MwV@_%zPR`Gf#H5҅r! ,Q^X9!^j=pxӁn}c`3x$RX.q>\g-@oRXnն2C<8Gt9y?'WWn5;IC>m SKHνt{|;%w`}CVs!(\bӞm217Wi'7<{H/jVJ6V Ekѯ/4 Cobǯ[ 0kpφu1x_̎wFWCYzj@vL !t~ :!oϛPqUvSS2^4Q045 bCbbN"ލ ̮kdw: 1 F :1EYlw5kQڇ;;6ipObZ$0{.p#0zeONWY] IWXP 1&?_orlXaHf( ۥڹ"j? "5zgYZ7zXZִF! k]ŗXiɟ1?ߟt;9HK?.>e7"ڔJbJ~W7V6k6Ԝ".{Zl̗}jLI']Q[FLNvJZblК}힄wm@ȻVӨ4$cmyl^#ØU nA0cN%w%vycY=k]明{$v+'-{mFa .bCt휡tcn1~N:wgm /Q:40-B@ fzՒG 6b8Uf2L*5vͧO/WZͲ`z{wuL\e n5嫐hN]l,|8 gZ}p V~5!!Y↣7 aeu9zܝg?q|spF$q`W'6^84Jr8V% ٲ_; e/^澃a.E 96gP?!,*v\1ܩFlW9Sށ*bg>_K_W}k~멣: r t06 ^X0t֠їŁIgIHMh X"w⢣`tBkސ]!+%ڰV96[+]M/͸_H%w'Cv3 8bOPzRυ\!FXw EylIe42@f Uy14YȺۿ#47neAV>W6mꦤ+ϋ[A#ݲic p:-9vlʉ=jx`\s[89 G$>To嘒l腋ׅ%d{tgy'XAo8h)Nۗ%-Րx#76mVXLΧK#W/(Tl.;XƬ #Hps:,*"&OS^Z*7+~,3Xl餄eƅ }wd`F0XkcNCO|S?M=cg*WJ?VH}{[3"K~xJBǩSL._ljKkaoE$q E3XfO'YE>aP0Ї'1l%^f[%11ϖ`AM@&6f<.v 'ˆm/%:s+Qkk"$éP)X Y6UD$(C =m]4T=F㾱"g!`0+$}tW!Kv45=H-{5aڔ)S$l#Y%fТa:`۩s*r xWd:dc{ ǎ}jK UhRı&I6n`ϝshn5tNE r4j3ჵ FgYZd74646a08cd430f6bbcc38322033d91772e207b3767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418 4aa777d02a48666be1db0a0252cf123414021bc0 561b40f223d76ce5a7bf612957b3c87e22e720b9 9 Decreasing-Diagrams-II