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 qq 9 t`;Gؽ8nt*q* .#lw gh,jndr2vl後(%g ^8{CNFKkpQ{p66iƼ۞BSrK0&MH}=gEe `XH%%ڴKBw5{Dݺ~_8TKwuYn~p*ڥ棘zpN`6M ^T'v>(S$I`J6|:xzrd?"TkM}u`T0ԼZ n>lapfqEՇ5]l8~M+I h{SYʛA: i>l!9R||g֌XY|!9RZw%,ZbI,đc O ; ^fE8R9Z2,ʯc}OPiztZ lL|Q X=’>ƯIm˵EpCDrZCq kxfs[O'jjZ 9Bdɀ&~eմ@ nM3^GE{j8^@h ܔ/ipִUV1A! %Lo8C :xjoYh"WT?ֿ|rDC^YLbLUf*Q?Ne nSAjnS` 5BC/`d|nkOKkOTf]8Ekd+!v5sDuFm6͈&ۼsh ~RZԻOݟ[0ٗv)'(6kӐ5Qɗ~ˏ3y`&kJq< gزi%}wN+N4ʒ?>c[:y-ww P |gYZ7zXZִF! V]ŗXiɟ1˦r!cHkMeBd4bfS %mX.=|W{O8Ц41)EO ?NlҾqbw78_)VnW]cR[;L-L):ZYc 뉇x' x@bĊ(J"[aluRg00Gewm76s3^2[X2ty,fׁXzer6;S\]K>e:?cߗvOҵN$h+蓶ؿD&ΣAf8UZͻE`ߊ.F(6H監'uƙ$gYZ7zXZִF! s]ŗXi%GV#?K-c!QDI( ]onӇDhOxSp/zEgiC ubS"0K\[1՗67ĉP}|0+m lR#1A3bTO[y]Srp(\C )6R楣5U OLMs:Gij 8O Y{$QbȖ&(p܅{ )%LUYz,p7/}&L+my|M R0:ڕle*=+ bGm&;?AўeKWqjnM5KU;PQmMĂxȰ1Vq2긭Zk2];yQ >KUL,0` CMIh %Lޯ3b,ܞ[sҔ:O\c0am"<1NF}bguD[VlrR.dI?? Yg6nvY;[.(@dƝ:ߛbwrX~@%^U>LO`!̠'y?95A9{jj?YZV%GkFbdT$ݷѥYRC_H?e0wBwJ aGVa0NY 8'fK Z@R))_*zg{eP.|~>L@DXv ,]R{?]}͌@CDUi g]F,@mŚ̤f 젭BMa i&z0ې2rluRDz46MaJq`KuW/©=K-AW|`*b+uz-5ɻRӈlgڹ h | *}-⥄ {YZ`b~uM@7mѳ jQPll=qDN.><~wԅSh~`*܏ll_?b~$> vTmgYZ1dcdc87be6d0cedbef78357876ccec3b0a246dc44b4d09c9c1841a4f01c8958af89ec039a11204c4 f852689b23f90c1209b23c794bf5ab75a3b8eaf2 9 Fishburn_Impossibility