SQLite format 3@ .0:  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 cC \d< ]S Neumann_Morgenstern_Utility:threads=4elapsed=11.012cpu=37.676gc=0.900factor=3.427zXZִF! x]ŗXf[&y #G5P P䇡Ij6rg EizQ>h5^`y g)JjQ] +g=f4 6fx9GP ]XhS* L ~™uvfcA;c0= _X[]Ъ-ĊֻH]qTU2{h G+_e촱6[i` N8%=נ:d{}Ȳda)'"> k1鋅>Ԅsp[a\V>_#Ӝ,N8L9\|{W ćbo16Ǘ娙k`vlwX/(]IQI"`)6$>^[Hv qOh=ٓ:jc>xyY?E&t ̡,y31g>Î?IˡCgҏU(lzl*&)fQ 0d3AܽL4Ln&efS"bH5Y!A_!AސxfpBpY4nYgYZ7zXZִF! ]ŗXiɟ饜يmTnGY&luSGX Dcm̯ܼ'VXQY8Z8ŏR[]I[:Y |䋜IGK;6yA[oKy0]Q6uz'kZI}. ß'_xn*ƾ>(N ڹy>1b}0ƸS*]ydJ.^ME ]7 /BرgYZ7zXZִF! VmV]ŗXi%Ge'K5~]*f[,K1a|)'0*cJX#x ,I{pb5! ];$$Ͳ{6\+A(qJ⾃㌂~d%f%{ծZ0ø3$Z RNRUN(%2*B}HC x # qԾ9JK.3eR%/;8|ުIyg#hB{\"Z : Т_,˃Tp9c;4ɣ4@boRo:>:FI\)0(ߡǎ`1/ ?qAErg*uA_꣌~ӞIuG:^Mf8jߵu2Y~ (aZ_hH-TNpڂꨲo6oXKsmCuS:94kQ\̶v%vh`b/36eW a]PNQm͎ NL_~j}X <3<'(pA x N|WʜQs{ռ?skʿ7l26:8Q}$ݤ `Nk@w7ʱ8PT ee4(bFf6ArcW{Ϻ"3<:">aI2O*A7P?ZGkk1BwinS jXMp*g죪,OorX† cO6<֘ص1o )gF7N69Wir ! 2oYpc:]3QX=ʒ X(uwCMnj|Ѿ~4H;`^R7Z&*M}V[29FQkSQ eA(vuUf0xW* 2QĘQRoju^usqk)l*ӡD`QVT DFSY/v`v|Ц"UPZiC,o6g.k}s~bم\`AxQ6sLvXCKQp$ʶ\Rݨ%,EnY]=5tqv:!Nw!z{|]j4~rcx-T8n,_Jz|lZ"3ı_CrDy E$sKaW[vDID,Hx+Ëv+ћrY~&P|S^V/X8~=td%8=:+⒰MZO'RgE:J" aOz[iK], aŞՎY96;"3 ;Bsq/+7(-Ĩ "&gYZ57ca18633b815fc739eafdefb82f311a4f1d48501795f3a7abed9fc1d9546e3552e224994a90ba84 ec123dce693829f016aa17c5552e2b7e72eead89 7b2e61ff0c86e069f55e46d35334d76ef1e809ac f1810695f558cb51134bf4d86a21357b397120ce C Neumann_Morgenstern_Utility