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< ]/ Fishburn_Impossibility:threads=4elapsed=18.267cpu=67.172gc=2.432factor=3.687zXZִF! +j]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl{n/ї6(-Zm%hRKCDHAtx)vZmS8kƜ7 WBFzS^(YsY1.X)(C%0eMsEs ;6cS9Q"e%l"k* 5j>fT4j )7 yD:jGƵυ%8u,[̴`ա;rry1'WpaTӱ 9 Fishburn_Impossibility  EJ5}3WX@Si6 Kٗ[pXޫ |Rzhti/ { ?=<uqXu"eo2(DClW.BT^.dI*-/)ڞtzOQwt1cD*1xZiw~$OH0JOL]~o+,IP@>F`KgAEM? l.tֲ<-OIź5bqT ]9o|ULp_ dl]_~#K#@9kN[@2Wt:ꊣ[ڔsTF(H }j~ /L05R\f V<"^gYZ7zXZִF! W]ŗXiɟ1˦r!cHkMeBd4ImAb^6U_Xl8+h!̐PoABYRqō3ڪu7Uqm@sCO}ST }oEcGc֠TX=:Ok懟_wb,6\3kA7 >|&a\ 6E9FK7Ͼw%b}ɪr3y~r0de4D~^4IpAYڍRCV[g|YFtfU=vko N> xxgYZ7zXZִF! x~]ŗXi%L S():\ j?=mm[.I-$?D#r4ɜ\;U..6G.<*ZH WvRSMpXq/4C1h(SI VX-2kɏAkk6vKɪrUPh0ҩʟWtSzIVdž?p@Ŵ} WxіFDZr3NWEILt`^E( EmS'q'UO/.Q%a?4H`Y }C'CRT ]/< 6(ګN#dN_n+^OmU;bd3{U2% AX3nܾXRh t~v7Ua,H~tc~RK=0~>JEI/&^J7ȕnŸwJ7/}m/`K=@Ls׆:qnS~Y8m8EVi0ӷ̏W^{/vƓD",㨴 ksUYQw> E@2&޴MyYH&X<F:Mui/cP xl&߸!uj3v.qCgq~7^`,W[:6^1WA.94:Wic:hH I~h x뢲R{ ~e`cIa!U [ej gE$J&K#Kz#cLZܦf׉ቨ=,p%e ~ L/'%7vD:/* Nyt- :2g:]Le+!jP휑͸VWPxX5- O?'ٽhJ5Ǣz),4/}_:pr>q WS*U8Q!.tT0L~Rn[2t*ë0%|&0Er*Bgc#dt]͟,YɭBP7[dݏW00" AU״EkZ(b6q)j"{g/UJ cl$mfkܩyVu0{:2@F(:SS{^eXXhtv7h9!'*dzy^:;ų !A¶>O`Gٺ_ߏ*BG#=ӎ40@xy;MXq ǺAî2k4B2-z(X*#(X.]GF:Xz]zn䦦x^?9At.JwiKDuU#GFǙ`F,M46$Vd|- ^ 'Jߒfn3Ѡ->P DX>L<=imE w@}^֑f2jݛ5[Bs !e䟮?7NO$-0SWLzɺ@JW܈/3Cf`^\TPs$Wrۅqzf 2TmO4?ToI7J<qN7rcfOX)ӡ2:n;|(scmIRfo5ǣ VбgYZc1c538be6f30b2841731366c858ac1cfc0546d82d3f90704504dab3f9fc94e3d143d1180eb260c4a 05a03eacc3059078cac786ce4b0187a596b54f20