SQLite format 3@ .  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 &9 t ]S Decreasing-Diagrams-II:threads=4elapsed=13.866cpu=51.192gc=1.292factor=3.697zXZִF! ]ŗXf[&=.c7턞JPiƍ,r%FE<#MΙC79[֫(@T  K$. tCc?bfBMZg̙/! QYf!ͳ`oJ&6sϲiȴ:y c'q'*[&a˹P;Fy36O_ܮU{K_-NbT{:7M.+F)+{272;,&w]h$9`YM*gnݺAeV~u*>^}d?#0̓"=ܚdp-f_5HϚ$l;EnCSI~q$p31b`~i;ď8Ea m5-~(ّ#ݤ{y,ع Udic?v:x5qN?Sݒ2,=j -QJ`BPEXqp @_]D\K]ha: υ=M8ɽVRj$d,΢rQ XW3>KMn׋hK_{B8 t1q8m4έP<5E%- WƵ!FK9z jwqq2d@ܣ`! R:VZr lϖ!HF$.MscH&?\=[?a*æInw(%Ǐ .P c7d4,>XiAQSi9+1},HUp=rkX4hG<>|oz7t/p<]:Ok8{JhN3/BTu6 !2=w5|fZݮ^Rq-^P%n]&Dt9Ts~|־>7%?PgYZ7zXZִF! ~]ŗXiɟ㶵fL4i=J|92ms;ә_t6T/ob E𒜞\ TJ+'+bW (bQV'KQo B,)tn|#*sHi [fVh|/=c497ʫ ӕ{-o.w<|B6!?c;U:UsP<0/¥ *֎c|S]S )o Ж>5m|^p‘{VaL;Nx<SOd'hj uXձ?dwl-K6s܉än*{r1U? d bܦO](FP_(@2oL މpgYZ7zXZִF! b]ŗXi%B 1|*&6>~z v9? k`N6c٨$ Plh7 KhI#3ŋ$] F[Մf}Q~:O8zw|WNTeG<ʹF"Bh{ʶ0?[Vid סV]!N4`hU/Ld4k,./P.-sgdkXvyq,l}'HwZCk@АbqKN/@N) k]U7]f\Nx$ĕOgb(04UqҦhP5M19UY@,(ըPPq[72EgxvX'pque_E?w]LLDвDpK)ʩƕ-S~bSSAe_O|=0NRU pdPU,hX8p/ʔv DIX{ byw&cM8%.UóUlܡjn._0YXdzh*l~'Iy/n}lcϑ==?v>j{oHֻDʙɥ0MHgAf0JSȆZK'IkWz^@4d鄎KivCg76o b אRH"6.TZu_X=8i2E ٤Kfo| _%AY/@-^jDֻ$KamLL 4EEv1%ܳ' *F$IVתwkpU)oz[E*h6B^ʆ-Km&}WL-}7&QN^CnOR+|-FM_Ch;}:0Y$4Ma`LG3mڈE+ͣ$-*S\Ϗ^ #N v裰 \-I&hQ70k7Pc@a=&eSJ3-}{f`X,6F)ǂopg`w*"_MC\ms҄}_ KUy?K DSȒ 0m}ʬФ:"iQT兣r$1^T~TB byg'^N iG05>X^!|e0$Dnx|]㏨}9#MXI+,?0qNHܗ#G /)D4~jL9tV3XvPěIb#N7g3Йd÷*ⅿ֛c|hF8gSx;pl8co6l4QlRݦy[@Rk@Cancy *^W@vm$\ud$