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 \9 <4, ]/ Fishburn_Impossibility:threads=2elapsed=31.794cpu=60.124gc=2.148factor=1.897zXZִF! N]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl(?p?OKbt_ݑa1!7;Tݠk|7F׷SZ^ 7,;w?eUwc Pb;!رEU*yg? !hQ]<)5igJysʨyCrbԂTOXBx hh! /&@uI|y򪇦ј50tygN/Llikm/!kh-Çkك4ϑ9BvlB>hy`r*/)ٍ##+Ekc[k'=f 7h$6Oy{-UUOQ&xLa : UP3L}hof hxT 4/r H[N[ 2Ȫ(NQb cוV[>Bu}V \'is_UO4&7} Eʢᰘo n53顫҄\0ހBAaR&pF唂"/ T īvZr Cc4/10Z)s_{O0f9ЎO6зx)V1hx8բ=[%)\$%̤9vJ6v2aem5hO`MۖIQa8 hx| @,o!Ta=Ru@>`S9NZIᖙ0x-V.a!g=3Ԡ(Inr N+Z$EԘǮέ>BX>՘ Ү…RzGgʁ`!_E7Obs'#x$zڂ>8gYZ7zXZִF! R]ŗXiɟ1˦r!cHkMeBd4eI%Ba+K?̋U{+t@S/ClЅpGw`4/ۡF:2N2^ KNMX=<:v2ɐB% sAŰaz;{3=Ҫ1ny긪{ [p+jWC?N K8yԃk1L(_2QW3BȬY?&[P3If?l\-W)B@E5w8a].uRJc]ei8 l;M(_ ,ј[:&*҃7mT%z"Vd+f_`pM7'nŪQKz,r)OnSZ"uZVu6l,l[0/O|.XҤ10cNT-ek(rުE@dUH~d|Laq|zA;u. Pu{ͼS;picڙ9Ŕ)p|P$yfŶ2CnVGl  h- V z@n-5GiͦȬ´xƻڌ>9WX@&0R