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 ii7 Dt ] First_Welfare_Theorem:threads=2elapsed=11.661cpu=21.888gc=0.712factor=1.887zXZִF! ]ŗXf1-/6vRZZQx= TbptqbfU]3_\j)@:8$)y,h:2{آ7,1 fz5A\k6( UlX*q`2pX,Кn蝕`"'Ґ?g${UlVgq901*7UnυKa. jZz HJl8V v.yW4Mɏ9].lS7p-^}Hq\KuP6?TG/v &u! jx՘-PRy@5a 5O{\_)"b!FQEJx>] \o,m8ih(Tu0Z$K;G> .f)_ EeS #b_L$9UF#UaN ܘ-ΊIhɲ3ݑVҿhZ%lLi`sʗWJ*jVqMX*ڜ {/3(f%gYZ7zXZִF! ]ŗXiɟ饜يmTnGY&luS_9 m>$/ E~OhU"\o)\_Uf܌ %@@Zbr6Ʃ}!f'|BPy0b n6V3 +t[ (Xl"ުzȒx L Vq4 )`|qO.J4 ^oKjiq#2 5)~ƱgYZ7zXZִF! J]ŗXi%;3;h[\*M2*&n&T'5R9ke`[V72OT"(5+]H%x&TzS29 Zۻ?e{0,$1L6c "Qȼ雒^7EҞi^Fɳ[BNA0G*X`<;t$Qױqr>S'߻婜!RK[v;̢Hq &Kډ"^ t5Aք7݋Rz2*U:{j VpHVra+ Nc}."zL0 ޹.X}qEoTW&NENeOS!7CUoa͗e A]eC9U xͿTQ m+0DԤnWǞ\*'ňTXܣRWYV!ʥ_C8)J2foEM|rja48™uILI謯dȺ81c>*Q3;]ʺ1Y'%'}iz SiKSMjدBa?Y}xΥt0P⣞g<,Ty7z9YpEXP=ݘu1\-MfRHr3 TiWX ay TC4CBLwܨRQF+J)4M2 `Ew4D޲7=}(N:|]N߯} 1Fo:4*{ȱtt}M;P\Mcb~W{-Bn]*bZyPhک)T>cؔgc3C(3$JӊH_H#3T@]ʪ-C`9b=cv7iJXIbjp&`/+DdixjCX&t\G#q=M A4n}DeAeFmq[>Cflk"C_lSt -a[g%ObЅؘjh7Ckg&;./4PWh>NEA_\:i{ʃ$VSwLqDn[~ k>WBe.J}nYݲRI gYZ026040b73c51a95a66b64490ccb0bbbb57578d11665af98eb5b604629a3a80f1bd6c88145ac43a21 5144ebd7f8a7159ba53f7601bdcfe133b83a40ee 84e9ff1afaa7247afbeef9eb4b335fea17548a6c 7 First_Welfare_Theorem