SQLite format 3@ . BBh77otableisabelle_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 ``+ D,< ]/ SenSocialChoice:threads=2elapsed=22.143cpu=37.240gc=0.700factor=1.687zXZִF! *]ŗXf1-/6vR[]]c[QU!nݍc ?ˁqB] 2h5Hh,[v&Wb?Bg49vJ;3w,mf*e ɤ$#`s39I]p@Yl| E(yRr΢tsB)T5Ơj4sPZJ [0ee-g' Rp"Λ1l~u],}5~=Y6&Imm%!j1s׷^kE%N:[w2T: (W2b:;n(W lSiOB WGʈq'AV)ɨ0^;N Lօb8'vO&.䳦]@pZoFVDj KO` E~厼o5c?(mbo'o#[() rVgYZ7zXZִF! ]ŗXiɟV'JGQ=y|ژk uiXDd//͒3 RHEvu3%mP1AZ *Q6+2#Dr?KĤdoWͣ4rŬ"[߉IF{BT_TygYZ7zXZִF! zSU]ŗXi%;c#/rƽc7w.?\dwz9 2D 0@nIsxy%/C\*';1K@\.m }ξ󛿘_Sp{Pկ 2 ۨqVle_u<\ei6 w̄fբwygm`ߒ_7,=пuo-ҾuP G |A4? $`p%B/AZ˿",ؠϳ@ ; AхnsU UNbTtTuzhmv 穁GԛIp|{ӍեK=*cߤsv )(=ޱɷSSZK R&# $Ut ~ۏW8"`IKwiĝ;BTsGb'h?TP3Zb./bt2G ;<(H?|oG Im 5Lm@W-zz6SVhǠ4T"j&Gl?U uWs@0P5BD h)FUj.l3[z?xwtlDGdF}'XX "z@mFI-V7auo:ZħyP<٫.:3\ݜݍLd>pQ7bh=UKU53Qx, (r #ߡ$-bدԒuzH$A?!NUw.B0;r u^ b#09ρ 7ڱgYZ897541f0ac53aac3c10c6c2406563a83d3eb91fd79d8e835726df87c7b301a8f091eddccadfabbca 3a4e921837e7e81c84e3eeedbf2fa8cd3538b9ef + SenSocialChoice