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 ,,D ]/ Fishburn_Impossibility:threads=2elapsed=32.035cpu=59.676gc=2.548factor=1.867zXZִF! !]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jnSlzt3{K`qۤ+3KaĎԠko`[7Sx)ɜV_D 4vYCvv \5OD).bǵ,mji!ƍ縋ѨdW }̀#k]*'A1(+GH-)lP\gp36YV}- >ugɱYuB~Z:3K;_>eo4㰞䝯[JzU,ul +#Y``Zіb8;ӛGHLUb gI ZڮsjЮ^י ; Kr(ov38Epaփ,[@9QxN{nk+ϦhT}A.R=Ȝӝ5l0/FkH-6XC2.gYZ7zXZִF! O]ŗXiɟ1˦r!cHkMeBd4Dmg[ƜZ޴JXZ}ڑ{4_n}f.]l‡uThDlciXg-}8;04lf%h'RK_gdm'DF>M]Cs#P:L{ft 3wmUc >Vʘ J1ے_ŋsd@.hZR£M<ٴ~7'0O3:_FC  [}=}lx-@iw VӚыi]$oP [gYZ7zXZִF! ]ŗXi%>g臭dyx'RשZ/XQX&yWeiкW̳: O=WY?@  /b/Jn"-ЦE=Tn'4.[I>Qt]Q,%6"H爱*=#gzvRW`:ueeJ=j Oi#3T3Ԧ qfCq Ю&AɁ^POlL3OpE/*f?Vu _kwFJCɱV!㔎i>NNS8|7yÛuCc0nL u/@`O~E&]TpËW?+E’d "t8Jv#7_0 AjnE!TЂ5_x$