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 ii9 lD\ ]/ Fishburn_Impossibility:threads=4elapsed=17.541cpu=65.100gc=2.092factor=3.717zXZִF! "]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jnthJg9L{"!TGf˯D q4KC THX־Rf;ϙY yƽ ͦlU uBP@8bxi%5@#Gx0{+[P+VpAx]qZQzL9 `܋$[G6\QCk\>U StrG rygJA,hym[[@µ,y4)o bՒIN{L܉x)c$Y]f^Ds  ֏l<Vh؅b(ܾp^_qާ^{VRVLXaq| {#fBQ}#NSUMmR.:K+h/ȋp@MAZݚά龪ee5yNUڼ )1H>6Oa7E;I޼wrfZNi܇bϥT2Uץ7fz_]`OA%T%wror)[燒?׻^ r1i?ǦQ1fAcHr|fٌJԋz+ʕ=7<pqsb>#k]]WS U6t}(F01`J2rH*]5s8cH{˺!ůǀ* P4ʹ6,paCѵO+T$K-{߿CZ@ o ˚PD4r` ׳BR}Z_VJG!KiXyn\}a%G,EeegYZ7zXZִF! []ŗXiɟ1˦r!cHkMeBd4Շ+ػiQF 6[I۸7<:$R煮e4<*ޯe&j#A_1xd&OOLj4dtIF XԩEJ8S!EA #{j>X~ZtuWvmAJqymbceT(aQ߀~b k$z TDB,_VsDΗDX1^%0@WĂ@!sC3c]m^U8"8H5hq %hfZM\5Xfs$7IgYZ7zXZִF! e]ŗXi%B4/!=<|*NF4D!Bv_o(rWc8^?*=VjBjR5ZwXPY?G PYtvpH m&z- DbelU] zJ²P/褁TU A#cr69r@~dr)Dd]*vA1)jea@ő8Y"j0s0icK9ҁpUe&vO.n&!If+Ņ:f1?49>TaSZUWԘ nk~ݤPPJPi/{=Ŋ䮼|hJ^#C's ~`1En!54սˑFcv6`ҸRЩƘKQʩ>HB" 3cL?EIEUQ~c.3fGƁBγ6˧ѮΙ$bW8>@P5]as>Hi|'uB^yF)=x] GvQfLAsTEd:~%tGJ\;RC$edd4يjJ]Č[M?50n32ٷ.Y0p[+ٴ޽Ao\m_?59=:H ,w F}ݺjmc9< EG*D#:OxWet;7uw=AܪLڣ(БeH?= mc,ד|t+Somt٩)xoV^f!_$Tayg2Vƒ:q^/ZA GTWD7td>P|xwк1q3N ռ?Qۯ v"5O,Rү˯S4up#xBU$@Vayf3Je)S2 SPIiGx3دt*Cj؉0p.>5#űW4n"/=D.fZ+Iiz4l[H8cv YhE ܇k_l$Һ7m5o7 Jhټ# \wM&d顳h Hw/Ȑ6؉1?$)X2D{sLs P|8UiFmɚNZ1YaACd9Vz |/9%Y撶{59qV˦z3 ^J1rx޻L.mGU\7 GߎcF L$xacrٝʼn7/ZuHaG޷b„ fVi<||`):ZJ)jR`.ɏ qN8 ` gYZc0e3e5ef720c26cfa98bd101fba9fc5226d3840e9cd33e2f2669d2e2ef0833012528b204015b12df e5cff2820287d96832c0244f64103884811e226d 9 Fishburn_Impossibility