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 4dd ]S Neumann_Morgenstern_Utility:threads=4elapsed=11.331cpu=38.984gc=0.976factor=3.447zXZִF! r]ŗXf[&y #G5P:# }u"g},P~ >D\o8xZ 83Du4)˦c&jQZ0N jL ?n7uQae&ς&^kB4_7/dG*PkG]yim"meϧ6a#ۮ3r_}Ab8SX45=SB t<9EAE\nL!" (J7[&`Šy!mU8Xs>SrJ[Mh^չ5?DtwGLw}/Sv=j8Z{'bn C<LgYZ7zXZִF! ]ŗXiɟ饜يmTnGY&luST8ѪR@g@xnEn3 Utv쨮OGA2!`a(F}PpX~\DR5_.SR6@eP xC=΅/{&Y]9 ьdӳ؋|V Sp.|T.fhL8 >{ljB:tBرgYZ7zXZִF! S+]ŗXi%GV>H޺1n\}Bnu7^STfEh3ovaOqF17V?ŜuBUb( "Cvy"G8|bbDkƿYd/{5rE+77fL~ XA{zrP I0QVJ2Q"dgNp@fMeC*'|m"cKȦutS|kέo^;V驿 JFՠAX{9*c-`{g0)pYT,kT[z$ 8Hz)2"Vԙ5e%MX}lWR%3<ЧAlzTѐ=Rb'`Zkݞr@!Cx,jB/Vx FcސFd}Tg/Mk\O/pZOWіl|Â{ cRAv*ѷ(L{ >b? Y.+%d5m@)m  H8¿-}6/~*2__y RDŽOP+4VA >57Iqܫ* zg =gbbO6+4QjxUY  ܬ.L?l'TD- =o4%E| ~P"7Q(h1c~YLR?I.k&x[,H5tq8!*O|$M r$q <(ͯ08~_د&3*G[jDlJ{7T[z/~`7&E='ܪEI6#_X7?NW" Q\mVw^" x:f0[STǍVt8y1)Whq#"p*(  uT9'_xL׽_j1n3)"w7 tң/d<דF YnsEXHNSmD,)'ϬuBK ~MڞoijL#BgDxtph͈.U*#$ Jq,'NNN~(8,y}4s:I5-3v;N\G_,ܵ!vmpAZLЅ@WۘUX.ܰ%IkveJz=beo~|MfMd$nz~6ok`?c'$e'SK DAl$pTi'",^$ZAlT2t_6QXI-X܄aKYY65-CSt%9B֥UnA. +m8p/jbǷ}[LfGPS]itZ{>m˺6ߪjtJb4[IFS߀ȁԠ3W )D1|Fcns>/ 9_( vH gYZ20f588d78cb7201ffcbb6a5f8c2ecf543a2bfb2e4b4d09c9c1841a4f01c8958af89ec039a11204c4 f852689b23f90c1209b23c794bf5ab75a3b8eaf2 87c046ae46345ec50ded6c0dfb6f720da4345c11 9aaa5364584c598f0881021e63aadcdf0075033f C Neumann_Morgenstern_Utility